Mathematical Logic for Computer Science 3rd ed. - M. Ben-Ari (Springer, 2012)

DETAIL

• Author : Mordechai Ben-ari
• Language : English
• Published : 2012
• Page : 364

 CONTENT

1. Introduction
2. Propositional Logic: Formulas, Models, Tableaux.
3. Propositional Logic: Deductive Systems
4. Propositional Logic: Resolution
5. Propositional Logic: Binary Decision Diagrams
6. Propositional Logic: SAT Solvers
7. First-Order Logic: Formulas, Models, Tableaux
8. First-Order Logic: Deductive Systems
9. First-Order Logic: Terms and Normal Forms
10. First-Order Logic: Resolution
11. First-Order Logic: Logic Programming
12. First-Order Logic: Undecidability and Model Theory
13. Temporal Logic: Formulas, Models, Tableaux
14. Temporal Logic: A Deductive System
15. Verification of Sequential Programs
16. Verification of Concurrent Programs

DOWNLOAD HERE