Undergraduate Computability and Complexity Theory (CS 452)
Wednesday: 15:50-17:00
Science & Engineering Resource Center - Room 203
Instructor: Karthik C. S. (Office hours at Core 308: Monday, 14:30-15:30)
Recitations: .
A Word of Caution: If you are not comfortable writing formal mathematical proofs (for example like in MA 311) then you might find this course quite demanding. The course is essentially just a collection of mathematical proofs.