| Titre : | Logique pour l'informatique/ Jaume, Mathieu; Journault, Matthieu; Lesot, Marie-Jeanne. |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ellipses, 2020 |
| ISBN/ISSN/EAN : | 978-2-340-04261-2 |
| Format : | 331 p. / tab., diagr., couv. en coul., / 24 cm. |
| Note générale : |
Bibliogr. 325p.-327p.
Index 329p.-331p. Annexe 253p.-324p. |
| Langues: | Français |
| Mots-clés: | Syntaxe des formules ; Preuves formelles ; Conséquence logique ; Programmation logique ; Sémantique |
| 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. Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabilité. Se tournant ensuite vers les rapports de la logique et de l'informatique, il présente les méthodes algorithmiques de démonstration automatique comme la résolution et l'unification ainsi que des applications plus directes des concepts logiques au domaine informatique (problème SAT, bases de données relationnelles, vérification de modèle, etc.) Sa lecture ne demande aucun prérequis en la matière et peut s'adresser à tout étudiant débutant en logique (licence ou master d'informatique, élève ingénieur). L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés. |
Exemplaires (5)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 415 | 511.3/08 | Livre | Bibliothèque Estin | Documentaires | Consultation sur place Exclu du prêt |
| 416 | 511.3/08.2 | Livre | Bibliothèque Estin | Documentaires | Disponible |
| 417 | 511.3/08.3 | Livre | Bibliothèque Estin | Documentaires | Disponible |
| 418 | 511.3/08.4 | Livre | Bibliothèque Estin | Documentaires | Disponible |
| 419 | 511.3/08.5 | Livre | Bibliothèque Estin | Documentaires | Disponible |
