Propositional logic, Deduction and algorithms
Hans Kleine Bning, Theodor Lettmann - Collection Cambridge Tracts in Theoretical Computer Science
420 pages, parution le 02/09/1999
Résumé
This is an introduction to classical logic that emphasizes
computational aspects. It addresses the question of whether
or not one logical statement follows from another by
examining algorithms that can test that question in
practice.The authors have provided a systematic account of
theoretical results, as well as an exposition of those
appropriate algorithms which incorporate them. The
algorithms are illustrated with examples drawn from
automatic theorem proving.
Summary of contents
- Introduction to propositional logic
- data structures and normal forms
- satisfiability
- resolution
- Horn logic
- calculi
- quantified
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Auteur(s) | Hans Kleine Bning, Theodor Lettmann |
| Collection | Cambridge Tracts in Theoretical Computer Science |
| Parution | 02/09/1999 |
| Nb. de pages | 420 |
| Format | 15,8 x 23,6 |
| EAN13 | 9780521630177 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
