Theorem Proving with the Real Numbers - Distinguished Dissertations - John Harrison - Bücher - Springer London Ltd - 9781447115939 - 20. November 2011
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

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