Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Livre |
| Ngôn ngữ: | Français |
| Được phát hành: |
Paris :
Dunod,
2001.
|
| Loạt: | Sciences sup. Mathématiques
|
| Những chủ đề: | |
| Autres localisations: | Voir dans le Sudoc |
| Tóm tắt: | 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. |