Éditeur : DUNOD
ISBN papier: 9782100821587
Parution : 2022
Code produit : 1446253
Catégorisation :
Livres /
Science /
Mathématique /
Mathématiques
Format | Qté. disp. | Prix* | Commander |
---|---|---|---|
Livre papier | En rupture de stock** |
Prix membre : 38,90 $ Prix non-membre : 40,95 $ |
*Les prix sont en dollars canadien. Taxes et frais de livraison en sus.
**Ce produits est en rupture de stock mais sera expédié dès qu'ils sera disponible.
Les fondements de la logique vue en cours d'informatique et de mathématiques appliquées à l'informatique, avec de nombreux exercices corrigés et une ouverture sur des applications pratiques : logique et base de données, structures automatiques et jeux d'évaluation. Accessible gratuitement, l'outil en ligne Pravda donne accès à des exercices en logique formelle pour les systèmes de preuve.