COMP 531 Advanced Theory of Computation

3 credits · Computer Science · Faculty of Science · Offered: Winter

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 p…

Prerequisites

COMP 330

Prerequisite courses: COMP 330

Plan your whole degree in myDegree. Fit COMP 531 and everything it needs into a plan, term by term. Open myDegree

Source: McGill Course Catalogue. myDegree is an independent student project, not affiliated with McGill University.