CSC 334 Theoretical Foundations of Computer Science
An introduction to the study of abstract models of computation and languages, and to the use of formal methods in computer science. Topics include Turing machines, Church's thesis, decision problems and undecidable problems, finite state automata and regular expressions, context free grammars and pushdown automata, symbolic logic, axiomatic semantics, and formal correctness proofs for small programs.
Prerequisite
MAT 200 or
MAT 300, and
CSC 117 with a grade of C- or higher, or permission of the instructor.