5657 (v.5) Theory of Computation 551
Area: Department of Computing Credits: 25.0 Contact Hours: 4.0 Lecture: 1 x 2 Hours Weekly Workshop: 1 x 2 Hours Weekly
Syllabus: Algorithm techniques, algorithm analysis. Automata, recursive function theory and grammars. Mathematical basis of computation. Propositional and predicate logic, resolution and theorem proving.
Copyright and Disclaimer
Current as of: February 2, 2004
CRICOS provider code 00301J