5657 (v.5) Theory of Computation 551



 

Area:Department of Computing
Contact Hours:4.0
Credits:25.0
Lecture:1 x 2 Hours Weekly
Workshop:1 x 2 Hours Weekly
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: August 29, 2003     15:52:10
CRICOS provider code 00301J