Mathematical logic for computer science / by Mordechai Ben-Ari.

By: Ben-Ari, M, 1948-Material type: TextTextPublication 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.3
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Mathematics 		511.3 BEN-M 2008 6113 (Browse shelf (Opens below)) Available 0006113
Total holds: 0

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.

to post a comment.