Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers

von John Harrison

enthalten in Distinguished Dissertations-Reihe

Theorem Proving with the Real Numbers von John Harrison Sie sparen 18% des UVP sparen 18%
Über Theorem Proving with the Real Numbers

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781447115939
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 186
  • Veröffentlicht:
  • 20 November 2011
  • Ausgabe:
  • 11998
  • Abmessungen:
  • 234x156x10 mm.
  • Gewicht:
  • 312 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über John Harrison

Alle Bücher von John Harrison anzeigen

Beschreibung von Theorem Proving with the Real Numbers

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.

Kund*innenbewertungen von Theorem Proving with the Real Numbers



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Theorem Proving with the Real Numbers ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.