Skip to main content
Unit of study_

Models of Computation - COMP2022

Year - 2020

This unit provides an introduction to the foundations of computational models, and their connection to programming languages/tools. The unit covers various abstract models for computation including Lambda Calculus, and Logic calculi (e. g. concept of formal proofs in propositional, predicate, and temporal logic). For each abstract model, we introduce programming languages/tools that are built on the introduced abstract computational models. We will discuss functional languages including Scheme/Haskell, and Prolog/Datalog.

Lectures, Tutorials

Refer to the assessment table in the unit outline.

Assumed knowledge
(MATH1004 OR MATH1904 OR MATH1064 OR MATH2069 OR MATH2969) AND (INFO1105 OR INFO1905 OR COMP2123 OR COMP2823)


INFO1103 OR INFO1903 OR INFO1113




Faculty: Engineering

Semester 2

24 Aug 2020

Department/School: Computer Science
Study Mode: Normal (lecture/lab/tutorial) day
Census Date: 28 Sep 2020
Unit of study level: Intermediate
Credit points: 6.0
EFTSL: 0.125
Available for study abroad and exchange: Yes
Faculty/department permission required? No
More details
Unit of Study coordinator: A/Prof Kalina Yacef
HECS Band: 2
Courses that offer this unit

Non-award/non-degree study If you wish to undertake one or more units of study (subjects) for your own interest but not towards a degree, you may enrol in single units as a non-award student. Cross-institutional study If you are from another Australian tertiary institution you may be permitted to undertake cross-institutional study in one or more units of study at the University of Sydney.

To help you understand common terms that we use at the University, we offer an online glossary.