Informatique théorique
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Pascal Lafourcade, Stéphane Devismes, Michel Lévy - Collection Technosup
Résumé
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.
L'auteur - Pascal Lafourcade
Autres livres de Pascal Lafourcade
Sommaire
- Logique propositionnelle
- Logique propositionnelle
- Résolution propositionnelle
- Déduction Naturelle
- Logique du premier ordre
- Logique du premier ordre
- Base de la démonstration automatique
- Déduction naturelle au premier ordre : quantificateurs, copie et égalité
- Annexes
- Corrigés
- Bibliographie
- Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Ellipses |
| Auteur(s) | Pascal Lafourcade, Stéphane Devismes, Michel Lévy |
| Collection | Technosup |
| Parution | 28/02/2012 |
| Nb. de pages | 192 |
| Format | 18 x 26 |
| Couverture | Broché |
| Poids | 420g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782729872298 |
| ISBN13 | 978-2-7298-7229-8 |
Avantages Eyrolles.com
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
- Informatique
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
