
Logique pour l'informatique
Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot - Collection Références sciences
Résumé
Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le lecteur pourra s'assurer de sa bonne compréhension des notions techniques exposées grâce aux nombreux exercices corrigés qui les accompagnent.
Ce socle est ensuite développé selon trois axes : un approfondissement des notions de logique pour elles-mêmes (théorèmes de correction et de complétude, théorèmes d'indécidabilité) ; des exemples détaillés de l'informatisation de la logique, comme le problème de la satisfiabilité des formules propositionnelles et sa complexité (problème Sat) ou des algorithmes pour la recherche automatique de preuves (résolution, unification) ; enfin, une illustration de quelques applications informatiques directes de la logique : programmation logique, programmation par preuve, langages de requêtes des bases de données relationnelles, model checking.
Les auteurs se sont attachés à ce que, au-delà de l'exposé des éléments de base de la logique des prédicats (syntaxe, sémantique, preuves), l'ensemble du contenu de ce livre reste abordable aux étudiants de licence d'informatique sans prérequis. Ce livre pourra donc également intéresser tout étudiant en informatique (master, école d'ingénieurs, concours, etc.), voire tout informaticien en activité curieux de découvrir le bénéfice que l'on peut tirer de la logique pour l'informatique.
Extrait du livre : Logique pour l'informatique
L'auteur Mathieu Jaume
Autres livres de Mathieu Jaume
Caractéristiques techniques du livre "Logique pour l'informatique"
PAPIER | ||
Éditeur(s) | Ellipses | |
Auteur(s) | Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot | |
Collection | Références sciences | |
Parution | 03/11/2020 | |
Nb. de pages | 342 | |
Format | 19 x 24 | |
Couverture | Broché | |
Poids | 653g | |
Intérieur | Noir et Blanc | |
EAN13 | 9782340042612 |
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 de livres disponibles
Consultez aussi
- Tous les livres de la collection Références sciences de l'éditeur Ellipses
- Tous les livres de Mathieu Jaume
- Tous les livres de Matthieu Journault
- Tous les livres de Marie-Jeanne Lesot
- 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 Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques