12334 (v.4) Theoretical Foundations of Computer Science 352

Area:	Department of Computing
Credits:	25.0
Contact Hours:	5.0
The tuition pattern below provides details of the types of classes and their duration. This is to be used as a guide only. For more precise information please check your unit outline.
Lecture:	1 x 2 Hours Weekly
Tutorial:	1 x 3 Hours Weekly
Prerequisite(s):	1922 (v.7) Software Technology 152 or any previous version AND 12333 (v.5) Design and Analysis of Algorithms 251 or any previous version
Syllabus:	Automata theory: deterministic and non-deterministic automata and conversions. Grammars: context free grammars, languages for grammars and Parse trees. Turing machines and abstractions of RAM. Decidability, reducibility P and PN classes. Time and spare complexity. NP completeness.
To ensure that the most up-to-date information about unit references, texts and outcomes appears, they will be provided in your unit outline prior to commencement.
Field of Education:	020105 Computational Theory
SOLT (Online) Definitions*:	Not Online *Extent to which this unit or thesis utilises online information
Result Type:	Grade/Mark

Availability

Year	Location	Period	Internal	Partially Online Internal	Area External	Central External	Fully Online
2008	Bentley Campus	Semester 2	Y
2008	Miri Sarawak Campus	Semester 2	Y

Area External refers to external course/units run by the School or Department or offered by research.

Central External refers to external and online course/units run through the Curtin Bentley-based Distance Education Area

Partially Online Internal refers to some (a portion of) learning provided by interacting with or downloading pre-packaged material from the Internet but with regular and ongoing participation with a face-to-face component retained. Excludes partially online internal course/units run through the Curtin Bentley-based Distance Education Area which remain Central External

Fully Online refers to the main (larger portion of) mode of learning provided via Internet interaction (including the downloading of pre-packaged material on the Internet). Excludes online course/units run through the Curtin Bentley-based Distance Education Area which remain Central External