Computer Laboratory > Teaching > Course material 2008–09 > Logic and Proof

 

Logic and Proof
2008–09

Principal lecturer: Prof Larry Paulson
Taken by: Part IB
Syllabus
Past exam questions

Course notes PDF

Slides PDF

News Flash!Solution notes for past exam questions (for supervisors and directors of studies only)

A toy theorem-proved coded in ML: