好色tv

- Academic Registry


CM52041: Logic and semantics

[Page last updated: 22 April 2025]

Academic Year: 2025/26
Owning Department/School: Department of Computer Science
Credits: 5 [equivalent to 10 CATS credits]
Notional Study Hours: 100
Level: Masters UG & PG (FHEQ level 7)
Period:
Semester 2
Assessment Summary: EXOB 100%
Assessment Detail:
  • Open-book written examination (EXOB 100%)
Supplementary Assessment:
Like-for-like reassessment (where allowed by programme regulations)
Requisites: In taking this module you cannot take CM32029 OR take CM30226
Before taking this module you must take CM12003 OR ( take CM20256 AND take CM10227 )
Learning Outcomes: Students will be able to: 1. motivate design choices in programming languages based on underlying mathematical theories. 2. Use mathematical tools to describe and control computational phenomena, i.e., types, normalisation techniques or semantics. 3. Explain the influence of recent research in logic and semantics of programming languages on the practice of programming.


Synopsis: "You will explore the mathematical foundations of programming. You will learn mathematical theories such as proof theory or category theory and use these to consider aspects of programming such as the structure of programs, the design of programming languages, the use of types, and the analysis and control of computation. "

Content:
* Proof construction and normalisation in first-order logical systems.
* Semantic models of computation and their relation to logical systems.
*

Skills:
problem solving, critical thinking.

Course availability:

CM52041 is Optional on the following courses:

Department of Computer Science
  • USCM-AFM01 : MComp(Hons) Computer Science (Year 4)
  • USCM-AAM02 : MComp(Hons) Computer Science with Study year abroad (Year 5)
  • USCM-AKM02 : MComp(Hons) Computer Science with Year long work placement (Year 5)
  • USCM-AFM27 : MComp(Hons) Computer Science and Artificial Intelligence (Year 4)
  • USCM-AAM27 : MComp(Hons) Computer Science and Artificial Intelligence with Study year abroad (Year 5)
  • USCM-AKM27 : MComp(Hons) Computer Science and Artificial Intelligence with Year long work placement (Year 5)

Notes:

  • This unit catalogue is applicable for the 2025/26 academic year only. Students continuing their studies into 2026/27 and beyond should not assume that this unit will be available in future years in the format displayed here for 2025/26.
  • 好色tv and units are subject to change 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.
  • Find out more about these and other important University terms and conditions here.