Sinossi
A discussion of the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Introduction.- Symbolic Computation.- Verification.- Higher Order Logic.- Theorem Proving v Model Checking.- Automated vs Interactive Theorem Proving.- The Real Numbers.- Concluding Remarks.- Constructing the Real Numbers.- Properties of the Real Numbers.- Uniqueness of the Real Numbers.- Constructing the Real Numbers.- Positional Expansions.- Cantor's Method.- Dedekind's Method.- What Choice?- Lemmas about Nearly-Multiplicative Functions.- Details of the Construction.- Adding Negative Numbers.- Handling Equivalence Classes.- Formalized Analysis.- Explicit Calculations.- A Decision Procedure for Real Algebra.- Computer Algebra Systems.- Floating Point Verification.- Conclusions.- Logical Foundations of HOL.- Recent Developments.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Theorem Proving With the Real Numbers
Immagini fornite dal venditore
Theorem proving with the real numbers (IN ENGLISCHER SPRACHE), Distinguished dissertations,
Editore:
London ; Berlin ; Singapore ; Tokyo ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; Milan ; Paris ; Santa Clara : Springer, 1998
ISBN 10: 3540762566
ISBN 13: 9783540762560
Antico o usato
Rilegato
Da: Antiquariat Im Baldreit, Baden-Baden, Germania
Valutazione del venditore 5 su 5 stelle
8°, grüner OPp mit Rückentitel. XII, 186 Seiten: graph. Darst., Gutes Exemplar mit handschriftlichem Besitzvermerk Sprache: Englisch Gewicht in Gramm: 405. Codice articolo 66300
Compra usato
EUR 28,00
Spedizione EUR 45,10
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theorem Proving with the Real Numbers (Distinguished Dissertations)
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G3540762566I4N00
Compra usato
EUR 92,80
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theorem Proving With the Real Numbers (Distinguished Dissertations (Springer-Verlag))
Editore:
Springer-Verlag Telos, 1998
ISBN 10: 3540762566
ISBN 13: 9783540762560
Antico o usato
Rilegato
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA70435407625665
Compra usato
EUR 90,38
Spedizione EUR 28,86
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theorem Proving with the Real Numbers.
Da: CSG Onlinebuch GMBH, Darmstadt, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: Gut. Gebraucht - Gut Zustand: Gut, XII, 186 pp. About this book: The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and the British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. Theorem Proving with the Real Numbers discusses the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification. Written for Postgraduate students; final year undergraduates; researchers. Codice articolo 16643
Compra usato
EUR 29,71
Spedizione EUR 95,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili