Logic for Information Technology
Seiten
1990
John Wiley & Sons Ltd (Verlag)
978-0-471-92933-8 (ISBN)
John Wiley & Sons Ltd (Verlag)
978-0-471-92933-8 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
An examination of mathematical logic and logic techniques designed to provide a grounding in the subject for students studying computer science. The theories of propositional calculus and first-order predicate calculus are presented, together with modal and temporal logic.
The value of logic techniques in circuit design has been well-known for many years, but a thorough grounding in mathematical logic is needed for all stages of software development, especially program specification, verification and program transformation. In all these stages, logic underpins the theory, bearing out the dictum that "Logic is the calculus of computer science". This book presents the subject of mathematical logic in order to provide a grounding for students in computer science. The approach utilized is to present the canonical logical theories - the propositional calculus and the first-order predicate calculus. There is a brief presentation of modal and temporal logic in the final chapter.
The value of logic techniques in circuit design has been well-known for many years, but a thorough grounding in mathematical logic is needed for all stages of software development, especially program specification, verification and program transformation. In all these stages, logic underpins the theory, bearing out the dictum that "Logic is the calculus of computer science". This book presents the subject of mathematical logic in order to provide a grounding for students in computer science. The approach utilized is to present the canonical logical theories - the propositional calculus and the first-order predicate calculus. There is a brief presentation of modal and temporal logic in the final chapter.
Fundamental logical concepts; the propositional calculus; proof systems for the propositional calculus; the predicate calculus; proof systems for the predicate calculus; first-order theories; modal and temporal logics.
| Erscheint lt. Verlag | 24.10.1990 |
|---|---|
| Vorwort | M.H. Rogers |
| Zusatzinfo | 57 line drawings, tables, index |
| Verlagsort | Chichester |
| Sprache | englisch |
| Maße | 43 x 68 mm |
| Gewicht | 500 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-471-92933-6 / 0471929336 |
| ISBN-13 | 978-0-471-92933-8 / 9780471929338 |
| 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
