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
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | Livre papier |
| Jazyk: | Français |
| Vydáno: |
Paris :
Ellipses
C 2012.
|
| Edice: | Technosup : les filières technologiques des enseignements supérieurs
|
| Témata: | |
| Poznámka: |
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 |
| Shrnutí: | 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 |
|---|---|
| Popis jednotky: | Avant-titre : "Informatique théorique" Niveau A (IUT, BTS, 1er cycle) |
| Fyzický popis: | 1 volume (209 pages) : illustrations, tableaux, couverture illustrée ; 26 cm. |
| Bibliografie: | Bibliographie p. [205]. Index |
| ISBN: | 9782729872298 (br.) : |