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