Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués
שמור ב:
| Auteurs principaux: | , , |
|---|---|
| פורמט: | Livre papier |
| שפה: | Français |
| יצא לאור: |
Paris :
Ellipses
C 2012.
|
| סדרה: | Technosup : les filières technologiques des enseignements supérieurs
|
| נושאים: | |
| הערה: |
Avant-titre : "Informatique théorique" Niveau A (IUT, BTS, 1er cycle) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Informatique théorique :, logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre |