Bibliothèque du CREM
Résultat de la recherche
19 recherche sur le mot-clé 'Démonstration'
Affiner la recherche
Intuitionnisme et théorie de la démonstration / Jean LARGEAULT
Titre : Intuitionnisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl Type de document : texte imprimé Auteurs : Jean LARGEAULT, Auteur Editeur : Paris : J. Vrin Année de publication : 1992 Collection : Mathesis Importance : 1 vol. (566 p.) Format : 21 cm ISBN/ISSN/EAN : 978-2-7116-1059-4 Note générale : Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl réunis, traduits et présentés par Jean Largeault. Ouvrage traduit et publié avec le concours du Centre National des Lettres. - Bibliographie Langues : Français (fre) Mots-clés : Intuition Démonstration Index. décimale : 4.02 Sources historiques Typologie du document : Ouvrage de référence Intuitionnisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl [texte imprimé] / Jean LARGEAULT, Auteur . - Paris : J. Vrin, 1992 . - 1 vol. (566 p.) ; 21 cm. - (Mathesis) .
ISBN : 978-2-7116-1059-4
Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl réunis, traduits et présentés par Jean Largeault. Ouvrage traduit et publié avec le concours du Centre National des Lettres. - Bibliographie
Langues : Français (fre)
Mots-clés : Intuition Démonstration Index. décimale : 4.02 Sources historiques Typologie du document : Ouvrage de référence Exemplaires(1)
Code-barres Consultable Cote Localisation Section Support Disponibilité 02809 4.02 LAR Ouvrages théoriques & autres 4. Histoire des mathématiques. Épistémologie. Jeux. Etc. Livre Disponible Consultable sur place, même si en prêt Lire et écrire des textes mathématiques / IREM de Rennes
Titre : Lire et écrire des textes mathématiques : vers la rédaction des démonstrations Type de document : texte imprimé Auteurs : IREM de Rennes, Auteur Mention d'édition : 2e. éd Editeur : IREM de Rennes Année de publication : 1995 Importance : 1 vol. (101 p.) Format : 30 cm ISBN/ISSN/EAN : 978-2-85728-060-6 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Démonstration Lecture Index. décimale : 3.00-97 Généralités, didactique des mathématiques Typologie du document : Narration de recherche/Ouvrage de référence Lire et écrire des textes mathématiques : vers la rédaction des démonstrations [texte imprimé] / IREM de Rennes, Auteur . - 2e. éd . - IREM de Rennes, 1995 . - 1 vol. (101 p.) ; 30 cm.
ISBN : 978-2-85728-060-6
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Démonstration Lecture Index. décimale : 3.00-97 Généralités, didactique des mathématiques Typologie du document : Narration de recherche/Ouvrage de référence Exemplaires(1)
Code-barres Consultable Cote Localisation Section Support Disponibilité 02380 3.00-97 IRE Ouvrages théoriques & autres 3. Didactique Livre Disponible Consultable sur place, même si en prêt Mathématiques : approche par les textes historiques (M : A. T. H.), numéro spécial I. Mnémosyne : histoires de pyramides / IREM Université Paris VII Denis Diderot
Titre de série : Mathématiques : approche par les textes historiques (M : A. T. H.), numéro spécial I Titre : Mnémosyne : histoires de pyramides : les calculs de volumes de pyramides et leurs démonstrations Type de document : texte imprimé Auteurs : IREM Université Paris VII Denis Diderot, Auteur Editeur : IREM de l'université de Paris 7 Année de publication : 1993 Importance : 1 vol. (131 p.) Format : 30 cm ISBN/ISSN/EAN : 978-2-86612-093-1 Note générale : [Le groupe M:A.T.H. de l'IREM de Paris a créé la revue Mnémosyne et publie une série de reproductions de textes anciens]. - http://www.irem.univ-paris-diderot.fr/up/publications/IPS97109.pdf Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Pyramide Calcul Volume Démonstration Mathématiques égyptiennes Euclide Mathématiques chinoises Mathématiques médiévales Cavalieri Calcul différentiel Intégrale Nombre infinitésimal Problèmes de Hilbert Index. décimale : 4.02 Sources historiques Typologie du document : Ouvrage de référence Mathématiques : approche par les textes historiques (M : A. T. H.), numéro spécial I. Mnémosyne : histoires de pyramides : les calculs de volumes de pyramides et leurs démonstrations [texte imprimé] / IREM Université Paris VII Denis Diderot, Auteur . - IREM de l'université de Paris 7, 1993 . - 1 vol. (131 p.) ; 30 cm.
ISBN : 978-2-86612-093-1
[Le groupe M:A.T.H. de l'IREM de Paris a créé la revue Mnémosyne et publie une série de reproductions de textes anciens]. - http://www.irem.univ-paris-diderot.fr/up/publications/IPS97109.pdf
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Pyramide Calcul Volume Démonstration Mathématiques égyptiennes Euclide Mathématiques chinoises Mathématiques médiévales Cavalieri Calcul différentiel Intégrale Nombre infinitésimal Problèmes de Hilbert Index. décimale : 4.02 Sources historiques Typologie du document : Ouvrage de référence Exemplaires(1)
Code-barres Consultable Cote Localisation Section Support Disponibilité 02875 4.02 IRE Ouvrages théoriques & autres 4. Histoire des mathématiques. Épistémologie. Jeux. Etc. Livre Disponible Consultable sur place, même si en prêt Mathématiques et Philosophie : la démonstration / Michel CRUBELLIER
Titre : Mathématiques et Philosophie : la démonstration Type de document : texte imprimé Auteurs : Michel CRUBELLIER, Auteur ; Joëlle DELATTRE, Auteur ; Marc PARMENTIER, Auteur Editeur : Villeneuve D'ascq : IREM de Lille Importance : 1 vol. (93 p.) Format : 23 cm ISBN/ISSN/EAN : 978-2-912126-02-3 Langues : Français (fre) Mots-clés : Philosophie Démonstration Formalisme Arithmétique Index. décimale : 4.01 Épistémologie. Fondements. Philosophie Mathématiques et Philosophie : la démonstration [texte imprimé] / Michel CRUBELLIER, Auteur ; Joëlle DELATTRE, Auteur ; Marc PARMENTIER, Auteur . - Villeneuve D'ascq : IREM de Lille, [s.d.] . - 1 vol. (93 p.) ; 23 cm.
ISBN : 978-2-912126-02-3
Langues : Français (fre)
Mots-clés : Philosophie Démonstration Formalisme Arithmétique Index. décimale : 4.01 Épistémologie. Fondements. Philosophie Exemplaires(1)
Code-barres Consultable Cote Localisation Section Support Disponibilité 02628 4.01 CRU Ouvrages théoriques & autres 4. Histoire des mathématiques. Épistémologie. Jeux. Etc. Livre Disponible Consultable sur place, même si en prêt Produire et lire des textes de démonstration / Évelyne BARBIN
Titre : Produire et lire des textes de démonstration Type de document : texte imprimé Auteurs : Évelyne BARBIN, Directeur de publication ; Raymond DUVAL, Directeur de publication ; Italo GIORGIUTTI, Directeur de publication ; Jean HOUDEBINE, Directeur de publication ; Colette LABORDE, Directeur de publication ; Nicole BELLARD, Auteur ; Martine LEWILLION, Auteur ; Isabelle BECK, Auteur ; Jean-Paul GUICHARD, Auteur ; Marie-Claire COMBES, Auteur ; Freddy BONAFÉ, Auteur ; Françoise VAN-DIEREN-THOMAS, Auteur ; Dominique PY, Auteur ; Vanda LUENDO, Auteur ; André SIMON, Auteur ; Bahia EL GASS, Auteur Editeur : Ellipses Année de publication : 2001 Collection : Mathématiques Importance : 1 vol. (266 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-0675-0 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Démonstration Didactique Index. décimale : 3.00-97 Généralités, didactique des mathématiques Note de contenu : Analyse de textes de démonstration dans des cadres théoriques différents/BARBIN, Évelyne, DUVAL, Raymond, HOUBEDINE, Jean, LABORDE, Colettre. La démonstration : pulsation entre le discursif et le visuel/BARBIN, Évelyne. À partir de quelques textes historiques/GUICHARD, Jean-Paul. Une approche linguistique de textes de raisonnement/BECK, Isabelle. La diversité des textes de démonstration/HOUBEDINE, Jean. Schémas pour la compréhension des théorèmes en classe de 4ème/BELLARD, Nicole, LEWILLION, Martine. Narrations de recherche, point d'appui pour la démonstration/COMBES, Marie-Claire, BONAFÉ, Freddy. Rédiger la synthèse d'une activité, apprendre à démontrer/THOMAS-VAN DIEREN, Françoise. Écriture et compréhension : pourquoi faire écrire des textes de démonstration par les élèves ?/DUVAL, Raymond. Analyse de copies d'élèves/HOUBEDINE, Jean. La démonstration dans les EIAO de géométrie/PY, Dominique. Aider auraisonnement déductif sans imposer un modèle : le micromonde Cabri-Euclide/LUENGO, Vanda. Premier pas : un outil d'apprentissage et de révélation d'erreurs/SIMON, André. Le logiciel Mentoniezh/PY, Dominique. Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel DEFI/EL GASS, Bahia, GIORGUTTI, Italo Typologie du document : Ouvrage de référence/Recueil d'articles Produire et lire des textes de démonstration [texte imprimé] / Évelyne BARBIN, Directeur de publication ; Raymond DUVAL, Directeur de publication ; Italo GIORGIUTTI, Directeur de publication ; Jean HOUDEBINE, Directeur de publication ; Colette LABORDE, Directeur de publication ; Nicole BELLARD, Auteur ; Martine LEWILLION, Auteur ; Isabelle BECK, Auteur ; Jean-Paul GUICHARD, Auteur ; Marie-Claire COMBES, Auteur ; Freddy BONAFÉ, Auteur ; Françoise VAN-DIEREN-THOMAS, Auteur ; Dominique PY, Auteur ; Vanda LUENDO, Auteur ; André SIMON, Auteur ; Bahia EL GASS, Auteur . - Ellipses, 2001 . - 1 vol. (266 p.) ; 24 cm. - (Mathématiques) .
ISBN : 978-2-7298-0675-0
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Démonstration Didactique Index. décimale : 3.00-97 Généralités, didactique des mathématiques Note de contenu : Analyse de textes de démonstration dans des cadres théoriques différents/BARBIN, Évelyne, DUVAL, Raymond, HOUBEDINE, Jean, LABORDE, Colettre. La démonstration : pulsation entre le discursif et le visuel/BARBIN, Évelyne. À partir de quelques textes historiques/GUICHARD, Jean-Paul. Une approche linguistique de textes de raisonnement/BECK, Isabelle. La diversité des textes de démonstration/HOUBEDINE, Jean. Schémas pour la compréhension des théorèmes en classe de 4ème/BELLARD, Nicole, LEWILLION, Martine. Narrations de recherche, point d'appui pour la démonstration/COMBES, Marie-Claire, BONAFÉ, Freddy. Rédiger la synthèse d'une activité, apprendre à démontrer/THOMAS-VAN DIEREN, Françoise. Écriture et compréhension : pourquoi faire écrire des textes de démonstration par les élèves ?/DUVAL, Raymond. Analyse de copies d'élèves/HOUBEDINE, Jean. La démonstration dans les EIAO de géométrie/PY, Dominique. Aider auraisonnement déductif sans imposer un modèle : le micromonde Cabri-Euclide/LUENGO, Vanda. Premier pas : un outil d'apprentissage et de révélation d'erreurs/SIMON, André. Le logiciel Mentoniezh/PY, Dominique. Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel DEFI/EL GASS, Bahia, GIORGUTTI, Italo Typologie du document : Ouvrage de référence/Recueil d'articles Exemplaires(1)
Code-barres Consultable Cote Localisation Section Support Disponibilité 00291 3.00-97 BAR Ouvrages théoriques & autres 3. Didactique Livre Disponible Consultable sur place, même si en prêt Fragments d'histoire des mathématiques : II / APMEP
PermalinkApprendre à démontrer : fascicule 1 / Martine CNUDDE
PermalinkApprendre à démontrer : fascicule 2 / Martine CNUDDE
PermalinkApprendre à démontrer : fascicule 4 / Martine CNUDDE
PermalinkApprendre à démontrer : livret de base / Martine CNUDDE
PermalinkAutour du théorème de Thalès / Rudolf BKOUCHE
PermalinkÉpistémologie. Logique mathématique / Stephen C. KLEENE
PermalinkGeometry Civilized / John Lewis HEILBRON
PermalinkHistoire et enseignement des mathématiques / Évelyne BARBIN
PermalinkIntuition et intuitionisme / Jean LARGEAULT
PermalinkLa mystification mathématique / A. BOUVIER
PermalinkPeut-on enseigner les mathématiques? / A. BOUVIER
PermalinkQuelques aspects méthodologiques de l'étude des entiers / Viviane JAUMOTTE
PermalinkThe Curry-Howard Isomorphism / Ph. de GROOTE
Permalink