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
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Paris :
Ellipses
C 2012.
|
| Schriftenreihe: | Technosup : les filières technologiques des enseignements supérieurs
|
| Schlagworte: | |
| Anmerkung: |
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 |
| LEADER | 01956nam a22003737a 4500 | ||
|---|---|---|---|
| 001 | 423936 | ||
| 008 | 120312t20122012xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN159134692 | ||
| 020 | |a 9782729872298 (br.) : |c 24,40 EUR | ||
| 024 | |a 9782729872298 | ||
| 041 | 0 | |a fre |f fre | |
| 082 | |a 005.131 |z fre | ||
| 082 | |a 511.3 | ||
| 084 | |a F.4 | ||
| 100 | 1 | |a Devismes, Stéphane, |d 1979- | |
| 240 | 1 | 0 | |a Informatique théorique : |b logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre |
| 245 | 1 | 0 | |a Logique et démonstration automatique : |b introduction à la logique propositionnelle et à la logique du premier ordre |c Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,... |
| 260 | |a Paris : |b Ellipses. | ||
| 260 | |c C 2012. | ||
| 300 | |a 1 volume (209 pages) : |b illustrations, tableaux, couverture illustrée ; |c 26 cm. | ||
| 490 | 0 | |a Technosup : les filières technologiques des enseignements supérieurs | |
| 500 | |a Avant-titre : "Informatique théorique" | ||
| 500 | |a Niveau A (IUT, BTS, 1er cycle) | ||
| 504 | |a Bibliographie p. [205]. Index | ||
| 520 | |a 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 | ||
| 650 | |a Logique du premier ordre | ||
| 650 | |a Calcul des propositions | ||
| 650 | |a Boole, Algèbre de | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 700 | 1 | |a Lafourcade, Pascal, |d 1977- |4 aut | |
| 700 | 1 | |a Lévy, Michel, |d 19..-...., |c maître de conférences. |4 aut | |
| 997 | |0 423936 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 005.131 DEV |z Orléans, BU Sciences, Technologies, STAPS, 005.131 DEV | ||