Logic for Computer Science
Seiten
1990
Addison Wesley Publishing Company (Verlag)
9780201416435 (ISBN)
Addison Wesley Publishing Company (Verlag)
9780201416435 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.
* Introduction * Formalizing The Language * Extending the Language * Semantic Tableaux * Natural Deduction * Some Extended Examples * Logic Programming * Non-standard Logics * Further Study * Appendices
| Erscheint lt. Verlag | 31.5.1990 |
|---|---|
| Sprache | englisch |
| Maße | 175 x 233 mm |
| Gewicht | 463 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-13 | 9780201416435 / 9780201416435 |
| 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