This module is inactive in the selected year. The information shown below is for the academic year that the module was last running in, prior to the year selected.
2014/15 Undergraduate Module Catalogue
COMP1740 Mathematics for Computing
20 creditsClass Size: 100
Module manager: Professor Kristina Vuskovic
Email: k.vuskovic@leeds.ac.uk
Taught: Semesters 1 & 2 (Sep to Jun) View Timetable
Year running 2014/15
This module is not approved as a discovery module
Objectives
On completion of this module, students should be able to: understand and be proficient in applying some of the mathematical concepts and techniques that are fundamental to computing, and in particular those that fall within the areas of logic, set theory, functions and relations, combinatorics, discrete probability and graph theory.Syllabus
Semester 1:
Propositional logic: propositions, connectives, truth tables, tautologies, contradictions; predicates, quantifiers; proof techniques (including mathematical induction). Set theory: sets, set operations, Venn diagrams, set equality, subsets, cardinality. Relations: relations on a set, inverse relations, equivalence relations, orders. Functions: domain and range, inverse functions, composition of functions, properties of functions. Number systems: decimal, binary and hexadecimal.
Semester 2:
Combinatorics: multiplication principle, addition principle, permutations with unlimited repetition, combinations with unlimited repetition. Discrete probability theory: experiment, sample space, event, finite probability space, probability of an event, equiprobable spaces, conditional probability, independent events. Graph theory: graph models, graph isomorphism, vertex degrees, paths and cycles, Euler's theorem (Euler cycles and paths), bipartite graphs, trees.
Teaching methods
| Delivery type | Number | Length hours | Student hours |
| Example Class | 20 | 1.00 | 20.00 |
| Class tests, exams and assessment | 1 | 2.00 | 2.00 |
| Class tests, exams and assessment | 1 | 3.00 | 3.00 |
| Lecture | 44 | 1.00 | 44.00 |
| Private study hours | 131.00 | ||
| Total Contact hours | 69.00 | ||
| Total hours (100hr per 10 credits) | 200.00 | ||
Private study
- Taught session preparation: 36 hours- Taught session follow-up: 36 hours
- Self-directed study: 14 hours
- Assessment activities: 45 hours.
Opportunities for Formative Feedback
Attendance and formative assessment.Methods of assessment
Coursework
| Assessment type | Notes | % of formal assessment |
| Problem Sheet | Maths | 5.00 |
| Problem Sheet | Maths | 5.00 |
| Problem Sheet | Maths | 2.50 |
| Problem Sheet | Maths | 2.50 |
| Problem Sheet | Maths | 2.50 |
| Problem Sheet | Maths | 2.50 |
| Total percentage (Assessment Coursework) | 20.00 | |
Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated
Exams
| Exam type | Exam duration | % of formal assessment |
| Standard exam (closed essays, MCQs etc) | 3 hr 00 mins | 80.00 |
| Standard exam (closed essays, MCQs etc) | 2 hr 00 mins | 0.00 |
| Total percentage (Assessment Exams) | 80.00 | |
Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated
Reading list
The reading list is available from the Library websiteLast updated: 06/05/2015
Browse Other Catalogues
- Undergraduate module catalogue
- Taught Postgraduate module catalogue
- Undergraduate programme catalogue
- Taught Postgraduate programme catalogue
Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD