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
Enregistré dans:
| 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 : |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Rez-de-chaussée, salle 2 | 005.131 DEV | Empruntable | Disponible |
| Rez-de-chaussée, salle 2 | 005.131 DEV | Empruntable | Disponible |
| Rez-de-chaussée, salle 2 | 005.131 DEV | Empruntable | Disponible |
Bib. IUT de Nantes - Carquefou
| | Cote | Prêt | Statut |
|---|---|---|---|
| Site Carquefou | 005.1 DEV | Prêt sans prolongation | Disponible |