Concepts and techniques of discrete mathematics required for further mathematical work, including propositional logic, quantifiers, deduction rules, mathematical induction, sets and set operations, functions, relations, partial and total orders, equivalence relations, partitions, elementary combinatorics, permutations, binomial coefficients, inclusion-exclusion, graphs, discrete probability, conditional probability, independence, expectation, variance, and standard deviation.