Module manager: Dr Sam Wilson
Email: S.S.Wilson@leeds.ac.uk
Taught: Semester 1 (Sep to Jan) View Timetable
Year running 2023/24
This module is not approved as a discovery module
Computer Science, at its foundation, is a mathematical and engineering discipline. This module focuses on the mathematical concepts that are fundamental to the study of Computer Science. In order to fully understand the concepts of algorithms design, logical reasoning and programming it is necessary to understand how to apply mathematical arguments and how to apply mathematical knowledge to model real world problems. This module forms the vital core of the Computer Science curriculum and encourages students to view real world problems as mathematical problems and will prepare students for further mathematical study in Computer Science.
To develop an appreciation and familiarity of mathematical concepts and their application in computer science in addition to equipping students with the appropriate problem-solving techniques and transferable skills to tackle real world problems. To prepare students for further mathematical study in the discipline of Computer Science.
On successful completion of this module a student will have demonstrated the ability to:
- apply their mathematical knowledge to real world problems.
- identify appropriate mathematical tools to solve problems.
- construct mathematical arguments to prove theorems.
- deploy problem solving techniques to problems within the discipline.
This module covers the following 5 topic areas:
- Logic : propositions, connectives, truth tables, tautologies, contradictions, predicates and quantifiers.
- Proof techniques : direct proof, proof by contradiction, proof by contraposition and mathematical induction.
- Set theory : sets, set operations, Venn diagrams, set equality, subsets and cardinality.
- Relations & Functions : relations of sets, inverse functions, equivalence relations, order relations, domain and range, inverse functions, composition of functions and properties of functions.
- Vectors & Matrices : addition, multiplication, distributive and associativity, non-commutativity, identity matrix and inverse of square matrices.
| Delivery type | Number | Length hours | Student hours |
|---|---|---|---|
| Lecture | 22 | 1 | 22 |
| Tutorial | 10 | 1 | 10 |
| Private study hours | 68 | ||
| Total Contact hours | 32 | ||
| Total hours (100hr per 10 credits) | 100 | ||
Attendance and formative assessment
| Assessment type | Notes | % of formal assessment |
|---|---|---|
| In-course Assessment | Online Coursework 1 | 10 |
| In-course Assessment | Online Coursework 2 | 10 |
| Total percentage (Assessment Coursework) | 20 | |
Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated.
| Exam type | Exam duration | % of formal assessment |
|---|---|---|
| Open Book exam | 2.0 Hrs Mins | 80 |
| Total percentage (Assessment Exams) | 80 | |
Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated
The reading list is available from the Library website
Last updated: 9/26/2023
Errors, omissions, failed links etc should be notified to the Catalogue Team