Vue d'ensemble
Informatique (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: This course is not scheduled for the 2024-2025 academic year.
Instructors: There are no professors associated with this course for the 2024-2025 academic year.
3 hours
Prerequisite: COMP 330
