Catalogue of Modules, University of Nottingham

G54FOP Mathematical Foundations of Programming
(Last Updated:08 April 2013)

Year  12/13

Total Credits: 10

Level: Level 4

Target Students:  MSc and Part III undergraduate students in the School of Computer Science. Also available to Part II undergraduate students in the School of Computer Science subject to Part I performance. Also available to students from other Schools with the agreement of the module convenor.  Available to JYA/Erasmus students.

Taught Semesters:

SemesterAssessment
Spring Assessed by end of Spring Semester 

Prerequisites: Or equivalent knowledge of discrete mathematics and programming (equivalent to entry requirements for the Masters degrees in Scientific Computation or Advanced Computing Science). It is recommended to take this module together with G54FPP.

MnemTitle
G51FUN Introduction to Functional Programming 
G51MCS Mathematics for Computer Scientists 
G52MAL Machines and their Languages 
G52IFR Introduction to Formal Reasoning 

Corequisites:  None.

Summary of Content:  

This module is part of the Foundations of Computer Science theme in the School of Computer Science.

The development of programming languages and their underlying mathematical foundations are closely linked. Many of the concepts in modern languages have their origins in basic research, and the development of new theory is often inspired by practical problems. This module focuses on some of the fundamental mathematical concepts that underlie modern programming and programming languages, including aspects of recent and current research. The precise topics covered may vary somewhat, but will typically include the following:

Method and Frequency of Class:

ActivityNumber Of WeeksNumber of sessionsDuration of a session
Lecture 12 weeks2 per week1 hour

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:
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.

Method of Assessment: 

Assessment TypeWeightRequirements
Exam 1 100 2 hour exam 

Convenor: 
Dr H Nilsson

Education Aims:  To provide a sound basis in a range of topics in the foundations of programming languages, including aspects of recent and current research.

Learning Outcomes:  Knowledge and Understanding: a sound understanding of advanced topics in the foundations of programming Intellectual Skills: the ability to apply mathematical techniques to programming problems

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