University of Calgary

CPSC 313 - Introduction to Computability - Spring 2018

An introduction to abstract models of sequential computation, including finite automata, regular expressions, context-free grammars, and Turing machines. Formal languages, including regular, context-free, and recursive languages, methods for classifying languages according to these types, and relationships among these classes.
This course may not be repeated for credit.

Hours

  • H(3-2T)

Notes

  • One of Computer Science 319 or 331 is strongly recommended as preparation for this course.

Prerequisite(s)

  • One of Mathematics 271 or 273, one of Philosophy 279 or 377, and one of Computer Science 219, 233 or 235.
Syllabus

Sections

  • LEC 1MW 13:00 - 15:45
    TUT 1TR 11:00 - 12:50
    TUT 3MW 16:00 - 17:50
This course will be offered next in Fall 2018.
Powered by UNITIS. More features.