University of Zambia Library

Your cart is empty.

University of Zambia Logo University Of Zambia Online Public Access Catalogue

Normal view MARC view ISBD view

Mathematical logic for computer science / Mordechai Ben-Ari.

By: Ben-Ari, Mordechai, 1948-.
Material type: materialTypeLabelBookPublisher: 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
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
1
2
3
4
5
     average rating: 0.0 (0 votes)