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
Slides
A toy theorem-proved coded in ML:
| ![[Search]](../../../images/search.gif){kind=small}
![[A-Z Index]](../../../images/az.gif){kind=small}
![[Contact]](../../../images/contact.gif){kind=small}
![[University of Cambridge]](../../../images/identifier2.gif){kind=small}