Lecture Courses

Courses offered this year

  1. Foundations of Computer Science
    12 lectures on programming, using ML
    This is the first computer science course taken by Cambridge undergraduates.
  2. Logic and Proof
    12 lectures on computational logic and automatic theorem proving, for second-year students
  3. Interactive Formal Verification
    12 lectures and 4 practical classes
    This Masters-level course teaches how to use the Isabelle system.

Past courses

  1. Foundations of Computer Science (the original 15-lecture version)
  2. Foundations of Functional Programming (lambda calculus and combinators).
  3. Introduction to Functional Programming (12 lectures on ML)
  4. Software Engineering I (6 lectures)
  5. Software Engineering II (6 lectures)
  6. Problem Solving in ML (6 lectures)
Last revised: 6 November, 2013
Lawrence C. PaulsonComputer LaboratoryUniversity of Cambridge