Introduction à la logique : théorie de la démonstration : cours et exercices corrigés

Enregistré dans:
书目详细资料
主要作者: David, René, 1948-
其他作者: Nour, Karim., Raffalli, Christophe, Maître de conférences.
格式: 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.

相似书籍