Computer Laboratory > Teaching > Course material 2009–10 > Logic and Proof

 

Logic and Proof
2009–10

Principal lecturer: Prof Larry Paulson
Taken by: Part IB
Syllabus
Past exam questions
Information for supervisors (solution notes for past exam questions) (contact lecturer for access permission)

Course notes PDF

Slides PDF

A toy theorem-proved coded in ML: