Vertel uw vrienden over dit artikel:
Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
John Harrison
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 20 november 2011 |
ISBN13 | 9781447115939 |
Uitgevers | Springer London Ltd |
Pagina's | 186 |
Afmetingen | 155 × 235 × 10 mm · 285 g |
Taal en grammatica | Engels |
Alles tonen
Meer door John Harrison
Anderen hebben ook gekocht
Bekijk alles van John Harrison ( bijv. Paperback Book , Hardcover Book , Book , LP en CD )