Nantilus
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 : | , , |
|---|---|
| Format : | Manuel |
| Langue : | français |
| Titre complet : | Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,... |
| Publié : |
Paris :
Ellipses
, C 2012 |
| Description matérielle : | 1 vol. (209 p.) |
| Collection : | Technosup Informatique les filières technologiques des enseignements supérieurs [dir. par Claude Chèze] Technosup (Paris) |
| Sujets : |
Chargement en cours