Unlike most textbooks that sanitize history, Nicodemi integrates the people and problems that gave birth to discrete mathematics. She discusses Euler’s solution to the Königsberg bridge problem not as a historical footnote, but as a case study in mathematical modeling. She talks about Boolean algebra through the lens of George Boole’s original logic, not just as a truth table shortcut for computer science majors. This narrative approach grounds abstract concepts in human curiosity.
The book contains one of the best slow introductions to proof writing available. She begins with propositional logic and truth tables, then moves to direct proof, proof by contradiction, and finally induction. Each proof is broken down into motive, plan, execution, and reflection. She includes "common pitfalls" boxes—small asides where she explicitly names the errors students make (e.g., "assuming what you are trying to prove," "misplacing parentheses in logical statements"). Discrete Mathematics by Olympia Nicodemi
The book starts at the very beginning: logic. It covers truth tables, logical equivalences, and the rules of inference. Crucially, it introduces various proof techniques (direct, contrapositive, contradiction, and induction) in a way that feels like a natural progression rather than a sudden jump. This narrative approach grounds abstract concepts in human