Logic and Computability

CSC 438/CSC2404 Winter 2023

Course Info

Instructor: Swastik Kopparty (swastik.kopparty@utoronto.ca)
Class Time and Place: Wednesdays 1pm-3pm, OISE 5150
Office Hours: Tuesdays 10:30am-11:30am
TA: Harry Sha, Deepanshu Kush
Tutorials: Friday 2pm-3pm, OISE 5150
TA Office hours: TBD

Please use the course piazza site for questions.

Text book: No required text. We will loosely follow Steve Cook's notes (available here). Other good references: Introduction to the Theory of Computation (by Sipser), Chapter by Buss on Proof theory (available here).

Please email me if you are not enrolled in the course and would like to sit in. Please email me if you are trying to enroll in the course and would like to be added to the course quercus site in the meantime.

This course will need comfort with proofs and mathematical precision.

Syllabus and course policies
Rough course outline: