Name: Theorem Proving with the Real Numbers
Price: 1109.95 DKK
Availability: InStock
Author: John Harrison
ISBN: 9781447115939

Theorem Proving with the Real Numbers af John Harrison

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.109,95 kr.

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9781447115939

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
186

Udgivet:
20. November 2011

Udgave:
11998

Størrelse:
234x156x10 mm.

Vægt:
312 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. Oktober 2024

Normalpris

1.109,95 kr. + Fragt
~~1.109,95 kr.~~

Medlemspris

1.059,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om John Harrison

Vis alle bøger af John Harrison

Beskrivelse af 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.

Brugerbedømmelser af Theorem Proving with the Real Numbers

Andre købte også..

Find lignende bøger

Bogen Theorem Proving with the Real Numbers findes i følgende kategorier:

Business og læring > Computer og IT

Theorem Proving with the Real Numbers - John Harrison - Bog

Bag om John Harrison

Beskrivelse af Theorem Proving with the Real Numbers

Brugerbedømmelser af Theorem Proving with the Real Numbers

Gør som tusindvis af andre bogelskere