CIS 870 - Theory of Computability

Credits: 3

Formal models for computability; universal programs; Church’s thesis; unsolvable problems and reducibilities; partial recursive functions; recursive and recursively enumerable sets; s-m-n theorem and the recursion theorem.

Requisites:
Prerequisite: CIS 770.