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. |