skip to primary navigation skip to content

Study at Cambridge
About the University
Research at Cambridge

Search site

Study at Cambridge

Undergraduate

Graduate

International students
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
History
Visiting the University
Term dates and calendars
Map

For media
Video and audio
Find an expert
Publications
Global Cambridge

News
Events
Public engagement
Jobs
Give to Cambridge

Research at Cambridge

For staff
For current students
For alumni
For business
Colleges & departments
Libraries & facilities
Museums & collections
Email & phone search

Computer Laboratory
Teaching
Courses 2025–26
Logic and Proof
Recordings

Department of Computer Science and Technology

Logic and Proof

Course pages 2025–26

Computer Laboratory
Teaching
Courses 2025–26
Part IB CST

Logic and Proof
Concurrent and Distributed Systems
Data Science
ECAD and Architecture Practical Classes
Economics, Law and Ethics
Further Graphics
Introduction to Computer Architecture
Programming in C and C++
Unix Tools
Compiler Construction
Computation Theory
Computer Networking
Further Human–Computer Interaction
Prolog
Semantics of Programming Languages
Artificial Intelligence
Complexity Theory
Cybersecurity
Formal Models of Language

Logic and Proof

Syllabus
Course materials
Recordings
Information for supervisors

Lecture video recordings

Ignore the line below about no recordings... :-)

No recordings available yet.

© 2026 Department of Computer Science and Technology, University of Cambridge
Information provided by Prof Mateja Jamnik – edit page

University A-Z
Contact the University
Accessibility
Freedom of information
Terms and conditions

Study at Cambridge

Undergraduate
Graduate
International students
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
Visiting the University
Map
News
Events
Jobs
Give to Cambridge

Research at Cambridge

News
Features
Discussion
Spotlight on...
About research at Cambridge