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...
Κύριος συγγραφέας: | 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. |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Sets, Models and Proofs
ανά: Moerdijk, Ieke, κ.ά.
Έκδοση: (2018) -
Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics /
ανά: Chatti, Saloua, κ.ά.
Έκδοση: (2019) -
Proof Technology in Mathematics Research and Teaching
Έκδοση: (2019) -
100 Mathematical proof /
ανά: Garnier, Rowan
Έκδοση: (1996) -
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Έκδοση: (2014)