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	School of Computer Science
Faculty	Faculty of Engineering

Description including Unit Aims

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 Information

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 Information

100% January timed assessment

Reading and References

TBC