Programming Concepts (G6007)

15 credits, Level 4

Autumn teaching

In this module, you are introduced to algorithmic problem solving. Your studies in this module will answer the following questions:

  • what is a problem specification, an algorithm, a computation?
  • what are their properties?
  • how does one develop an algorithm?
  • how can one rigorously argue that an algorithm computes correct solutions to a given problem?
  • how can one measure the efficiency of an algorithm and the complexity of a problem?

As part of the module, you use a simple algorithmic language (pseudo code) for the sake of writing algorithms - the focus of this module is on algorithmic thinking, not coding.

In the module, you specify and develop searching, sorting and other simple (and intuitive) algorithms. You apply and explore principles like divide-and-conquer and recursive programming.

You also look at two important properties of algorithms - 'correctness' and 'complexity'.

Algorithms should only compute correct solutions of a problem. To establish correctness, you are introduced to some relevant (propositional and predicate) logic, in an informal style (focusing on logical reasoning principles rather than logical calculi).

Finally, you discuss asymptotic complexity classes and explore the concept of time complexity of an algorithm.

As part of this module, you undertake exercise classes and coursework, based on a series of examples.

The algorithms you develop in this module should be implemented in Java concurrently or at a later stage in the further programming module.


100%: Lecture


100%: Examination (Multiple choice questions)

Contact hours and workload

This module is approximately 150 hours of work. This breaks down into about 33 hours of contact time and about 117 hours of independent study. The University may make minor variations to the contact hours for operational reasons, including timetabling requirements.

We regularly review our modules to incorporate student feedback, staff expertise, as well as the latest research and teaching methodology. We’re planning to run these modules in the academic year 2023/24. However, there may be changes to these modules in response to feedback, staff availability, student demand or updates to our curriculum. We’ll make sure to let you know of any material changes to modules at the earliest opportunity.


This module is offered on the following courses: