Propositional Logic: Deduction and Algorithms - Couverture rigide

Kleine Büning, Hans; Lettmann, Theodor

Couverture rigide

ISBN 10 : 0521630177 ISBN 13 : 9780521630177

Editeur : Cambridge University Press, 1999

Synopsis

Algorithmic approach to logic, with new and classical results, and applications to VLSI, databases etc.

A propos du livre

Présentation de l'éditeur

This account of propositional logic concentrates on the algorithmic translation of important methods, especially of decision procedures for (subclasses of) propositional logic. Important classical results and a series of new results taken from the fields of normal forms, satisfiability and deduction methods are arranged in a uniform and complete theoretic framework. The algorithms presented can be applied to VLSI design, deductive databases and other areas. After introducing the subject the authors discuss satisfiability problems and satisfiability algorithms with complexity considerations, the resolution calculus with different refinements, and special features and procedures for Horn formulas. Then, a selection of further calculi and some results on the complexity of proof procedures are presented. The last chapter is devoted to quantified boolean formulas. The algorithmic approach will make this book attractive to computer scientists and graduate students in areas such as automated reasoning, logic programming, complexity theory and pure and applied logic.

Détails de l'édition

• Éditeur: Cambridge University Press
• Date d'édition: 1999
• Langue: anglais
• ISBN 10: 0521630177
• ISBN 13: 9780521630177
• Reliure: Relié
• Nombre de pages: 420
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible