Computability and Formal Languages

Description:

CS5104: Formal theory of computability, the halting problem, models of computation, and Church's thesis, and formal languages.

See: course pages.

Taught By: Denis Gracanin
Layne Watson