Raisonnements et démonstrations en mathématiques

Il y a 584 résultats pour cette recherche.

2023 Vidéo de l'IREM de Paris - Le Maths Club. La méthode probabiliste : une introduction par les exemples.

Auteur : Mansuy Roger
1998 Actes du colloque, 23 et 24 janvier 1998. A propos du texte de démonstration tiré des exercices de géométrie de F. G.-M. p. 291-294.

Auteur : Hely Jean-Yves
1998 Actes du colloque, 23 et 24 janvier 1998 : Produire et lire des textes de démonstration.

Auteurs : Barbin Evelyne. Dir. ; Duval Raymond. Dir. ; Giorgiutti Italo. Dir. ; Houdebine Jean. Dir. ; Laborde Colette. Dir. ; IREM de Rennes. Ed.
1998 Actes du colloque, 23 et 24 janvier 1998. Une expérience menée auprès de professeurs de mathématiques sur les critères de rédaction d'une démonstration p. 285-289.

Auteur : Duvert Rémi
1998 Actes du colloque, 23 et 24 janvier 1998. Analyse de textes de démonstration dans des cadres théoriques différents. p. 259-284.

Auteurs : Barbin Evelyne ; Duval Alain ; Houdebine Jean ; Laborde Colette
1998 Actes du colloque, 23 et 24 janvier 1998. Narrations de recherche, points d'appui pour la démonstration. p. 239-257.

Auteurs : Combes Marie-Claire ; Bonafé Freddy
1998 Actes du colloque, 23 et 24 janvier 1998. Analyse de copies d'élèves. p. 231-237.

Auteur : Houdebine Jean
2025 Vidéo de l'IREM de Paris - Le Maths Club. Utiliser l'ordinateur pour faire des démonstrations mathématiques : une introduction aux assistants de preuve.

Auteur : Brasca Riccardo
1998 Actes du colloque, 23 et 24 janvier 1998. Analyse de productions d'élèves de 4ème. p. 209-230.

Auteurs : Bellard Nicole ; Lewillion Martine
1998 Actes du colloque, 23 et 24 janvier 1998. Difficultés d'élèves dans un problème de démonstration en géométrie. p. 191-207.

Auteur : Hattab Abrougui Hanène
1998 Actes du colloque, 23 et 24 janvier 1998. Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation. p. 189-190.

Auteur : Luengo Vanda
1998 Actes du colloque, 23 et 24 janvier 1998. Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel D.E.F.I p. 157-188.

Auteurs : El Gass Bahia ; Giorgiutti Italo
1998 Actes du colloque, 23 et 24 janvier 1998. Le logiciel Mentoniezh. p. 153-155.

Auteur : Py Dominique
1998 Actes du colloque, 23 et 24 janvier 1998. Premiers Pas : un outil d'apprentissage et de révélation d'erreurs. p. 147-151.

Auteur : Simon André
1998 Actes du colloque, 23 et 24 janvier 1998. Ecrire pour apprendre et apprendre à démontrer p. 123-145.

Auteur : Van Dieren Françoise
1998 Actes du colloque, 23 et 24 janvier 1998. A partir de quelques textes historiques. p. 101-121.

Auteur : Guichard Jean-Paul
1998 Actes du colloque, 23 et 24 janvier 1998. Des propositions d'enseignants p. 99-100.

Auteurs : Hilt Dominique ; Juhel Marie-Annick
1998 Actes du colloque, 23 et 24 janvier 1998. Ecriture et compréhension : pourquoi faire écrire des textes de démonstration par les élèves ? p. 79-98.

Auteur : Duval Raymond
1998 Actes du colloque, 23 et 24 janvier 1998. La démonstration dans les EIAO de la géométrie. p. 69-78.

Auteur : Py Dominique
1998 Actes du colloque, 23 et 24 janvier 1998. La démonstration : pulsation entre le discursif et le visuel. p. 39-67.

Auteur : Barbin Evelyne
1998 Actes du colloque, 23 et 24 janvier 1998. La diversité des textes de démonstration. p. 23-37.

Auteur : Houdebine Jean
1998 Actes du colloque, 23 et 24 janvier 1998. Une approche linguistique de textes de raisonnement p. 1-22.

Auteur : Beck Isabelle
2025 Tangente Hors-série. N° 96. p. 36-38. La démonstration inexistante en Chine ancienne ?

Auteur : Allegraud Serge
2025 Bibliothèque Tangente. N° 91. De l'intuition à la rigueur : le cas des fonctions. p. 118-120.

Auteur : Hauchecorne Bertrand