COMP6363 Theory of Computation
COMP6363 is only available under certain award programs.
| Offered By | Department of Computer Science |
|---|---|
| Academic Career | Graduate Coursework |
| Course Subject | Computer Science |
| Offered in | First Semester, 2009 and First Semester, 2010 |
| Unit Value | 6 units |
| Course Description |
This course covers the theoretical computer science areas of formal languages and automata, computability and complexity. Topics covered include: regular and context-free languages; finite automata and pushdown automata; Turing machines; Church's thesis; computability - halting problem, solvable and unsolvable problems; space and time complexity; classes P, NP and PSPACE; NP-Completeness. |
| Course Classification(s) | TransitionalTransitional courses are designed for students from a broad range of backgrounds and learning achievements, which provide for the acquisition of generic skills; or an informed understanding of contemporary issues; or fundamental knowledge for transition to Advanced or Specialist courses. |
| Areas of Interest | Computer Science |
| Requisite Statement |
Enrolment in the Master of Computing or Master of Computing Honours programs |
The information published on the Study at ANU 2009 website applies to the 2009 academic year only. All information provided on this website replaces the information contained in the Study at ANU 2008 website.
