302976 (v.1) Theoretical Foundations of Computer Science 552

Area:

Department of Computing

Credits:

25.0

Contact Hours:

4.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. **

Tutorial:

1 x 4 Hours Weekly

Prerequisite(s):

10078 (v.6) Software Technology 501 or any previous version

Syllabus:

Automata theory - deterministic and non-deterministic automata, conversions. Grammars - context free grammars, languages for grammars, Parse trees. Turning machines and abstractions of RAM. Decidability, reducibility Pand 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

Funding Cluster:

06 - Computing, Built Environment, Health

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
2005	Bentley 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