| Definition of terms    | Contact / help    | About Curtin    | Resources & Facilities

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.

 
Click here for a printable version of this page

 

To report errors on this website please e-mail:online@curtin.edu.au
Copyright and Disclaimer
Current as of: February 20, 2003     5:01:33
CRICOS provider code 00301J