Please note:
To view the Fall 2026 Academic Calendar, go to www.sfu.ca/students/calendar/2026/fall.
Computability and Complexity CMPT 308 (3)
Formal models of computation such as automata and Turing machines. Decidability and undecidability. Recursion Theorem. Connections between computability and logic (G枚del鈥檚 Incompleteness). Time and space complexity classes. NP-completeness. Prerequisite: (MACM 201 or CMPT 210) with a minimum grade of C-.
| Section | Instructor | Day/Time | Location |
|---|---|---|---|
|
Evgenia Ternovska |
Jan 5 鈥� Apr 12, 2027: Mon, 12:30鈥�2:20 p.m.
Jan 5 鈥� Apr 12, 2027: Wed, 12:30鈥�1:20 p.m. |
Burnaby Burnaby |