An Introduction to the Language of Mathematics
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...
| Main Author: | Mynard, Frédéric (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,
2018.
|
| Edition: | 1st ed. 2018. |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Sets, Models and Proofs
by: Moerdijk, Ieke, et al.
Published: (2018) -
Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics /
by: Chatti, Saloua, et al.
Published: (2019) -
Proof Technology in Mathematics Research and Teaching
Published: (2019) -
100 Mathematical proof /
by: Garnier, Rowan
Published: (1996) -
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Published: (2014)