Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari.
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but 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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London,
2001.
|
| Edition: | Second edition. |
| Subjects: |
Table of Contents:
- 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.