Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Teaching
Courses 2011–12
Logic and Proof
Course materials
Algorithms II
Computer Design
Concurrent and Distributed Systems
ECAD and Architecture Practical Classes
Further Java
Logic and Proof
Mathematical Methods for Computer Science
Programming in C and C++
Prolog
Semantics of Programming Languages
Software Engineering
Unix Tools
Compiler Construction
Complexity Theory
Computation Theory
Computer Graphics and Image Processing
Computer Networking
Databases
Artificial Intelligence I
Concepts in Programming Languages
Economics and Law
Security I
Course pages 2011–12
Logic and Proof
Syllabus
Course materials
Information for supervisors
Course notes
(PDF)
Slides
(PDF)
A toy theorem-proved coded in ML:
prover source
some examples to run
© 2011 Computer Laboratory, University of Cambridge
Information provided by
Prof Larry Paulson