Mathematical Logic for Computer Science
Seiten
1992
Prentice-Hall (Verlag)
978-0-13-564139-2 (ISBN)
Prentice-Hall (Verlag)
978-0-13-564139-2 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Designed to provide a firm foundation in mathematical logic, this work aims to serve as an elementary textbook for both graduate study and for applications of logic, such as logic programming and format specification and verification.
Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.
Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.
Propositional calculus; predicate calculus; resolution and logic programming; temporal logic; formalization of programs.
| Erscheint lt. Verlag | 1.10.1992 |
|---|---|
| Zusatzinfo | Illustrations |
| Verlagsort | Harlow |
| Sprache | englisch |
| Maße | 172 x 235 mm |
| Gewicht | 490 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-13-564139-X / 013564139X |
| ISBN-13 | 978-0-13-564139-2 / 9780135641392 |
| Zustand | Neuware |
| 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 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
