Introduction to Discrete Mathematics via Logic and Proof

• Main Author: Jongsma, Calvin (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Undergraduate Texts in Mathematics,
• Subjects: Discrete mathematics.; Mathematical logic.; Discrete Mathematics.; Mathematical Logic and Foundations.

This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to...

Table of Contents:

• Preface
• List of Notations
• 1. Propositional Logic
• 2. First-Order Logic
• 3. Mathematical Induction and Arithmetic
• 4. Basic Set Theory and Combinatorics
• 5. Set Theory and Infinity
• 6. Functions and Equivalence Relations
• 7. Posets, Lattices, and Boolean Algebra
• 8. Topics in Graph Theory
• A. Inference Rules for PL and FOL
• Index.