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.

Teaching and assessment

We’re currently reviewing teaching and assessment of our modules in light of the COVID-19 situation. We’ll publish the latest information as soon as possible.

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.

This module is running in the academic year 2019/20. We also plan to offer it in future academic years. It may become unavailable due to staff availability, student demand or updates to our curriculum. We’ll make sure to let our applicants know of such changes to modules at the earliest opportunity.

Courses

This module is offered on the following courses: