# Lecture Courses

## Courses offered this year

- Foundations of Computer Science

12 lectures on programming, using ML

This is the first computer science course taken by Cambridge undergraduates. - Logic and Proof

12 lectures on computational logic and automatic theorem proving, for second-year students - Interactive Formal Verification

12 lectures and 4 practical classes

This Masters-level course teaches how to use the Isabelle system.

## Past courses

- Foundations of Computer Science (the original 15-lecture version)
- Foundations of Functional Programming (lambda calculus and combinators).
- Introduction to Functional Programming (12 lectures on ML)
- Software Engineering I (6 lectures)
- Software Engineering II (6 lectures)
- Problem Solving in ML (6 lectures)