Freunden von diesem Artikel berichten:
Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
John Harrison
Preis
Fr. 108,99
Bestellware
Lieferdatum: ca. 19. Dez - 2. Jan 2025
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
John Harrison
This book discusses the use of the real numbers in theorem proving. We de scribe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis.
186 pages, biography
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 20. November 2011 |
ISBN13 | 9781447115939 |
Verlag | Springer London Ltd |
Seitenanzahl | 186 |
Maße | 155 × 235 × 10 mm · 285 g |
Sprache | Englisch |
Alle anzeigen
Weitere Titel von John Harrison
Andere haben auch gekauft
Alle Titel von John Harrison ansehen ( u. a. Taschenbuch , Gebundenes Buch , Buch , LP und CD )