Topic 1
Main content blocks
No contacts
Course information
General prerequisites:
This course is taught by the Department of Computer Science, please see https://www.cs.ox.ac.uk/teaching/courses/2025-2026/catsproofsprocs/
Course term: Michaelmas
Course lecture information: 16 lectures