Logique : fondements et applications
Cours et exercices corrigés
Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber - Collection Sciences sup
288 pages, parution le 05/01/2022
Résumé
Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exercices corrigés permettent au lecteur de s'entrainer. Il propose enfin une ouverture sur des applications pratiques de la logique : logique et base de données, structures automatiques, et jeux d'évaluation.
L'outil en ligne Pravda, développé pour le livre par les auteurs et accessible gratuitement, fournit des exercices en logique formelle, plus précisément pour les systèmes de preuve.
L'outil en ligne Pravda, développé pour le livre par les auteurs et accessible gratuitement, fournit des exercices en logique formelle, plus précisément pour les systèmes de preuve.
L'auteur - Pierre Le Barbenchon
Autres livres de Pierre Le Barbenchon
L'auteur - François Schwarzentruber
Autres livres de François Schwarzentruber
Sommaire
Logique propositionnelle. Formules. Fragments syntaxiques (restriction, fragments, expressivité). Problème SAT. Problème VALIDE. Théorème de compacité et applications. Une autre sémantique : les jeux d'évaluation. Modélisation.
Logique du premier ordre. Termes. Formules. La résolution. Systèmes de preuve. Une autre sémantique : les jeux d'évaluation. Théories. Jeux d'EF. Automate et logique. Base de données et logique
Logique du premier ordre. Termes. Formules. La résolution. Systèmes de preuve. Une autre sémantique : les jeux d'évaluation. Théories. Jeux d'EF. Automate et logique. Base de données et logique
Voir tout
Replier
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Dunod | |
| Auteur(s) | Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber | |
| Collection | Sciences sup | |
| Parution | 05/01/2022 | 05/01/2022 |
| Nb. de pages | 288 | 288 |
| Format | 17 x 24 | - |
| Couverture | Broché | - |
| Poids | 498g | - |
| Intérieur | Noir et Blanc | - |
| Contenu | - |
PDF |
| EAN13 | 9782100821587 |
9782100839513 |
| ISBN13 | 978-2-10-082158-7 | - |
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
- Informatique Développement d'applications Techniques de programmation Logique
- Informatique Développement d'applications Algorithmique et informatique appliquée
- Sciences Mathématiques
- 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 Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
