Computational Logic and Set Theory
Seiten
2007
|
2004. Corr. 2nd Printing ed.
Springer-Verlag New York Inc.
9780387407623 (ISBN)
Springer-Verlag New York Inc.
9780387407623 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Surveying computational logic and set theory and its application to proof verification techniques, this book presents the theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. It describes how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and maths.
An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advanced CS students and researches will find the book an essential presentation of the theoretical concepts of proof verification (i.e., proof checker) systems for large-scale software systems. Topics and features: *Describes in-depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics *Provides a verifier aimed at tackling large-scale proof scenarios *Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers
An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advanced CS students and researches will find the book an essential presentation of the theoretical concepts of proof verification (i.e., proof checker) systems for large-scale software systems. Topics and features: *Describes in-depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics *Provides a verifier aimed at tackling large-scale proof scenarios *Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers
* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysis
| Erscheint lt. Verlag | 1.4.2007 |
|---|---|
| Reihe/Serie | Texts in Computer Science |
| Zusatzinfo | 75 illus. |
| Verlagsort | New York, NY |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-13 | 9780387407623 / 9780387407623 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
