CSCI 422 Theoretical Foundations of Computing

Various mathematical models for computation. Nature of computation, finite automata and grammars, solvable and unsolvable problems, formal semantics, proving program correctness, and nondeterminism.