Advanced Discrete Mathematics

Module code: MA2042

The objects of study in Discrete Mathematics are mathematical structures that are fundamentally discrete rather than continuous. These include integers, finite and countable sets, graphs, logical statements and systems, automata, finite state machines and Turing machines. While basic properties of integers and sets are a part of the first year syllabus, this module concentrates on more advanced topics, such as logic and propositional calculus, Boolean algebra, graphs and trees.