Logic, Induction and Sets
Seiten
2003
Cambridge University Press (Verlag)
978-0-521-82621-1 (ISBN)
Cambridge University Press (Verlag)
978-0-521-82621-1 (ISBN)
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Difficult points are presented in an engaging fashion and furthered by the aid of many exercises. Little previous knowledge of logic is required, only a background of standard undergraduate mathematics is assumed.
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.
1. Definitions and notations; 2. Recursive datatypes; 3. Partially ordered sets; 4. Propositional calculus; 5. Predicate calculus; 6. Computable functions; 7. Ordinals; 8. Set theory; 9. Answers to selected questions.
| Erscheint lt. Verlag | 21.7.2003 |
|---|---|
| Reihe/Serie | London Mathematical Society Student Texts |
| Zusatzinfo | Worked examples or Exercises |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 158 x 238 mm |
| Gewicht | 449 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-521-82621-7 / 0521826217 |
| ISBN-13 | 978-0-521-82621-1 / 9780521826211 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
