CPSC 513: Computability
General Course Information
Computer Science 513 is a fourth-year undergraduate course in the theory of computation offered by the Department of Computer Science at the University of Calgary. It is an optional course intended primarily for computer science majors.
These pages — which are certainly “under construction” at this point — describe the course as it will be offered in Winter, 2021.
Course Outline
The course outline for the Winter 2021 section of this course is now available — and the previous phrase, including the word “outline”, is a link to it.
Lectures and Tutorials
- Introduction to Course and Mathematics Review
- Models of Computation
- Getting To Undecidability
- Classifying Unsolvable Problems
- Post’s Problem
- Processes and Grammars
