Course material 2010–11
Foundations of Computer Science
Principal lecturer: Dr Magnus Myreen
Taken by: Part IA CST, Part IA NST, Part I PPS
Syllabus
Past exam questions
Information for supervisors (contact lecturer for access permission)
Some of the sketches I draw during the lectures can be found here.
Exercises for practical questions 1–5 (PDF) and 6 (PDF)
Sample ML programs
- introductory examples
- list examples
- sorting
- examples of datatypes
- dictionaries
- queues and search strategies
- functions as values
- polynomials
- lazy lists
- procedural programming
Useful reference material
- Obtaining and using ML on your own computer
- Full syntax of Standard ML
- predefined identifiers: the most important built-in types, functions, exceptions, etc.