Foundations of Computer Science
 
 
Principal lecturer: Dr Larry Paulson (lcp@cl.cam.ac.uk)
Taken by: Part IA (50% option), Part IA (25% option and Maths with CS)
Number of lectures: 15
Lecture location: Cockcroft Lecture Theatre
Lecture times: 12:00 on TTS
 starting 9-Oct-99
Course notes in
     (620KB)
(620KB)
Exercises for practical questions in
     (1KB) and
 
(1KB) and
     (96KB)
(96KB)
Sample ML programs
IA(50) | IA(25 & M+CS)