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
Éditeur : 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
Sur Deux Mémoires de d'Alembert
L'un concernant le Calcul des Probabilités, l'autre l'Inoculation
9,99 €
Homologie des espaces fibrés
Thèses présentées à la Faculté des sciences de l'Université de Paris pour obtenir le grade de Docteur ès sciences mathématiques
6,49 €
