Note: This is the 2017–2018 eCalendar. Update the year in your browser's URL bar for the most recent version of this page, or .
Overview
Computer Science (Sci) : Models for sequential and parallel computations: Turing machines, boolean circuits. The equivalence of various models and the Church-Turing thesis. Unsolvable problems. Model dependent measures of computational complexity. Abstract complexity theory. Exponentially and super-exponentially difficult problems. Complete problems.
Terms: Winter 2018
Instructors: Therien, Denis (Winter)
3 hours
Prerequisite: COMP 330
