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.

We regularly review our modules to incorporate student feedback, staff expertise, as well as the latest research and teaching methodology. We鈥檙e planning to run these modules in the academic year 2026/27. However, there may be changes to these modules in response to feedback, staff availability, student demand or updates to our curriculum.

We鈥檒l make sure to let you know of any material changes to modules at the earliest opportunity.

Courses

This module is offered on the following courses: