Mathematical Logic for Computer Science
Seiten
2001
|
Softcover reprint of the original 2nd ed. 2001
Springer London Ltd (Verlag)
978-1-85233-319-5 (ISBN)
Springer London Ltd (Verlag)
978-1-85233-319-5 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic.
This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.
This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.
Preface.- Introduction.- Propositional Calculus: Formulas, Models, Tableaux.- Propositional Calculus: Deductive Systems.- Propositional Calculus: Resolution and BDDs.- Predicate Calculus: Formulas, Models, Tableau.- Predicate Calculus: Deductive Systems.- Predicate Calculus: Resolution.- Logic Programming.- Programs: Semantics and Verification.- Programs: Formal Specification with Z.- Temporal Logic: Formulas, Models, Tableaux.- Temporal Logic: Deduction and Applications.- Appendix: Set Theory; Further Reading; Bibliography; Index of Symbols; Index.
| Erscheint lt. Verlag | 27.4.2001 |
|---|---|
| Zusatzinfo | 1, black & white illustrations |
| Verlagsort | England |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 1000 g |
| Einbandart | Paperback |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-85233-319-7 / 1852333197 |
| ISBN-13 | 978-1-85233-319-5 / 9781852333195 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €
