Minerva Class Scheduling Visit Minerva Class Schedule for course dates & times.

Dernières mises à jour en lien avec la COVID-19 disponibles ici.
Latest information about COVID-19 available here.

COMP 531 Advanced Theory of Computation (3 unités)

Offered by: Informatique (Faculté des sciences)

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: Automne 2021

Instructors: Hatami, Hamed (Fall)

Back to top