CSE 473 Theory of Computation

Code and Name CSE 473 Theory of Computation
Type Elective
Credit Hours 3
Pre-requisites CSE 173, CSE 225

Theorem proving, propositional logic, first order logic, finite automata, formal languages, Turing machines, uncomputability, computational complexity and NP completeness.