Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Theorem Proving with the Real Numbers

Ü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.

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



Ä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.