Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
保存先:
第一著者: | |
---|---|
その他の著者: | , |
フォーマット: | Livre |
言語: | Français |
出版事項: |
Paris :
Dunod,
2001.
|
シリーズ: | Sciences sup. Mathématiques
|
主題: | |
Autres localisations: | Voir dans le Sudoc |
要約: | 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. |
BU Sciences
配架場所 | 請求記号 | 状態 | |
---|---|---|---|
|
Libre accès | 511.3 DAV |
Emprunté
返却日: 23/04/2025 返却請求する |