BIBLIOTHEQUE MISM
Détail de l'auteur
Auteur René David |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Les démonstrations mathématiques : cours complet avec 127 exercices résolus Type de document : texte imprimé Auteurs : René David, Auteur ; Pierre Hyvernat, Auteur ; Karim Nour, Auteur Editeur : Paris : Ellipses Année de publication : 2017 Collection : Références sciences Importance : 360 P Format : 24 X 19 CM ISBN/ISSN/EAN : 978-2-340-01666-8 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : mathématiques Index. décimale : L/510 Résumé : Ce livre présente le langage utilisé par les mathématiciens en commençant par la construction et la sémantique des énoncés. Les règles de raisonnement à la base de toutes les démonstrations sont ensuite exposées en détail. Nous détaillons également les éléments de français qui permettent d'exprimer les preuves mathématiques par des textes concis, variés et intelligibles. La seconde moitié de l'ouvrage insiste sur les difficultés de raisonnement et de langage exclusivement à travers d'exemples.
La plupart sont tirés du programme du lycée et de première année universitaire ; d'autres, ludiques et moins conventionnels, ne nécessitent pas de connaissance supplémentaire. Les nombreux exercices ne testent pas uniquement les compétences mathématiques mais surtout la compréhension des principes de démonstration. A notre connaissance, ce style d'exercice n'existe dans aucun autre ouvrage. Les corrections proposées ne contiennent pas simplement une démonstration possible mais sont souvent accompagnées de commentaires sur le raisonnement sous-jacent.
Ce livre ne traite pas de logique formelle mais se veut une référence pour un cours de mathématiques sur le raisonnement tel qu'il est pratiqué. L'enseignant y trouvera des exemples et des explications qu'il pourra facilement réutiliser. L'étudiant qui aura assimilé les principes présentés sera mieux armé pour s'attaquer à la compréhension de notions mathématiques plus complexesLes démonstrations mathématiques : cours complet avec 127 exercices résolus [texte imprimé] / René David, Auteur ; Pierre Hyvernat, Auteur ; Karim Nour, Auteur . - Paris : Ellipses, 2017 . - 360 P ; 24 X 19 CM. - (Références sciences) .
ISBN : 978-2-340-01666-8
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : mathématiques Index. décimale : L/510 Résumé : Ce livre présente le langage utilisé par les mathématiciens en commençant par la construction et la sémantique des énoncés. Les règles de raisonnement à la base de toutes les démonstrations sont ensuite exposées en détail. Nous détaillons également les éléments de français qui permettent d'exprimer les preuves mathématiques par des textes concis, variés et intelligibles. La seconde moitié de l'ouvrage insiste sur les difficultés de raisonnement et de langage exclusivement à travers d'exemples.
La plupart sont tirés du programme du lycée et de première année universitaire ; d'autres, ludiques et moins conventionnels, ne nécessitent pas de connaissance supplémentaire. Les nombreux exercices ne testent pas uniquement les compétences mathématiques mais surtout la compréhension des principes de démonstration. A notre connaissance, ce style d'exercice n'existe dans aucun autre ouvrage. Les corrections proposées ne contiennent pas simplement une démonstration possible mais sont souvent accompagnées de commentaires sur le raisonnement sous-jacent.
Ce livre ne traite pas de logique formelle mais se veut une référence pour un cours de mathématiques sur le raisonnement tel qu'il est pratiqué. L'enseignant y trouvera des exemples et des explications qu'il pourra facilement réutiliser. L'étudiant qui aura assimilé les principes présentés sera mieux armé pour s'attaquer à la compréhension de notions mathématiques plus complexesRéservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 19/315048 L/510.1135 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 19/315049 L/510.1135 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 19/315050 L/510.1135 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 19/315051 L/510.1135 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
Titre : Introduction à la logique : Théorie de La démonstation 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 : 2003 Collection : Sciences Sup Importance : 352p Format : 24x17 cm ISBN/ISSN/EAN : 978-2-10-006796-1 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Introduction A' la logique. Index. décimale : 510 Résumé : Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a démonstration. On y donne la réponse du mathématicien aux questions qu'est-ce qu'un énoncé ? une démonstration ? ou plus fondamentalement, qu'est-ce que les mathématiques ? , en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. II pourra également intéresser les candidats au CAPES et à l'agrégation. Introduction à la logique : Théorie de La démonstation Cours et exercices Corrigés [texte imprimé] / René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur . - Paris : Dunod, 2003 . - 352p ; 24x17 cm. - (Sciences Sup) .
ISBN : 978-2-10-006796-1
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Introduction A' la logique. Index. décimale : 510 Résumé : Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a démonstration. On y donne la réponse du mathématicien aux questions qu'est-ce qu'un énoncé ? une démonstration ? ou plus fondamentalement, qu'est-ce que les mathématiques ? , en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique. Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master. II pourra également intéresser les candidats au CAPES et à l'agrégation. Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité 05/92940 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 05/92941 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 05/92942 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 05/92943 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 13/204654 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 13/204655 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 13/204656 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 13/204657 L/510.682 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
