An Introduction to the Language of Mathematics

• Κύριος συγγραφέας: Mynard, Frédéric (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Proof theory.; Structures and Proofs.

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of the formal language of logic and set theory and develops the basics with examples, exercises with s...

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

• Chapter 1- The language of logic and set-theory
• Chapter 2- On proofs and writing mathematics
• Chapter 3- Relations
• Chapter 4- Cardinality
• Appendix A- Complements
• Appendix B- Solutions to exercises in the text
• Index
• Bibliography.