《Discrete Mathematics by Example》

"Discrete Mathematics by Example" is designed for an undergraduate course and provides many exercises and examples, enabling the development of students' understanding of the principles of discrete mathematics through appropriate pedagogical methods. The text includes chapters on propositional and predicate logic; typed set theory; boolean algebra; relations; functions; sequences; induction and graph theory.