Documents disponibles écrits par cet auteur

Introduction à la logique / René David

Public ISBD 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.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
BC.03144/2	511.3 DAV	Ouvrage	Bibliothèque de la Faculté des Sciences Exactes et Informatique	Mathématique	Exclu du prêt
3144/1	04-11-008	Ouvrage	Bibliothèque Universitaire Centrale	Mathématique	Exclu du prêt