COSC 4100 - Foundations of Computing

Credits: 3
Introduces several theoretical areas which are the basis of computer science. Languages and automata, computability, complexity, analysis of algorithms, logic, and the specification and correctness of programs.

Prerequisite: COSC 3020.