Fortell venner om denne varen:
Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
John Harrison
Pris
NOK 1.289
Bestillingsvarer
Forventes levert 25. jun - 5. jul
Legg til iMusic ønskeliste
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
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 20. november 2011 |
ISBN13 | 9781447115939 |
Utgivere | Springer London Ltd |
Antall sider | 186 |
Mål | 155 × 235 × 10 mm · 285 g |
Språk | Engelsk |
Vis alle
Mer med John Harrison
Andre har også kjøpt
Se alt med John Harrison ( f.eks. Pocketbok , Innbunden bok , Bok , LP og CD )