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.
|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.
|G51FUN||Introduction to Functional Programming|
|G51MCS||Mathematics for Computer Scientists|
|G52MAL||Machines and their Languages|
|G52IFR||Introduction to Formal Reasoning|
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:
|Activity||Number Of Weeks||Number of sessions||Duration of a session|
|Lecture||12 weeks||2 per week||1 hour|
Method of Assessment:
|Exam 1||100||2 hour exam|
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.
Search for another module
Return to The University of Nottingham Welcome Page