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
Enregistré dans:
| 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 |
Orléans - BU Sciences Technologies STAPS
| 位置 | 索引號 | Type de prêt | 狀態 | |
|---|---|---|---|---|
| Informatique, rez-de-chaussée | 005.131 DEV | 可用 | ||
| Informatique, rez-de-chaussée | 005.131 DEV | 可用 |