| Titre : | Logique : fondements et applications | | Type de document : | texte imprimé | | Auteurs : | Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; François Schwarzentruber, Auteur | | Editeur : | Paris [France] : Dunod | | Année de publication : | 2022 | | Collection : | Sciences Sup | | Sous-collection : | licence 2/3, classes prépa, agrégation | | Importance : | 1 vol. (286 p.) | | Présentation : | ill. | | Format : | 24 cm. | | ISBN/ISSN/EAN : | 978-2-10-082158-7 | | Note générale : | Bibliogr. p. 275-280. Index | | Langues : | Français | | Catégories : | MATH:510 Generalites,dictionnaire,seminaire,proceeding
| | Mots-clés : | Logique mathématique | | 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. |
Logique : fondements et applications [texte imprimé] / Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; François Schwarzentruber, Auteur . - Paris (France) : Dunod, 2022 . - 1 vol. (286 p.) : ill. ; 24 cm.. - ( Sciences Sup. licence 2/3, classes prépa, agrégation) . ISBN : 978-2-10-082158-7 Bibliogr. p. 275-280. Index Langues : Français | Catégories : | MATH:510 Generalites,dictionnaire,seminaire,proceeding
| | Mots-clés : | Logique mathématique | | 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. |
|  |
