Theorem Proving with the Real Numbers - Distinguished Dissertations - John Harrison - Livres - Springer London Ltd - 9781447115939 - 20 novembre 2011
Si la couverture et le titre ne correspondent pas, le titre est correct.

Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

John Harrison

Prix
€ 123,99

Commandé depuis un entrepôt distant

Livraison prévue 16 - 25 déc.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 20 novembre 2011
ISBN13 9781447115939
Éditeurs Springer London Ltd
Pages 186
Dimensions 155 × 235 × 10 mm   ·   285 g
Langue et grammaire English  
Afficher tout

Plus par John Harrison

D'autres ont aussi acheté

Voir tous les John Harrison ( par ex. Paperback Book , Hardcover Book , Book , LP et CD )