CSC 720 - Theory of Computation

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. Credits: 3

Check Course Availability