- Student Records
Programme & Unit Catalogues

CM10196: Discrete mathematics for computation

Follow this link for further information on academic years Academic Year: 2019/0
Further information on owning departmentsOwning Department/School: Department of Computer Science
Further information on credits Credits: 6      [equivalent to 12 CATS credits]
Further information on notional study hours Notional Study Hours: 120
Further information on unit levels Level: Certificate (FHEQ level 4)
Further information on teaching periods Period:
Semester 1
Further information on unit assessment Assessment Summary: CW 25%, EX 75%
Further information on unit assessment Assessment Detail:
  • Course Work (CW 25%)
  • Examination (EX 75%)
Further information on supplementary assessment Supplementary Assessment:
Like-for-like reassessment (where allowed by programme regulations)
Further information on requisites Requisites:
Further information on descriptions Description: Aims:
To introduce students to a mathematical basis to support computer science in general and other Computer Science units in particular.

Learning Outcomes:
On completion of the unit, the students will be able to:
1. Calculate and reason with sets, functions and relations using the language of set theory.
2. Write formal propositional and predicate calculus formulae to express mathematical assertions, reason formally, and recognise when formulae are correct.
3. Recognise rigorous mathematical proofs in ordinary mathematical language and write elementary proofs.
4. Recognise and reason about elementary number theory.

Application of Number (T/F,A), Problem Solving (T/F,A).

Propositional and predicate calculus (including basic logic).
Sets and Relations Mappings and functions (e.g., injections, surjections, bijections).
Elementary number theory (e.g. prime numbers, induction and modular arithmetic, rational numbers).
Further information on programme availabilityProgramme availability:

CM10196 is Compulsory on the following programmes:

Department of Computer Science
  • USCM-AFB06 : BSc(Hons) Computer Science (Year 1)
  • USCM-AAB07 : BSc(Hons) Computer Science with Study year abroad (Year 1)
  • USCM-AKB07 : BSc(Hons) Computer Science with Year long work placement (Year 1)
  • USCM-AFM01 : MComp(Hons) Computer Science (Year 1)
  • USCM-AAM02 : MComp(Hons) Computer Science with Study year abroad (Year 1)
  • USCM-AKM02 : MComp(Hons) Computer Science with Year long work placement (Year 1)