Computer Laboratory
Foundations of Computer Science
Computer Laboratory
>
Course material 2006-07
>
Foundations of Computer Science
Foundations of Computer Science
2006-07
Principal lecturer:
Prof Larry Paulson
Taken by:
Part IA (50% option)
,
Part IA (25% option)
,
Part IA (Maths with Computer Science)
Syllabus
Past exam questions
Course notes
Exercises for practical questions
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
Full syntax
of Standard ML
predefined identifiers
: the most important built-in types, functions, exceptions, etc.