Logique : fondements et applications, Cours et exercices corrigés
EAN13
9782100821587
ISBN
978-2-10-082158-7
Éditeur
Dunod
Date de publication
Collection
Sciences Sup
Nombre de pages
288
Dimensions
24 x 17 cm
Langue
français
Fiches UNIMARC
S'identifier

Logique : fondements et applications

Cours et exercices corrigés

De , ,

Dunod

Sciences Sup

Offres

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.
S'identifier pour envoyer des commentaires.