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
Pr.: CIS 770.