|
||||
|
Auteurs(s): |
Karim Nour, René David, Christophe Raffalli, Pierre-Louis Curien |
|||
|
Edition: |
2e Édition | |||
|
Editeur: |
Dunod | |||
|
Année: |
2004 | |||
|
Langue: |
Français | |||
|
Pages: |
364 | |||
|
Taille: |
2 MB | |||
|
Extension: |
DJVU | |||
Description: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 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.
Mots-Clés:Rene David, Theorie de la demonstration, exercies corriges de logique
