Discrete Mathematics

• Programme: BSc Applied Software Engineering
• Year: 1
• Module description: This module introduces students to mathematical tools and techniques for modelling computing systems.
• Syllabus: propositional logic, logical reasoning, requirements capture and analysis, sets, predicate logic, functions, relations.
• Extra resources: Discrete Math Cheatsheet
• Canvas Links: Autumn 2020