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.

Credits

3

Prerequisite

Complete CSCI 310