Please note:

To view the current Academic Calendar, go to

Computability and Complexity CMPT 308 (3)

This course introduces students to formal models of computations such as Turing machines and RAMs. Notions of tractability and intractability are discusses both with respect to computability and resource requirements. The relationship of these concepts to logic is also covered. Prerequisite: MACM 201.

Section Instructor Day/Time Location
D100 Valentine Kabanets
Mo, We, Fr 2:30 PM – 3:20 PM