Search

15 Jan 2015: Course pages 2014–15. Complexity Theory. Principal lecturer: Prof Anuj Dawar. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite courses: Algorithms, Computation Theory. Aims.

22 Apr 2015: Course pages 2014–15. Concepts in Programming Languages. Principal lecturer: Prof Alan Mycroft. Taken by:contact lecturer for access permission). No. of lectures: 8. Suggested hours of supervisions: 2. Prerequisite courses: None. Aims. The general

15 Jan 2015: Course pages 2014–15. Compiler Construction. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). No. of lectures: 16. Suggested hours of supervisions: 4. Prerequisite: Discrete Mathematics (Part IA). This

15 Jan 2015: Course pages 2014–15. Computation Theory. Principal lecturer: Prof Andrew Pitts. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite course: Discrete Mathematics. This course is a

15 Jan 2015: Course pages 2014–15. Logic and Proof. Principal lecturer: Prof Larry Paulson. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. This course is a prerequisite for the Part II courses

10 Apr 2015: Aims and Objectives. Aims: introduce you to some basic concepts in economics and law. ... Many topics of interest to computer scientists & engineers include game theory, the economics of information, the economics of dependability, and behavioural

15 Jan 2015: Course pages 2014–15. Mathematical Methods for Computer Science. Principal lecturers:Taken by:contact lecturer for access permission). No. of lectures: 16. Suggested hours of supervisions: 4. This course is a prerequisite for Computer Graphics and

11 Feb 2015: Course pages 2014–15. Contents. Index of courses by lecturer. Please check the official timetables for timetable details. Easter,Michaelmas,Michaelmas,Lent,Easter,Michaelmas, Lent,Lent,Lent,Michaelmas,Michaelmas, Lent,Michaelmas,

5 Mar 2015: Building on the lessons from multilevel secure systems and security protocols discussed in the first course, we will explore infrastructure versus applications; services versus clients; the use of smartcards and other

3 Jul 2015: While some staff reported evidence of positive change to practice following inquests, some staff, particularly managers, expressed frustration that some ‘pretty straightforward lessons’ were not learned by all staff from inquests. ... the importance