2019-2020 Catalog and Student Handbook

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