Search

20 Sep 1999: Next: Programming in Java Up: Lent Term 2000: Part Previous: Discrete Mathematics. Probability (50% option only). Lecturer: Dr F.H. King (. fhk1@cl.cam.ac.uk. ). No. of lectures: 12. This course is a prerequisite for Introduction to Security

20 Sep 1999: Next: Structured Hardware Design (50% Up: Easter Term 2000: Part Previous: Operating Systems. Regular Languages and Finite Automata (50% option only). Lecturer: Dr A.M. Pitts (. ap@cl.cam.ac.uk. ). No. of lectures: 6. This course is useful for

20 Sep 1999: Next: Concurrent Systems Up: Michaelmas Term 1999: Part Previous: ECAD. Semantics of Programming Languages. Lecturer: Dr A.M. Pitts (. ap@cl.cam.ac.uk. ). No. of lectures: 12. This course is a prerequisite for Types (Part II). Aims. The aim of this

20 Sep 1999: Next: Digital Electronics Up: Michaelmas Term 1999: Part Previous: Unix Tools. Logic and Proof. Lecturer: Dr L.C. Paulson (. lcp@cl.cam.ac.uk. ). No. of lectures: 12. This course is a prerequisite for Specification and Verification I (Part II).

20 Sep 1999: Next: Computer Design Up: Michaelmas Term 1999: Part Previous: Digital Electronics. Data Structures and Algorithms. Lecturer: Dr M. Richards (. mr@cl.cam.ac.uk. ). No. of lectures: 16. This course is a prerequisite for Further Java (Part IB and

20 Sep 1999: Next: Further Java Up: Michaelmas Term 1999: Part Previous: Computer Design. Numerical Analysis I. Lecturer: Dr M.R. O'Donohoe (. mro2@cam.ac.uk. ). No. of lectures: 8. This course is a prerequisite for Numerical Analysis II (Part II and Diploma).

20 Sep 1999: Next: Lent Term 2000: Part Up: Michaelmas Term 1999: Part Previous: Group Project. Continuous Mathematics. Lecturer: Dr J.G. Daugman (. jgd1000@cl.cam.ac.uk. ). No. of lectures: 4. This course is a prerequisite for Computer Vision (Part II and

20 Sep 1999: Next: Operating System Functions Up: Lent Term 2000: Part Previous: Lent Term 2000: Part. Comparative Programming Languages. Lecturer: Dr M. Richards (. mr@cl.cam.ac.uk. ). No. of lectures: 12. Aims. The aims of this course are to introduce the

20 Sep 1999: Next: Computation Theory Up: Lent Term 2000: Part Previous: Operating System Functions. Compiler Construction. Lecturers: Dr A.C. Norman and Dr M. Richards. (. acn@cam.ac.uk. and. mr@cl.cam.ac.uk. ). No. of lectures: 20. Aims. This course aims to

20 Sep 1999: Next: Prolog for Artificial Intelligence Up: Lent Term 2000: Part Previous: Computation Theory. Digital Communication I. Lecturer: Professor I.M. Leslie (. iml@cl.cam.ac.uk. ). No. of lectures: 12. This course is a prerequisite for Digital