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.