302976 (v.1) Theoretical Foundations of Computer Science 552

---

 

Area:	Department 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.