GEOTRUST SSL CERTIFICATE
| Titre : | Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés |
| Auteurs : | René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Dunod, 2001 |
| Collection : | Sciences sup |
| Sous-collection : | Mathématiques |
| ISBN/ISSN/EAN : | 978-2-10-004892-2 |
| Format : | XII-332 p. / 24 x 17 cm |
| Note générale : |
Bibliogr. Index |
| Langues: | Français |
| Index. décimale : | 378.51 |
| Mots-clés: | logique symbolique et mathématique ; manuels d'enseignement supérieur |
| 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. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
