Description
Aims:
The module aims to equip first year computer science students with knowledge of foundational mathematics and logic that will be needed for future computer science modules. To provide students with basic tools and skills for mathematical problem solving, proof and refutation.
Intended learning outcomes:
On successful completion of the module, a student will be able to:
- Analyse and solve typical problems in discrete mathematics and logic.
- Identify and reason with the logical content of arguments.
- Carry out standard mathematical proofs and refutations.
Indicative content:
The following is indicative of the topics the module will typically cover:
The first part of the module will focus on foundational discrete mathematics, including but not necessarily limited to: functions and relations, permutations, group theory, set theory, cardinalities, diagonalisation, linear algebra and combinatorics. The module continues with mathematical reasoning, logical notation and proof by mathematical induction.
Requisites:
To be eligible to select this module as an optional or elective, a student must: (1) be registered on a programme and year of study for which it is a formally available; and (2) have passed A-level Mathematics (or an appropriate equivalent).
Module deliveries for 2024/25 academic year
Last updated
This module description was last updated on 19th August 2024.
Ìý