CISC 3230
Theoretical Computer Science · 3 credits · Spring 2027
Requirements
COMPUTER AND INFORMATION SCIENCE 2210 [11] AND 3130 [22], BOTH WITH A GRADE OF C OR HIGHER; AND MATHEMATICS 1201 [3.3] WITH A GRADE OF C- OR HIGHER, ARE REQUIRED TO TAKE THIS COURSE.
About this course
3 hours; 3 creditsOverview 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 [11] and 3130 [22] and Mathematics 1201 [3.3].
No sections have been posted for this course in this term yet.