
Academic Year:  2015/6 
Owning Department/School:  Department of Computer Science 
Credits:  6 
Level:  Certificate (FHEQ level 4) 
Period: 
Semester 1 
Assessment Summary:  CW 25%, EX 75% 
Assessment Detail: 

Supplementary Assessment: 
CM10196 Mandatory Extra Work (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
