Logique : fondements et applications
Cours et exercices corrigés
Sophie Pinchinat
François Schwarzentruber
Pierre Le Barbenchon
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.
Book details
-
Publisher
-
Original text
Yes -
Language
French -
Original language
French -
Publication date
-
Page count
288 -
Theme
-
Collection
About the author
Sophie Pinchinat
Professeure à l'université Rennes 1
François Schwarzentruber
Agrégé et maître de conférences à l'ENS Rennes
Pierre Le Barbenchon
Pierre Le Barbenchon, agrégé et doctorant en mathématiques à l'université de Rennes 1