Discrete Mathematics

This module gives an introduction to several mathematical topics of foundational importance in the mathematical and computer sciences. Typically starting with propositional and first order logic, the module considers applications to methods of mathematical proof and reasoning. Further topics include basic set theory, number theory and applications to cryptography, relations, mathematical induction, and basic probability. Other topics may include graph theory, asymptotic analysis, and finite automata.