302976 (v.1) Theoretical Foundations of Computer Science 552
Area: | School of Computing |
Contact Hours: | 4.0 |
Credits: | 25.0 |
Tutorial: | 1 x 4 Hours Weekly |
Prerequisite(s): | 10078 (v.5) Software Technology 501 or any previous version
|
Automata theory - deterministic and non-deterministic automata, conversions. Grammars - context free grammars, languages for grammars, Parse trees. P and NP classes, NP completeness and reducibility. Decidability. Turing machines and abstractions of RAM. |