| Titre : | Logique : fondements et applications |
| Auteurs : | Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; Schwarzentruber, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Malakoff : Dunod, 2022 |
| ISBN/ISSN/EAN : | 978-2-10-082158-7 |
| Format : | 1 vol. (286 p.) / couv. ill. en coul. / 24 cm |
| Note générale : |
Bibliogr. Index.
|
| Langues: | Français |
| Index. décimale : | 511.3 (Logique mathématique ) |
| Catégories : | |
| Mots-clés: | Logique mathématique Manuels d'enseignement supérieur |
| 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. |
| Note de contenu : |
Sommaire: 1- Logique propositionnelle. 2- Fragments syntaxiques (restriction, fragments, expressivité). 3- Problème SAT. 4- Problème VALIDE. 5- Compacité. 6- Termes 7- Formules 8- Cardinalité des modèles 9- Problème VALIDE. 10- Systèmes de preuves 11- Théories du premier ordre 12- Théorie des modèles finis et jeux d'Ehrenfeucht-Fraisé 13- Automates et logique 14- Bases de données et logique 15- Calculabilité et complexité - Dictionnaire des synonymes - Bibliographie - Index. |
| Côte titre : |
S8/90154-90155 |
Exemplaires (2)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/90154 | Livre | Bibliothèque centrale | Disponible |
| S8/90155 | Livre | Bibliothèque centrale | Disponible |
Accueil
