Prerequisites

This is a proof-based course in theoretical computer science.

The course requires the following: