CM32029: 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: | Honours (FHEQ level 6) |
| 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 CM52041
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.
|
| 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: |
CM32029 is Optional on the following courses:
Department of Computer Science
- USCM-AFB30 : BSc(Hons) Computer Science (Year 3)
- USCM-AAB07 : BSc(Hons) Computer Science with Study year abroad (Year 4)
- USCM-AKB07 : BSc(Hons) Computer Science with Year long work placement (Year 4)
- USCM-AFB31 : BSc(Hons) Computer Science and Artificial Intelligence (Year 3)
- USCM-AAB27 : BSc(Hons) Computer Science and Artificial Intelligence with Study year abroad (Year 4)
- USCM-AKB27 : BSc(Hons) Computer Science and Artificial Intelligence with Year long work placement (Year 4)
- USCM-AFB32 : BSc(Hons) Computer Science and Mathematics (Year 3)
- USCM-AAB20 : BSc(Hons) Computer Science and Mathematics with Study year abroad (Year 4)
- USCM-AKB20 : BSc(Hons) Computer Science and Mathematics with Year long work placement (Year 4)
- USCM-AFM30 : MComp(Hons) Computer Science (Year 3)
- USCM-AFM31 : MComp(Hons) Computer Science and Artificial Intelligence (Year 3)
- USCM-AKM31 : MComp(Hons) Computer Science and Artificial Intelligence with professional placement (Year 3)
- USCM-AKM31 : MComp(Hons) Computer Science and Artificial Intelligence with study abroad (Year 3)
- USCM-AFM32 : MComp(Hons) Computer Science and Mathematics (Year 3)
- USCM-AKM32 : MComp(Hons) Computer Science and Mathematics with professional placement (Year 3)
- USCM-AKM32 : MComp(Hons) Computer Science and Mathematics with study abroad (Year 3)
- USCM-AKM30 : MComp(Hons) Computer Science with professional placement (Year 3)
- USCM-AKM30 : MComp(Hons) Computer Science with study abroad (Year 3)
|
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.
|
