Logic and proof

Mathematical induction

Discrete math · STEM / applied

Undergraduate Discrete Math — scope drawn from LibreTexts Discrete Mathematics and typical US discrete mathematics syllabi (logic, sets, proofs, combinatorics, graphs).