Spring classes begin Jan. 25 as fully remote, 25% transition to in-person Feb. 1. For more information, visit COVID website.
A survey of the mathematical foundations of Computer Science. Finite automata and regular languages. Stack Acceptors and Context-Free Languages. Turing Machines, recursive and recursively enumerable sets. Decidability. Complexity. This course involves no computer programming.
Pre-Req: COMP 1020 Computing II, and MATH 3220 Discrete Structures II.