# Module 06-35324 (2020)

## Mathematical and Logical Foundations of Computer Science

## Level 1/C

Achim Jung Kashif Rajpoot Vincent Rahli | Semester 1 | 20 credits |

Co-ordinator: Vincent Rahli

Reviewer: Achim Jung

The Module Description is a strict subset of this Syllabus Page.

### Outline

Mathematical and logical reasoning underpins almost all of Computer Science, from linear algebra in graphics and machine learning, to algebra in cryptography and logic in verification. This module introduces essential topics in mathematics and logic including linear algebra; abstract algebra; set theory (a fundamental language of mathematics); and propositional and predicate logic. The key ideas will be illustrated with applications across a range of topics in computer science.

### Learning Outcomes

On successful completion of this module, the student should be able to:

- Solve mathematical problems in algebra and set theory
- Understand and apply algorithms for key problems in logic such as satisfiability.
- Write formal proofs for propositional and predicate logic
- Apply mathematical and logical techniques to solve a problem within a computer science setting

### Assessment

- Main Assessments: Continuous assessment (100%)
- Supplementary Assessments: Continuous assessment (100%) over the Summer period

### Programmes containing this module

- BSc Artificial Intelligence & Computer Science [0144]
- BSc Artificial Intelligence & Computer Science with an Industrial Year [9502]
- BSc Artificial Intelligence & Computer Science with Study Abroad [452B]
- BSc Computer Science [4436]
- BSc Computer Science with an Industrial Year [9499]
- BSc Computer Science with Digital Technology Partnership (PwC) [610C]
- BSc Computer Science with Digital Technology Partnership (Vodafone) [893C]
- BSc Computer Science with Study Abroad [5571]
- MEng Computer Science/Software Engineering [4754]
- MEng Computer Science/Software Engineering with an Industrial Year [9501]
- MSci Computer Science [4443]
- MSci Computer Science with an Industrial Year [9509]
- MSci Computer Science with Study Abroad [5576]