| Code and Name | CSE 473 Theory of Computation |
| Type | Elective |
| Credit Hours | 3 |
| Pre-requisites | CSE 173, CSE 225 |
| Coordinator | |
| Course Objective & Outcome Form | Download |
| Lab Manual | Download |
Theorem proving, propositional logic, first order logic, finite automata, formal languages, Turing machines, uncomputability, computational complexity and NP completeness.