Introduction à la logique
Type doc. :
Livre
Langue :
Français
Edition :
2éme ed.
Editeur(s) :
Année d'édition :
2004
ISBN :
9782100806324
Afficher le Résumé
Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet. Une annexe présente un assistant de démonstration, le logiciel PhoX.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 510 DAV C1 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DAV C2 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DAV C3 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DAV C4 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DAV C5 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DAV C6 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 510 DAV C7 | BIB-Centrale / Ouvrages | Papier | externe | disponible |
David, R. et al. (2004). Introduction à la logique (2éme ed.) . Dunod;