Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Christophe Raffalli
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheLes démonstrations mathématiques / René David
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 ; Christophe Raffalli, Auteur ; Gilles Dowek, Préfacier, etc. Editeur : Paris [France] : Ellipses Année de publication : 2017 Collection : Références sciences Importance : 1 vol. (360 p.) Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-340-01666-8 Langues : Français Mots-clés : Théorie de la démonstration Raisonnement 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 complexes.Les démonstrations mathématiques : cours complet avec 127 exercices résolus [texte imprimé] / René David, Auteur ; Pierre Hyvernat, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Gilles Dowek, Préfacier, etc. . - Paris (France) : Ellipses, 2017 . - 1 vol. (360 p.) : ill. ; 24 cm.. - (Références sciences) .
ISBN : 978-2-340-01666-8
Langues : Français
Mots-clés : Théorie de la démonstration Raisonnement 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 complexes.Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 511.3-9/1 511.3-9/1 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-9/2 511.3-9/2 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-9/3 511.3-9/3 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-24-1 511.3-24-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-24-2 511.3-24-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-24-3 511.3-24-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-24-4 511.3-24-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible
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 ; Pierre-Louis Curien, Préfacier, etc. Editeur : Paris [France] : Dunod Année de publication : 2001 Collection : Sciences Sup Importance : 332 p Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-004892-2 Note générale : Sur la p. de couv. : "2e cycle" Langues : Français Catégories : MATH:510 Generalites,dictionnaire,seminaire,proceeding Mots-clés : Théorèmes Démonstration automatique Logique mathématique Résumé : Ce cours est une introduction à la logique mathématique et, en particulier, la théorie de la 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. Ce livre s'adresse aux étudiants de licence et de maîtrise. Il ne suppose aucun prérequis en logique. Il pourra aussi intéresser les étudiants qui préparent le Capes et l'Agrégation et veulent pouvoir répondre aux questions de fond de leurs futurs élèves. Le premier chapitre est conçu pour pouvoir être lu et travaillé avec profit par les étudiants de DEUG MIAS qui veulent apprendre à raisonner correctement. Il contient plus de 150 exercices corrigés de tous niveaux. Certains corrigés sont disponibles sur le site : http://www.lama.univ-savoie.fr/~RAFFALLI/dnr.html. 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 ; Pierre-Louis Curien, Préfacier, etc. . - Paris (France) : Dunod, 2001 . - 332 p : ill., couv. ill. en coul. ; 24 cm.. - (Sciences Sup) .
ISBN : 978-2-10-004892-2
Sur la p. de couv. : "2e cycle"
Langues : Français
Catégories : MATH:510 Generalites,dictionnaire,seminaire,proceeding Mots-clés : Théorèmes Démonstration automatique Logique mathématique Résumé : Ce cours est une introduction à la logique mathématique et, en particulier, la théorie de la 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. Ce livre s'adresse aux étudiants de licence et de maîtrise. Il ne suppose aucun prérequis en logique. Il pourra aussi intéresser les étudiants qui préparent le Capes et l'Agrégation et veulent pouvoir répondre aux questions de fond de leurs futurs élèves. Le premier chapitre est conçu pour pouvoir être lu et travaillé avec profit par les étudiants de DEUG MIAS qui veulent apprendre à raisonner correctement. Il contient plus de 150 exercices corrigés de tous niveaux. Certains corrigés sont disponibles sur le site : http://www.lama.univ-savoie.fr/~RAFFALLI/dnr.html. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 510.268-1 510.268-1 Livre interne BIBLIOTHEQUE CENTRALE Mathématique (bc) Disponible 511.3-26-1 511.3-26-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-26-2 511.3-26-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible
