Catalogue of Modules, University of Nottingham

G54AOR Algorithm Design and Operations Research
(Last Updated:03 May 2017)

Year  09/10

Total Credits: 20

Level: Level 4

Target Students:  Students registered for Masters degree in Scientific Computation and Masters degree in Advanced Computing Science. May optionally be taken by students studying other Masters degrees offered by the School of Computer Science if suitable knowledge of computing and mathematics can be demonstrated. (See information on prerequisites.)  Available to JYA/Erasmus students.

Taught Semesters:

Autumn Assessed by end of Autumn Semester 

Prerequisites: Prior knowledge of Mathematics and Programming equivalent to entry requirements for the Masters degree in Scientific Computation or the Masters degree in Advanced Computing Science.

Corequisites:  None.

Summary of Content:  This module consists of two parts. The Algorithm Design part exploits formal mathematical reasoning in the design of reliable computer algorithms. The principles of program verification and their relationship to mathematical proof principles are applied to a variety of programming problems. The Operations Research part covers fundamental modelling techniques, analystical methods and algorithms for tackling real-world difficult optimisation problems in industry and business with the aim of helping to make better decisions. This part of the module looks at the interface between operations research, computer science and artificial intelligence. Module Web Links:
  • AD Web Page
  • OR Web Page
  • Method and Frequency of Class:

    ActivityNumber Of WeeksNumber of sessionsDuration of a session
    Lecture 11 weeks2 per week2 hours

    Activities may take place every teaching week of the Semester or only in specified weeks. It is usually specified above if an activity only takes place in some weeks of a Semester

    Further Activity Details:
    Breakdown of hours: thirty-three tutor-led hours; twenty-two student directed hours; twenty assessment/revision hours.

    Method of Assessment: 

    Assessment TypeWeightRequirements
    Exam 1 60 Written examination based on problem solving 
    Coursework 1 20 Algorithm design problem 
    Coursework 2 20 Implementation of OR technique 

    Dr D Landa Silva
    Dr E Ozcan

    Education Aims:  To provide a sound foundation in mathematical methods for redesigning reliable software. To develop the skills needed to construct algorithms that are guaranteed to meet their specifications.

    To provide up-to-date knowledge and skills in the use of algorithms for operations research.

    Learning Outcomes:  Knowledge and Understanding; Formulate mathematical models for a range of problems arising in application areas Select appropriate computational algorithms for solving the large systems of equations that arise from the discretisation of mathematical models Intellectual Skills; Apply complex ideas to familiar and novel situations Work with abstract concepts and in a context of generality Reason logically and work analytically Relate theoretical models to their applications Perform with high levels of accuracy Transfer expertise between different topics Professional Skills, the ability to; Develop knowledge of appropriate mathematical and physical models Select and apply appropriate methods and techniques to solve problems Justify conclusions using mathematical arguments with appropriate rigour Communicate results using appropriate styles, conventions and terminology Transferable Skills, the ability to; Communicate with clarity Work effectively, independently, within a team and under direction Analyse and solve complex problems accurately Apply high levels of numeracy Adopt effective strategies for study

    Offering School:  Computer Science

    Use the Back facility of your browser to return to the previous page.

    Module Catalogue Search for another module

    [UoN Welcome Page] Return to The University of Nottingham Welcome Page