- Student Records
Programme & Unit Catalogues


CM10196: Discrete mathematics for computation

Follow this link for further information on academic years Academic Year: 2015/6
Further information on owning departmentsOwning Department/School: Department of Computer Science
Further information on credits Credits: 6
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: CM10196 Mandatory Extra Work (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.

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

Content:
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)
  • USCM-AFB09 : BSc(Hons) Computer Science with Business (Year 1)
  • USCM-AAB10 : BSc(Hons) Computer Science with Business with Study year abroad (Year 1)
  • USCM-AKB10 : BSc(Hons) Computer Science with Business with Year long work placement (Year 1)

Notes:
* This unit catalogue is applicable for the 2015/16 academic year only. Students continuing their studies into 2016/17 and beyond should not assume that this unit will be available in future years in the format displayed here for 2015/16.
* Programmes and units are subject to change at any time, in accordance with normal University procedures.
* Availability of units will be subject to constraints such as staff availability, minimum and maximum group sizes, and timetabling factors as well as a student's ability to meet any pre-requisite rules.