Â鶹´«Ã½

-


CM10196: Discrete mathematics for computation

Academic Year: 2018/9
Owning Department/School: Department of Computer Science
Credits: 6      [equivalent to 12 CATS credits]
Notional Study Hours: 120
Level: Certificate (FHEQ level 4)
Period:
Semester 1
Assessment Summary: CW 25%, EX 75%
Assessment Detail:
  • Course Work (CW 25%)
  • Examination (EX 75%)
Supplementary Assessment:
Like-for-like reassessment (where allowed by programme regulations)
Requisites:
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).
Programme 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-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)
  • 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)

Notes:

  • This unit catalogue is applicable for the 2018/19 academic year only. Students continuing their studies into 2019/20 and beyond should not assume that this unit will be available in future years in the format displayed here for 2018/19.
  • Programmes and units are subject to change 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.
  • Undergraduates: .
  • Postgraduates: .