Discrete Mathematics
MODULE CODE
CREDIT VALUE
Module Aims
Aim 1
The aims of the module are to develop the student’s understanding of logic and basic set theory and apply them to problems in discrete mathematics.
Module Content
Indicative syllabus content:
Set Theory: Operations, relations, partitions, functions, countable and uncountable.
Logic: Propositional logic, truth tables, predicates and quantifiers, inference, proof.
Boolean Algebra: Boolean Functions, representation, logic gates, circuits, Karnaugh Maps.
Graphs: Graph models, representation, connectivity, Euler and Hamilton paths, shortest path, planar graphs, colouring.
Trees: Types of tree applications, tree traversal, spanning trees, minimal spanning trees.
Counting: Pigeonhole principle, generalizations of permutations and combinations, inclusion and exclusion principle.
Number representation: Binary, octal, and hexadecimal number representation and conversions between different number representations.
Number theory: Divisibility, congruences, prime numbers, greatest common divisors.
Learning Outcomes
On successful completion of this module, a student will be able to:
Teaching Methods
The class contact will consist of teaching classes together with workshops. Teaching classes will introduce new material and provide examples. Workshops have no new material introduced. Students will attempt problems during the workshops. Key elements of the learning strategy are regular sessions during which problems are attempted. Throughout the week students will be given a list of problems to attempt. Every two weeks there will be a short test on the recent material covered.
The module will be assessed by short tests and a final examination. To assess and grade how well the students understand all of the topics covered in the module, given the benefit of all the feedback from the short tests, a final examination is used.
Assessment Methods
This module is assessed through test questions and an examination.