CSC 720 - Theory of Computation

Credits: 3

Formal models of computation. Recursive function theory, computable fuctions, decidable and enumerable sets, unsolvable programs, correctness of programs, undecidability and incompleteness and complexity of computation. Prerequisites: Pre-requisite: CSC 445.

Check Course Availability