|
![]() | 2018/9 |
![]() | Department of Computer Science |
![]() | 6 [equivalent to 12 CATS credits] |
![]() | 120 |
![]() | Certificate (FHEQ level 4) |
![]() |
|
![]() | CW 25%, EX 75% |
![]() |
|
![]() |
|
![]() | |
![]() | 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). |
![]() |
CM10196 is Compulsory on the following programmes:Department of Computer Science
|
Notes:
|