Computable functions; decidable and undecidable problems; Church's thesis and recursive functions.
This course may not be repeated for credit.
Notes
- Computer Science 413 is strongly recommended as preparation for this course.
SyllabusSections
This course will be offered next in
Winter 2021.