Theorem Proving with the Real Numbers
Engelstalig
Paperback
Nieuw vanaf 99,15
Koop Tweedehands
Niet tweedehands beschikbaar.
Koop NieuwWeb only
Centraal Magazijn
Adviesprijs
109,15
99,15
De 'adviesprijs' is de prijs die door de fabrikant of leverancier wordt aanbevolen. DeSlegte.com toont deze prijs enkel als referentiekader, zodat je het prijsverschil eenvoudig kunt vergelijken.
Levertijd: 6-9 werkdagen
Omschrijving
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.
Beste alternatieven
Specificaties
- Auteur:
-
Uitgever:
- ISBN:9781447115939
- Bindwijze:Paperback
- Aantal Pagina's:186
- Taal:Engelstalig
- Druk:1e
- Publicatiedatum:November 2011
-
Rubriek:
Meer van John Harrison
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.