Study of abstract models of computation, unsolvability, complexity theory, formal grammars and parsing, and other advanced topics in theoretical computer science.

Grade Basis: L
Credit hours: 3.0
Lecture hours: 3.0