- EAN13
- 9782100839513
- Éditeur
- Dunod
- Date de publication
- 05/01/2022
- Langue
- français
- Fiches UNIMARC
- S'identifier
Logique : fondements et applications
Cours et exercices corrigés
François Schwarzentruber, Sophie Pinchinat, Pierre Le Barbenchon
Dunod
Livre numérique
-
Aide EAN13 : 9782100839513
-
Fichier PDF, avec DRM Adobe
- Impression
-
288 pages
- Copier/Coller
-
57 pages
- Partage
-
6 appareils
17.99 -
Fichier PDF, avec DRM Adobe
Autre version disponible
-
Papier - Dunod 26,00
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.
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.