Current students

Units COMP2022

Unit of study_

COMP2022: Models of Computation

2025 unit information

This unit provides an introduction to the foundations of computing. The main aims are to introduce and compare different models of computation based on state-machines, grammars and algebra, and logic.

Unit details and rules

Managing faculty or University school:

Engineering

Details

Study level	Undergraduate
Academic unit	Computer Science
Credit points	6

Enrolment rules

Prerequisites: ?	INFO1110 or INFO1910 or INFO1113 or ENGG1810
Corequisites: ?	COMP2123 or COMP2823
Prohibitions: ?	COMP2922
Assumed knowledge: ?	Discrete mathematics and probability (e.g. MATH1064 or equivalent)

Learning outcomes

At the completion of this unit, you should be able to:

LO1. Design a model (regular expression, automaton, context free grammar, Turing machine) for a specified language.
LO2. Express in English the language of a given model (regular expression, automaton, context free grammar, Turing machine)
LO3. Convert among equivalently powerful notations for a language, including among DFAs, NFAs, and regular expressions.
LO4. Determine a language’s place in the Chomsky hierarchy (e.g., regular, context-free, Turing recognisable)
LO5. Define the classes P and NP.
LO6. Provide examples of uncomputable functions.
LO7. Convert logical statements from informal language to propositional and predicate logic expressions.
LO8. Apply formal methods of symbolic propositional and predicate logic, such as calculating validity of formulae and computing normal forms.

Unit availability

This section lists the session, attendance modes and locations the unit is available in. There is a unit outline for each of the unit availabilities, which gives you information about the unit including assessment details and a schedule of weekly activities.

The outline is published 2 weeks before the first day of teaching. You can look at previous outlines for a guide to the details of a unit.

Session	MoA ?	Location	Outline ?
Semester 2 2024	Normal day	Camperdown/Darlington, Sydney	View

Session	MoA ?	Location	Outline ?
Semester 2 2025	Normal day	Camperdown/Darlington, Sydney	Outline unavailable

Session	MoA ?	Location	Outline ?
Semester 2 2020	Normal day	Camperdown/Darlington, Sydney	View
Semester 2 2021	Normal day	Remote	View
Semester 2 2022	Normal day	Camperdown/Darlington, Sydney	View
Semester 2 2022	Normal day	Remote	View
Semester 2 2023	Normal day	Camperdown/Darlington, Sydney	View

Find your current year census dates

Modes of attendance (MoA)

This refers to the Mode of attendance (MoA) for the unit as it appears when you’re selecting your units in Sydney Student. Find more information about modes of attendance on our website.