Mathematical logic for computer science / by Mordechai Ben-Ari.
Material type: TextPublication details: New Delhi : Springer, 2008Edition: 2nd edDescription: xiv, 304 p. : ill. ; 24 cmISBN: 1852333197(pbk); 9781852333195(pbk)Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Mathematics | 511.3 BEN-M 2008 6113 (Browse shelf (Opens below)) | Available | 0006113 |
Browsing Namal Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
511.1 HUN-E 2010 8160 Essentials of discrete mathematics / | 511.1 HUN-E 2022 13692 Essentials of discrete mathematics / | 511.1 KRA-D 2009 13107 Discrete mathematics demystified / | 511.3 BEN-M 2008 6113 Mathematical logic for computer science / | 511.3 COP-S 2012 685 Symbolic logic / | 511.3 COP-S 2016 10910 Symbolic logic / | 511.3 COP-S 2016 10911 Symbolic logic / |
Includes bibliographical references (p. [293]-295) and indexes.
1. Introduction
2. Propostional Calculus: Formulas, Model, Tableaux
3. Propostional Calculus: Deductive System
4. Propositional Calculus : Resolution and BDDs
5. Predicate Calculus: Formulas, Model, Tebleaux
6. Predicate Calculus: Deductive Systems
7. Predicate Calculus: Resolution
8. Logic Programming
9. Programs: Semantics and Verification
10.Programs: Formulas Specification with Z
11. Temporal Logic: Formulas, Model, Tebleaux
12. Temporal Logic: Deduction and Applications
13. Set Theory
There are no comments on this title.