CM12004: Discrete mathematics and databases
[Page last updated: 23 October 2023]
| Academic Year: | 2023/24 |
| Owning Department/School: | Department of Computer Science |
| Credits: | 10 [equivalent to 20 CATS credits] |
| Notional Study Hours: | 200 |
| Level: | Certificate (FHEQ level 4) |
| Period: |
- Semester 1
|
| Assessment Summary: | CWSI 25%, EXCB 75% |
| Assessment Detail: |
- Set exercises Individual (CWSI 25%)
- Closed-book written examination (EXCB 75%)
|
| Supplementary Assessment: |
- Like-for-like reassessment (where allowed by programme regulations)
|
| Requisites: |
|
| Learning Outcomes: |
At the end of this unit, you will be able to:
- calculate and reason with sets, functions and relations using the language of set theory,
- use formal predicate calculus to express assertions and reason formally,
- recognise rigorous mathematical proofs and write elementary proofs,
- work with low-complexity computational models such as logic circuits and finite state machines,
- write database queries in a formal language,
- explain the security and ethical, professional, and legal implications of data storage.
|
| Synopsis: | You will learn about various elementary structures for mathematical reasoning about computation, such as predicate logic, logic circuits, and simple automata. You will work with databases and queries as a direct practical application.
|
| Content: | Example topics include: Propositional and predicate calculus (including basic logic).
Sets, functions and relations (e.g., injections, surjections, bijections, equivalence relations, relations of order).
Basic computational models such as logic circuits, and finite state machines.
Relational models and relational algebra; database design; database queries and injection attacks; security, legal, ethical, and professional implications of data storage.
|
| Course availability: |
CM12004 is Compulsory on the following courses:
Department of Computer Science
- USCM-AFB30 : BSc(Hons) Computer Science (Year 1)
- USCM-AFB31 : BSc(Hons) Computer Science and Artificial Intelligence (Year 1)
- USCM-AKB31 : BSc(Hons) Computer Science and Artificial Intelligence with professional placement (Year 1)
- USCM-AKB31 : BSc(Hons) Computer Science and Artificial Intelligence with study abroad (Year 1)
- USCM-AKB30 : BSc(Hons) Computer Science with professional placement (Year 1)
- USCM-AKB30 : BSc(Hons) Computer Science with study abroad (Year 1)
- USCM-AFM30 : MComp(Hons) Computer Science (Year 1)
- USCM-AFM31 : MComp(Hons) Computer Science and Artificial Intelligence (Year 1)
- USCM-AKM31 : MComp(Hons) Computer Science and Artificial Intelligence with professional placement (Year 1)
- USCM-AKM31 : MComp(Hons) Computer Science and Artificial Intelligence with study abroad (Year 1)
- USCM-AKM30 : MComp(Hons) Computer Science with professional placement (Year 1)
- USCM-AKM30 : MComp(Hons) Computer Science with study abroad (Year 1)
|
Notes: - This unit catalogue is applicable for the 2023/24 academic year only. Students continuing their studies into 2024/25 and beyond should not assume that this unit will be available in future years in the format displayed here for 2023/24.
- Courses 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.
- Find out more about these and other important University terms and conditions here.
|
