- Student Records
Programme & Unit Catalogues


CM20218: Foundations of computation 2

Follow this link for further information on academic years Academic Year: 2014/5
Further information on owning departmentsOwning Department/School: Department of Computer Science
Further information on credits Credits: 6
Further information on unit levels Level: Intermediate (FHEQ level 5)
Further information on teaching periods Period: Semester 2
Further information on unit assessment Assessment Summary: CW 25%, EX 75%
Further information on unit assessment Assessment Detail:
  • Coursework (CW 25%)
  • Examination (EX 75%)
Further information on supplementary assessment Supplementary Assessment: CM20218A Mandatory Extra Work (where allowed by programme regulations)
Further information on requisites Requisites: Before taking this unit you must take CM10227 and take CM10228 or (take CM10196 or take MA10209) and take CM20217
Further information on descriptions Description: Aims:
To introduce the basic notions of formal semantics of programming languages as a tool for understanding and analyzing programming.

Learning Outcomes:
On completion of this unit, students will be able to:
1. Use formal semantic techniques to make the meaning of simple programming constructs precise.
2. Analyze simple programs and programming features using formal semantic techniques.
3. Define and explain the syntax and semantics of the lambda-calculus, and its role as a model of computation and as an idealized programming language.

Skills:
Use of IT (A), Application of Number (T/F, A), Problem Solving (T/F, A).

Content:

* Simple, idealized programming languages, including at least a small imperative language and the lambda-calculus.
* Formal semantics of these languages, in operational or denotational style, or a combination.
* The use of formal semantics for defining programming constructs and reasoning about properties of programs such as correctness and equivalence.
Further information on programme availabilityProgramme availability:

CM20218 is Compulsory on the following programmes:

Department of Computer Science
  • USCM-AFB06 : BSc(Hons) Computer Science (Year 2)
  • USCM-AAB07 : BSc(Hons) Computer Science with Study year abroad (Year 2)
  • USCM-AKB07 : BSc(Hons) Computer Science with Year long work placement (Year 2)
  • USCM-AFM01 : MComp(Hons) Computer Science (Year 2)
  • USCM-AAM02 : MComp(Hons) Computer Science with Study year abroad (Year 2)
  • USCM-AKM02 : MComp(Hons) Computer Science with Year long work placement (Year 2)
  • USCM-AFB20 : BSc(Hons) Computer Science and Mathematics (Year 2)
  • USCM-AAB20 : BSc(Hons) Computer Science and Mathematics with Study year abroad (Year 2)
  • USCM-AKB20 : BSc(Hons) Computer Science and Mathematics with Year long work placement (Year 2)
  • USCM-AFM14 : MComp(Hons) Computer Science and Mathematics (Year 2)
  • USCM-AAM14 : MComp(Hons) Computer Science and Mathematics with Study year abroad (Year 2)
  • USCM-AKM14 : MComp(Hons) Computer Science and Mathematics with Year long work placement (Year 2)

CM20218 is Optional on the following programmes:

Department of Mathematical Sciences
  • USMA-AFB15 : BSc(Hons) Mathematical Sciences (Year 2)
  • USMA-AFB15 : BSc(Hons) Mathematical Sciences (Year 3)
  • USMA-AAB16 : BSc(Hons) Mathematical Sciences with Study year abroad (Year 2)
  • USMA-AAB16 : BSc(Hons) Mathematical Sciences with Study year abroad (Year 4)
  • USMA-AKB16 : BSc(Hons) Mathematical Sciences with Year long work placement (Year 2)
  • USMA-AKB16 : BSc(Hons) Mathematical Sciences with Year long work placement (Year 4)
  • USMA-AFB13 : BSc(Hons) Mathematics (Year 2)
  • USMA-AFB13 : BSc(Hons) Mathematics (Year 3)
  • USMA-AAB14 : BSc(Hons) Mathematics with Study year abroad (Year 2)
  • USMA-AAB14 : BSc(Hons) Mathematics with Study year abroad (Year 4)
  • USMA-AKB14 : BSc(Hons) Mathematics with Year long work placement (Year 2)
  • USMA-AKB14 : BSc(Hons) Mathematics with Year long work placement (Year 4)
  • USMA-AFM14 : MMath(Hons) Mathematics (Year 2)
  • USMA-AFM14 : MMath(Hons) Mathematics (Year 3)
  • USMA-AAM15 : MMath(Hons) Mathematics with Study year abroad (Year 2)
  • USMA-AKM15 : MMath(Hons) Mathematics with Year long work placement (Year 2)
  • USMA-AKM15 : MMath(Hons) Mathematics with Year long work placement (Year 4)
  • USMA-AFB01 : BSc(Hons) Mathematics and Statistics (Year 3)
  • USMA-AAB02 : BSc(Hons) Mathematics and Statistics with Study year abroad (Year 4)
  • USMA-AKB02 : BSc(Hons) Mathematics and Statistics with Year long work placement (Year 4)
  • USMA-AFB05 : BSc(Hons) Statistics (Year 2)
  • USMA-AFB05 : BSc(Hons) Statistics (Year 3)
  • USMA-AAB06 : BSc(Hons) Statistics with Study year abroad (Year 2)
  • USMA-AAB06 : BSc(Hons) Statistics with Study year abroad (Year 4)
  • USMA-AKB06 : BSc(Hons) Statistics with Year long work placement (Year 2)
  • USMA-AKB06 : BSc(Hons) Statistics with Year long work placement (Year 4)

Notes:
* This unit catalogue is applicable for the 2014/15 academic year only. Students continuing their studies into 2015/16 and beyond should not assume that this unit will be available in future years in the format displayed here for 2014/15.
* Programmes and units are subject to change at any time, in accordance with normal University procedures.
* Availability of units will be subject to constraints such as staff availability, minimum and maximum group sizes, and timetabling factors as well as a student's ability to meet any pre-requisite rules.