Skip to main content

Unit information: Programming Languages and Computation in 2020/21

Please note: you are viewing unit and programme information for a past academic year. Please see the current academic year for up to date information.

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

100% January timed assessment

Reading and References