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

5657 (v.5) Theory of Computation 551

---

 

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

 

To report errors on this website please e-mail:online@curtin.edu.au
Copyright and Disclaimer
Current as of: November 4, 2002     5:20:13
CRICOS provider code 00301J