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.
|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.
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:
Method and Frequency of Class:
|Activity||Number Of Weeks||Number of sessions||Duration of a session|
|Lecture||11 weeks||2 per week||2 hours|
Method of Assessment:
|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.
Search for another module
Return to The University of Nottingham Welcome Page