University Of Zambia Online Public Access Catalogue
Ben-Ari, Mordechai 1948-
Mathematical logic for computer science / Mordechai Ben-Ari. - Third edition. - London : Springer, 2012 - xv, 346 pages : illustrations ; 24 cm
Includes bibliographical references and index.
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.
9781447141280
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
QA 9 / BEN 2012
Mathematical logic for computer science / Mordechai Ben-Ari. - Third edition. - London : Springer, 2012 - xv, 346 pages : illustrations ; 24 cm
Includes bibliographical references and index.
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.
9781447141280
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
QA 9 / BEN 2012