Module and Programme Catalogue

Search site

Find information on

This module is discontinued 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 typeNumberLength hoursStudent hours
Example Class201.0020.00
Class tests, exams and assessment12.002.00
Class tests, exams and assessment13.003.00
Lecture441.0044.00
Private study hours131.00
Total Contact hours69.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 typeNotes% of formal assessment
Problem SheetMaths5.00
Problem SheetMaths5.00
Problem SheetMaths2.50
Problem SheetMaths2.50
Problem SheetMaths2.50
Problem SheetMaths2.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 typeExam duration% of formal assessment
Standard exam (closed essays, MCQs etc)3 hr 00 mins80.00
Standard exam (closed essays, MCQs etc)2 hr 00 mins0.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 website

Last updated: 06/05/2015

Disclaimer

Browse Other Catalogues

Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD

© Copyright Leeds 2019