CM10311: Discrete mathematics and databases
[Page last updated: 04 August 2021]
Academic Year: | 2021/2 |
Owning Department/School: | Department of Computer Science |
Credits: | 6 [equivalent to 12 CATS credits] |
Notional Study Hours: | 120 |
Level: | Certificate (FHEQ level 4) |
Period: |
|
Assessment Summary: | EX75CW25 |
![]() |
|
Supplementary Assessment: |
|
Requisites: | |
Aims: | To introduce students to a mathematical basis to support computer science in general and other Computer Science units in particular.
To provide a systems-based understanding of data, data modelling, storage, access, retrieval and protection. |
Learning Outcomes: | 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 and reason about elementary number theory. 4. Recognise rigorous mathematical proofs in ordinary mathematical language and write elementary proofs. 5. Demonstrate understanding of the nature, capture, formal description and representation of data and its processing. 6. Be conversant with emerging database developments such as big data, data mining, and cloud-based data storage, and be able to critically review their professional, legal and ethical implications. |
Skills: | Use of IT (T/F, A), Problem Solving (T/F, A), Application of Number (T/F,A). |
Content: | Propositional and predicate calculus.
Sets, functions, and relations (e.g. injections, surjections, bijections, and relational composition). Elementary number theory (e.g. prime numbers, induction and modular arithmetic, rational numbers). Basic mathematical proofs using induction. Data modelling methodologies (e.g. UML and relational and non-relational models). Data management and exchange techniques (e.g. relational algebra, SQL, normalization, and XML) Datamining, big data and pattern discovery in large datasets. Cloud-based, distributed data storage and its professional, legal and ethical implications. |
Programme availability: |
CM10311 is Compulsory on the following programmes:Department of Computer Science
|
Notes:
|