Computer Laboratory Course material 2007–08

Introduction People » Contact information Research Teaching Lecture timetables Course material 2007–08 Part IA (50% option) Part IA (25% option) Part IA (Maths with Computer Science) Part IB Part II Part II (General) Diploma Lecturer index Supervisions Part II and Diploma projects Examinations Directors of Studies Public Workstation Facility Online services Seminars Technical reports Publications database » Library Admissions information Job vacancies Miscellaneous Internal information Sitemap

Logic and Proof 2007–08 Principal lecturer: Prof Larry Paulson Taken by: Part IB Syllabus Past exam questions Course notes Slides A toy theorem-proved coded in ML: prover source some examples to run

© 2007 Computer Laboratory, University of Cambridge
Please send any comments on this page to Prof Larry Paulson
Last modified 2007-08-28 12:56 by Larry Paulson