Among the various textbooks dedicated to this subject, Discrete Mathematics by Olympia Nicodemi stands out. It is highly regarded for its clarity, structured approach, and accessibility.
Let’s address the elephant in the room: They are not the "Find the next three terms in the sequence" type. A typical Nicodemi exercise might read:
: Instead of just memorizing rules, students learn the "grammar" of mathematics—truth tables, DeMorgan's Law, and predicate calculus—to build airtight arguments.
The exercises are well-tiered. They range from routine drills designed to reinforce definitions to more complex problems requiring multi-step proofs. The text includes a healthy number of applied problems relevant to computer science, helping students see the utility of the abstract theory.