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