University of Calgary

CPSC 513 - Computability - Winter 2019

Computable functions; decidable and undecidable problems; Church's thesis and recursive functions.
This course may not be repeated for credit.

Hours

  • H(3-0)

Notes

  • Computer Science 413 is strongly recommended as preparation for this course.

Prerequisite(s)

  • Computer Science 313.
Syllabus

Sections

This course will be offered next in Winter 2021.
Powered by UNITIS. More features.