University Of Zambia Online Public Access Catalogue
Mathematical logic for computer science / Mordechai Ben-Ari.
By: Ben-Ari, Mordechai.
Material type:
BookPublisher: London : Springer, 2012Edition: Third edition.Description: xv, 346 pages : illustrations ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9781447141280.Subject(s): Logic, Symbolic and mathematical | Logic, Symbolic and mathematical| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Book
|
Main Library On Shelf | QA 9 BEN 2012 (Browse shelf) | 1 | Available | 33729005591552 |
Browsing Main Library Shelves , Shelving location: On Shelf Close shelf browser
|
No cover image available |
|
|
|
|
|
||
| QA8.7 SMI 2006 Mathematics: | QA 8.7 SMI 2006 MATHEMATICS | QA 9 BAR 2005 The Infinite Book : | QA 9 BEN 2012 Mathematical logic for computer science / | QA 9.25 FON 2019 An invitation to applied category theory : | QA 9.25 TAM 2012 Thinking in numbers / | QA 9.25 TAM 2012 Thinking in numbers / |
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.
There are no comments for this item.