MATE3020
This course covers Discrete Mathematics.
- logic
- axiom
- proposition
- lemma
- theorem
- corollary
- truth table
- conjuction
- dysjunction
- negation
- quantifier
- direct demonstration
- demonstration by contradiction
- counterexample
- demonstration by contraposition
- set
- relation
- intersection
- union
- exclusive or
- venn diagram
- inclusion-exclusion principle
- boolean algebra
- equivalence relation
- partial order
- relation matrix
- function
- injectivity
- surjectivity
- function composition
- inverse function
- bijectivity
- permutation
- countable set
- cardinality
- integer
- divisibility
- division algorithm
- base change
- least common multiple
- largest common divisor
- Euclid’s algorithm
- prime number
- Fermat’s little theorem
- integers modulo n
- induction
- recursion
- strong induction
- recurrence relation