- Propositional logic
- Predicate logic
- Sets, relations and functions
- Simple functional programming
- Elementary program verification
- State and operation specification in Z
This is the Moodle site for the module CE304 offered in the academic year 2013-4
CF962-7-AU Quantitative Methods in Finance and Trading.
CF965-7-AU High Frequency Finance and Empirical Market Micro-Structure.
This Moodle site is used for sharing information about possible funding opportunities in the School of Computer Science and Electronic Engineering.