Mathematical Methods in Theoretical Computer Science

Boolean Functions

CSC 2407 / MAT 1307, Fall 2026

Course Information

Instructor: Swastik Kopparty (swastik.kopparty@utoronto.ca)
Lectures: Tuesdays, 1:00–3:00 p.m., GB 120
Office hours: TBD, SF 3324

Email me if you are not registered for the course and are interested in getting on the mailing list.

Course Description

This course will study Boolean functions; namely functions from {0,1}^n to {0,1}. Topics include: CNF and DNF representations, decision trees, approximate and exact representations by polynomials over reals and finite fields, Fourier expansions, influence of variables, approximate juntas, formula and circuit complexity, constant-depth circuit complexity and pseudorandomness. We will see applications to learning theory, error-correcting codes, social choice and cryptography.

Prerequisites

Undergraduate-level linear algebra, probability, combinatorics. Mathematical maturity.

Assessment

References

Lecture Schedule