Proof Profiles
Characteristic Clause Sets and Proof Transformations
(Sprache: Englisch)
Mathematics is of fundamental importance for computer science. On the other hand, there are also many applications of computer science in mathematics, be it simulations, numerical calculations or computer algebra systems. Another interesting application of...
Leider schon ausverkauft
versandkostenfrei
Buch
Fr. 93.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Proof Profiles “
Klappentext zu „Proof Profiles “
Mathematics is of fundamental importance for computer science. On the other hand, there are also many applications of computer science in mathematics, be it simulations, numerical calculations or computer algebra systems. Another interesting application of this kind is the implementation of logical methods for investigating mathematical proofs. In recent years, large electronic libraries of formalized proofs have been developed. Several case studies have demonstrated that, using such systems, it is possible to formalize proofs which are large enough to be of current research interest in mathematics. This situation creates a high potential for automating existing methods for the analysis of proofs, which have previously been applied only manually. This book is an investigation of such a method, and in particular of the results it provides about the mathematical content and structure of formal proofs.
Autoren-Porträt von Stefan Hetzl
Stefan HetzlM.Sc. in Computer Science, PhD in Mathematical Logic, Vienna University of Technology
Bibliographische Angaben
- Autor: Stefan Hetzl
- 2008, 128 Seiten, Masse: 15 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller e.K.
- ISBN-10: 3836470071
- ISBN-13: 9783836470070
- Erscheinungsdatum: 22.11.2013
Sprache:
Englisch
Kommentar zu "Proof Profiles"
0 Gebrauchte Artikel zu „Proof Profiles“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Proof Profiles".
Kommentar verfassen