Definition

  • DM is used to describe sets, opposed to continuous mathematics which describes the natural world

Course structure

  • L1 Propositional logic
    • Numbers
    • Divisibility
    • Propositions
    • Negation
    • Conjunction
    • Disjunction
    • Truth tables
  • L2-4 Proofs
  • L5-6 Set theory
  • L7-9 Relations and functions
  • L10-11 Combinatorics
  • L12 Revision