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.
Availability Availability Information has not been provided by the respective School or Area. Prospective students should contact the School or Area listed above for further information.

Click here for a printable version of this page

Picture of sun setting over Henderson Court on Curtin's Bentley Campus

Area: