Logique fondements et applications
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é.. Lire la suite
Possibilité de commande
avec un délai de livraison
de 1 à 4 semaines
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.