CISC 3230 Theoretical Computer Science
(Prior to Fall 2010, this course was known as CIS 38.
The information below might still reflect the old course numbers. Bracketed numbers, if any, are the old course numbers. Learn more...)
3 hours; 3 credits
Overview of theoretical computer science. Formal language theory, computability theory. Finite automata, context-free and regular grammars, push-down automata, and Turing machines. Other models of computation, including recursive functions. Universal program and unsolvability.
Prerequisite: Computer and Information Science 2210 , 21 or 22, and Mathematics 3.20, 1201 [3.3], or 4.10.