COMP 2613 - Introduction to Computability

(formerly COMP 3313)
(3 credits) 3 hours lecture, 2 hours tutorial Lecture, Tutorial

This course provides students with an opportunity to gain insight into the theoretical foundations of computing science. Topics include abstract machines (finite automata; push down automata and Turing machines), the hierarchy of formal languages (regular, context-free, and recursive) recognized by these machines, and applications of these languages.

Prerequisite(s): MATH 1271 and COMP 1633 or COMP 2005 with minimum grades of C- or higher.
Fall Schedule
Winter Schedule
Spring Schedule
Summer Schedule