Skip to main content

Unit information: Programming Languages and Computation in 2020/21

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
Pre-requisites

COMS10016 Imperative and Functional Programming

COMS10014 Mathematics for Computer Science A

Co-requisites

None

School/department Department of Computer Science
Faculty Faculty of Engineering

Description

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

TBC

Feedback