Quick Links

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

Nota : Ceci est la version 20122013 de l’annuaire électronique. Veuillez mettre à jour l’année dans la barre d’adresse de votre navigateur pour une version plus récente de cette page, ou cliquez ici pour consulter l'annuaire la plus récente.

Offert par : Computer Science (Faculty of Science)

Vue d'ensemble

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.

Trimestres : Winter 2013

Chargés de cours : Denis Therien (Winter)