Computability

3 credits · Undergraduate Programs

Computable functions; decidable and undecidable problems; Church's thesis and recursive functions. Prerequisite(s): Computer Science 313 or 351.