Logique : fondements et applications
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.
Auteur
Caractéristiques
Editeur : Dunod
Publication : 5 janvier 2022
Intérieur : Noir & blanc
Support(s) : Livre numérique eBook [PDF]
Contenu(s) : PDF
Protection(s) : DRM (PDF)
Taille(s) : 2 Mo (PDF)
Langue(s) : Français
Code(s) CLIL : 3052
EAN13 Livre numérique eBook [PDF] : 9782100839513
EAN13 (papier) : 9782100821587
Vous aimerez aussi
Théorie et pratique du treuil
Treuils fixes et mobiles
9,99 €
Équations différentielles
Les Grands Articles d'Universalis
4,49 €
Introduction à l'étude des fonctions elliptiques
À l'usage des étudiants des facultés des sciences
4,99 €