Search

14 Nov 2011: Course pages 2011–12. Semantics of Programming Languages. Principal lecturer: Dr Sam Staton. Taken by:contact lecturer for access permission). No. of lectures: 12. This course is a prerequisite for the Part II courses Topics in Concurrency, and

9 Nov 2011: Course pages 2011–12. Prolog. Principal lecturer: Dr David Evans. Taken by:There is now secret stuff here! Send me email if you think you should be able to get at it.). No. of lectures: 6. Prerequisite courses: Foundations of Computer Science,

17 Nov 2011: Course pages 2011–12. Unix Tools. Principal lecturer: Dr Markus Kuhn. No. of lectures: 10. Operating Systems provides a useful foundation for this course. This non-examinable course provides students with basic Unix/Linux experience some important

17 Nov 2011: Course pages 2011–12. Artificial Intelligence I. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). No. of lectures: 12. Prerequisite courses: Algorithms I. In addition the course requires some mathematics, in

17 Nov 2011: Course pages 2011–12. Complexity Theory. Principal lecturer: Prof Anuj Dawar. Taken by:contact lecturer for access permission). No. of lectures: 12. Prerequisite courses: Algorithms, Computation Theory. The aim of the course is to introduce the

17 Nov 2011: Course pages 2011–12. Logic and Proof. Principal lecturer: Prof Larry Paulson. Taken by:contact lecturer for access permission). No. of lectures: 12. This course is a prerequisite for the Part II courses Artificial Intelligence II, Hoare Logic,

17 Nov 2011: Course pages 2011–12. Computation Theory. Principal lecturer: Prof Andrew Pitts. Taken by:contact lecturer for access permission). No. of lectures: 12. Prerequisite course: Discrete Mathematics. This course is a prerequisite for Complexity Theory

26 Oct 2011: Course pages 2011–12. Mathematical Methods for Computer Science. Principal lecturers:Taken by: Part IB. Past exam questions:contact lecturer for access permission). No. of lectures: 12. Prerequisite course: Probability. This course is a

14 Nov 2011: Course pages 2011–12. Computer Graphics and Image Processing. Principal lecturer: Prof Peter Robinson. Taken by:contact lecturer for access permission). No. of lectures: 16. Prerequisite courses: Algorithms, Mathematical Methods for Computer

17 Nov 2011: Course pages 2011–12. Compiler Construction. Principal lecturer: Dr David Greaves. Taken by:contact lecturer for access permission). No. of lectures: 16. Prerequisite: (the last lecture of) Regular Languages and Finite Automata (Part IA). This