This textbook emphasizes the value of reading and writing proofs as it introduces discrete mathematics. This method is appropriate for both a discrete mathematics course and can serve as a transition to proof because it starts by carefully creating a familiarity with mathematical logic and proof. Students can better understand mathematical methodology thanks to its unique, deductive perspective on the subject, which the author has successfully tried out in the classroom for many years.

The organization of the chapters makes it easy to see how they are connected even as their complexity increases. Before moving on to more advanced topics in discrete mathematics, mathematical logic and proofs are introduced first. Some of these subjects are:

Induction from mathematics and structure

The logic of sets Combinatorics

Ordered sets, relations, and functions

Boolean functions and Boolean algebra

With no formal prerequisites other than a background in secondary mathematics, intermediate undergraduates majoring in mathematics, computer science, engineering, and allied fields will benefit from Introduction to Discrete Mathematics via Logic and Proof.