![Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés] / René David,... Karim Nour,... Christophe Raffalli,... | David, René (1948-....) - mathématicien. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/dwWSDdPvbbNoaxeE1WI1aw2/9782100067961/LARGE?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_LARGE.png "Plus d'infos sur 'Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés] / René David,... Karim Nour,... Christophe Raffalli,...'")
0 avis
Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés] / René David,... Karim Nour,... Christophe Raffalli,...
Livre
Edited by Dunod - 2004
La 4e de couverture indique : "Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. 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 du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres . Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs."
Autres documents dans la collection «Sciences sup»
Se procurer le document
Autre format
Issus de la même oeuvre
Suggestions
Du même auteur
Du même sujet
