Course Description
Recursive definitions and inductive proofs. Primitive recursive functions. Recursive functions. Turing computability, the Church-Turing thesis, unsolvable problems and undecidable relations. Basic theory of recursive functions and recursively enumerable sets. Applications to Logic.
Agenda
Due day
Course event
System event
Personal event
Announcements
All announcements...- - There are no announcements -