Titre :	Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés
Type de document :	texte imprimé
Auteurs :	René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur
Editeur :	Paris : Dunod
Année de publication :	2001
Collection :	Sciences sup
Sous-collection :	Mathématiques
Importance :	XII-332 p.
Format :	24 x 17 cm
ISBN/ISSN/EAN :	978-2-10-004892-2
Prix :	28.5 EUR
Note générale :	Bibliogr. Index
Langues :	Français (fre)
Mots-clés :	logique symbolique et mathématique  manuels d'enseignement supérieur
Index. décimale :	445 (Manuels de grammaire, de conjugaison et d'orthographe, Vocabulaire général)
Résumé :	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.

Introduction à la logique : théorie de la démonstration ; cours et exercices corrigés [texte imprimé] / René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur . - Paris : Dunod, 2001 . - XII-332 p. ; 24 x 17 cm. - (Sciences sup. Mathématiques) .
ISBN : 978-2-10-004892-2 : 28.5 EUR
Bibliogr. Index

Langues : Français (fre)

Mots-clés :	logique symbolique et mathématique  manuels d'enseignement supérieur
Index. décimale :	445 (Manuels de grammaire, de conjugaison et d'orthographe, Vocabulaire général)
Résumé :	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.