Introduction to Discrete Mathematics via Logic and Proof

• Κύριος συγγραφέας: Jongsma, Calvin (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Undergraduate Texts in Mathematics,
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.