Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-863-268

Contact seller

Report this item

Bibliographic Details

Title: Propositional Logic: Deduction and Algorithms

Publisher: Cambridge University Press

Publication Date: 1999

Binding: Hardcover

Condition: Très bon

About this title

Synopsis:

Here is an excellent introduction to classical logic, emphasizing the computational aspects. It addresses the question of whether or not one logical statement follows from another by examining algorithms that test this question in practice. The book moves into issues of complexity and algorithmic analysis that have traditionally not been considered the realm of mathematical logic, but which are vital in areas such as automated reasoning, knowledge engineering, logic programming and AI. These application areas are reflected in the two central themes of the book: satisfiability and derivability. To make the book suitable for teaching and for self-study, the authors provide a systematic account of theoretical results, as well as an exposition of those appropriate algorithms that incorporate them. The algorithms are illustrated with examples drawn from automatic theorem proving.

Book Description:

This introduction to classical logic emphasises computational aspects. The authors treat issues of complexity and algorithmic analysis that have traditionally not been considered the realm of mathematical logic, but which are vital in areas such as automated reasoning, knowledge engineering, logic programming and AI.In order to make the book suited for teaching and for self-study, the book includes a systematic account of theoretical results, as well as an exposition of those appropriate algorithms which incorporate them.

"About this title" may belong to another edition of this title.

Store Description

English below. Ammareal est une librairie professionnelle spécialisée dans le livre d?occasion. Nous expédions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et académiques. Nous reversons jusqu?à 15% du prix de vente de chaque livre à des organisations caritatives, des bibliothèques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.

Visit Seller's Storefront

Seller's business information

SAS AMMAREAL
4 AV ARGAO, MORANGIS, 91420, France

Terms of Sale:

Shipping Terms:

Payment Methods
accepted by seller

Visa Mastercard American Express Apple Pay Google Pay

Add to Wants