Articoli correlati a Propositional Logic: Deduction and Algorithms

Propositional Logic: Deduction and Algorithms - Rilegato

Kleine Büning, Hans; Lettmann, Theodor

 
9780521630177: Propositional Logic: Deduction and Algorithms
Rilegato
ISBN 10: 0521630177 ISBN 13: 9780521630177
Casa editrice: Cambridge University Press, 1999

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

This account concentrates on the algorithmic translation of important methods, especially of decision procedures for (subclasses of) propositional logic. The algorithms presented can be applied to VLSI design, deductive databases and other areas. The algorithmic approach will appeal to researchers and graduate students in computer science and logic.

Contenuti

1. Introduction to propositional logic; 2. Data structures and normal forms; 3. Satisfiability; 4. Resolution; 5. Horn logic; 6. Calculi; 7. Quantified formulas; Bibliography; List of symbols; List of algorithms; Index.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
1999
Lingua
Inglese
ISBN 10 
0521630177
ISBN 13 
9780521630177
Rilegatura
Copertina rigida
Numero di pagine
420
Contatto del produttore
non disponibile
Persona responsabile
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia