Table of Contents for: Mathematical Logic for Computer Science

 Staff view

You must be logged in to Tag Records

Mathematical Logic for Computer Science [electronic resource] /

by Mordechai Ben-Ari.

Book Cover
Author: Ben-Ari, Mordechai.
Published: London : Springer London : Imprint: Springer, 2012.
Edition: 3rd ed. 2012.
Topics: Computer science. | Logic, Symbolic and mathematical. | Computer Science. | Mathematical Logic and Formal Languages. | Mathematical Logic and Foundations.
Online Access: Link to Mathematical Logic for Computer Science (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Preface -- Introduction -- Propositional Logic: Formulas, Models, Tableaux -- Propositional Logic: Deductive Systems -- Propositional Logic: Resolution -- Propositional Logic: Binary Decision Diagrams -- Propositional Logic: SAT Solvers -- First-Order Logic: Formulas, Models, Tableaux -- First-Order Logic: Deductive Systems -- First-Order Logic: Terms and Normal Forms -- First-Order Logic: Resolution -- First-Order Logic: Logic Programming -- First-Order Logic: Undecidability and Model Theory -- Temporal Logic: Formulas, Models, Tableaux -- Temporal Logic: A Deductive System -- Verification of Sequential Programs -- Verification of Concurrent Programs -- Set Theory -- Index of Symbols -- Index of Names -- Subject Index.

Table of Contents for: Mathematical Logic for Computer Science