Résumé
A concise introduction to formal logic that requires little
previous mathematical knowledge. Essence of Logic is
a gentle introduction to logic for undergraduate computing
students. Beginning with Truth Tables, the reader is
introduced to the concepts of Boolean Algebra, logical
propositions and truth values. Propositional Logic is
explored through using Semantic Tableaux, Natural Deduction
and the Sequent Calculus. More formal axiomatic systems are
examined and illustrated, and important theorems about
these systems are presented. Properties of soundness,
completeness and consistency are explained in terms of
Propositional Systems; then concepts of resolution are
introduced, with an eye towards their use in programming.
The book then turns to First Order Predicate Logic, its
theoretical underpinnings and uses. For undergraduate
computer science and logic courses.
- Prepares the reader for analysis and application of
logic techniques in computing.
- Covers a wide range of topics, including truth tables,
semantic tableaux, natural deduction; axiomatic,
propositional, modal and predicate logic.
- Includes historical sketches that help the student appreciate logic as a living human enterprise.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Prentice Hall |
| Auteur(s) | John Kelly |
| Parution | 15/01/1997 |
| Nb. de pages | 258 |
| Format | 15,5 xc 23,5 |
| Poids | 400g |
| EAN13 | 9780133963755 |
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
