Computation relies on discrete structures and formal reasoning to describe, analyse and solve problems involving data, systems, algorithms and computational processes. This unit introduces foundational discrete mathematics for computer science, including set theory, functions and relations, propositional and predicate logic, introductory methods of proof, sequences and series, elementary number theory, counting and combinatorics, and discrete probability.
You will learn how these mathematical ideas are used to model computational objects and relationships, reason about program behaviour, analyse structured and recursive processes, count possibilities, and work with uncertainty. The unit emphasises practical mathematical reasoning and interpretation in computer science contexts, helping you build confidence with the formal language and problem-solving techniques used in later computing studies.
You will develop the ability to manipulate discrete structures, apply logical and proof techniques, reason with sequences and number patterns, apply counting and probability methods, and explain mathematical ideas clearly. The unit provides essential foundations for later study in algorithms, programming, artificial intelligence, cybersecurity, data science, software systems and theoretical computer science.