Skip to main content

Unit information: Programming Languages and Computation in 2021/22

Unit name Programming Languages and Computation
Unit code COMS20007
Credit points 20
Level of study I/5
Teaching block(s) Teaching Block 1 (weeks 1 - 12)
Unit director Dr. Steven Ramsay
Open unit status Not open

COMS10016 Imperative and Functional Programming

COMS10014 Mathematics for Computer Science A



School/department Department of Computer Science
Faculty Faculty of Engineering


This unit is an introduction to mathematical models of computation in general and the design and implementation of programming languages in particular.

Intended learning outcomes

At the end of this unit, students will be able to:

  1. Describe and reason about computations precisely.
  2. Argue about the limitations of certain models of computation.
  3. Understand the interplay between the design and implementation of programming languages.

Teaching details

Teaching will be delivered through a combination of synchronous and asynchronous sessions, including lectures, practical activities supported by drop-in sessions, problem sheets and self-directed exercises.

Assessment Details

Exam (January, 100%)


If this unit has a Resource List, you will normally find a link to it in the Blackboard area for the unit. Sometimes there will be a separate link for each weekly topic.

If you are unable to access a list through Blackboard, you can also find it via the Resource Lists homepage. Search for the list by the unit name or code (e.g. COMS20007).