La démonstration, le piège de la 4e / Brigitte Perucca in Le Monde de l'éducation, 307 (octobre 2002)

Public ISBD [article]  inLe Monde de l'éducation > 307 (octobre 2002) Titre : La démonstration, le piège de la 4e Type de document : texte imprimé Auteurs : Brigitte Perucca, Auteur Année : 2002 Article : p. 33-34 Descripteurs : démonstration mathématique enseignement France mathématiques : discipline Résumé : La place de la démonstration dans l'enseignement des mathématiques en France, en 2002 : à quel niveau d'apprentissage elle intervient, la difficulté à l'enseigner, la formation des enseignants du primaire et du secondaire. Nature du document : documentaire [article] La démonstration, le piège de la 4e [texte imprimé] / Brigitte Perucca, Auteur . - 2002 . - p. 33-34. in Le Monde de l'éducation > 307 (octobre 2002) Descripteurs : démonstration mathématique enseignement France mathématiques : discipline Résumé : La place de la démonstration dans l'enseignement des mathématiques en France, en 2002 : à quel niveau d'apprentissage elle intervient, la difficulté à l'enseigner, la formation des enseignants du primaire et du secondaire. Nature du document : documentaire

L'informatique sauvée des bugs in Science & vie, 1013 (février 2002)

Public ISBD [article]  inScience & vie > 1013 (février 2002) Titre : L'informatique sauvée des bugs Type de document : texte imprimé Année : 2002 Article : p. 55-57 Descripteurs : débogage démonstration mathématique programmation Résumé : Les implications, dans le domaine de la programmation informatique, de la correspondance de Curry-Howard (certaines démonstrations mathématiques correspondent à des programmes informatiques) : les informaticiens pourraient désormais contrôler l'absence d'erreurs dans les programmes. Nature du document : documentaire [article] L'informatique sauvée des bugs [texte imprimé] . - 2002 . - p. 55-57. in Science & vie > 1013 (février 2002) Descripteurs : débogage démonstration mathématique programmation Résumé : Les implications, dans le domaine de la programmation informatique, de la correspondance de Curry-Howard (certaines démonstrations mathématiques correspondent à des programmes informatiques) : les informaticiens pourraient désormais contrôler l'absence d'erreurs dans les programmes. Nature du document : documentaire

Maths et mots / Edith Wolf in Nouvelle revue pédagogique, 1 (septembre 1998)

Public ISBD [article]  inNouvelle revue pédagogique > 1 (septembre 1998) Titre : Maths et mots Type de document : texte imprimé Auteurs : Edith Wolf, Auteur ; Hélène Poiraud-Lizabault, Auteur Année : 1998 Article : p. 49-50 Descripteurs : démonstration mathématique langage Résumé : Proposition de travail interdisciplinaire en mathématiques et français axé sur des figures géométriques et visant à faire utiliser les notions de discours et de récit, à faire formuler des raisonnements dans une démonstration, à faire prendre conscience de la situation d'énonciation dans un écrit mathématique en classe de 4e. Nature du document : documentaire [article] Maths et mots [texte imprimé] / Edith Wolf, Auteur ; Hélène Poiraud-Lizabault, Auteur . - 1998 . - p. 49-50. in Nouvelle revue pédagogique > 1 (septembre 1998) Descripteurs : démonstration mathématique langage Résumé : Proposition de travail interdisciplinaire en mathématiques et français axé sur des figures géométriques et visant à faire utiliser les notions de discours et de récit, à faire formuler des raisonnements dans une démonstration, à faire prendre conscience de la situation d'énonciation dans un écrit mathématique en classe de 4e. Nature du document : documentaire

---

1 (1 - 3 / 3)