Department of Computer Science, Unit Catalogue 2011/12 |
|
 Credits:
| 6 |
| Level:
| Honours (FHEQ level 6) |
| Period: |
Semester 2 |
| Assessment:
| CW 25%, EX 75% |
| Supplementary Assessment: | CM30226 Mandatory Extra Work (where allowed by programme regulations) |
| Requisites:
| Before taking this unit you must take CM10196 or equivalent. |
| Description:
| Aims: To develop a detailed understanding of a body of mathematical theory that is used in the formal conceptual analysis of programming languages. Learning Outcomes: By the end of the unit, successful students will be able to: 1. give the central definitions and theorems of one of the mathematical theories underlying the formal study of programming languages; 2. use a mathematical theory to give a formal description of computational phenomena; 3. evaluate a new mathematical theory that is proposed as providing formal support for computation. Skills: Problem Solving, Communication, Application of Number. Content: * Categories, functors, natural transformations, adjoint functors * Cartesian closed categories with natural numbers object * Interpretation of the simply-typed lambda calculus in a Cartesian closed category * Natural deduction for intuitionistic propositional logic * The Curry-Howard isomorphism, relating natural deduction to the lambda-calculus and hence to CCCs. |
| Programme availability: |
CM30226 is Optional on the following programmes:Department of Computer Science
|