formalisation mathématique

Il y a 32 résultats avec cette recherche.

2012 Actes du Colloque EMF 2012. Enseignement des mathématiques et contrat social : enjeux et défis pour le 21e siècle.

Auteurs : Dorier Jean-Luc. Dir. ; Coutat Sylvia. Dir.
2000 La recherche de la vérité.

Auteurs : Serfati Michel. Dir. ; Serfati Michel. Préf.
2021 Repères-IREM. N° 122.

Auteur : Repères-IREM Comité de rédaction. Dir.
1993 Statut et fonctions de la démonstration en mathématiques : quelques repères.

Auteur : Guichard Jacqueline
2021 Repères-IREM. N° 123.

Auteur : Repères-IREM Comité de rédaction. Dir.
2000 La naissance des objets mathématiques.

Auteurs : Giusti Enrico ; Barthélemy Georges. Trad.
2020 Récréations philosophiques.

Auteur : Lambois Didier
2020 Le Petit Vert. N° 141. p. 40-43. Morale et mesure.

Auteur : Lambois Didier
2016 Le Petit Vert. N° 126. p. 53-54. Russel, c’est la forme !

Auteur : Lambois Didier
1975 Information mathématique. N° 06. p. 34-52. Les catégories dans l’enseignement secondaire? Pourquoi pas ?

Auteur : Foures Léonce
2010 PLOT. Nouvelle série. N° 30. p. 24-26. A propos d’une épreuve du BEPC. Halte à la décadence !

Auteur : Brunet Maurice
1974 Information mathématique. N° 04. p. 25-29. A propos de l’intégration par parties.

Auteur : Marion Jean
1973 Information mathématique. N° 03. p. 5-43. De la géométrie avant toutes choses. Essai de présentation d’une autre axiomatique sous-jacente au programme de 4ème.

Auteur : Bruneton Etienne
1973 Information mathématique. N° 03. p. 53-56. Continuité dans les classes de première et terminale.

Auteur : Beniamino Jean-Claude
2013 Bulletin de l’APMEP. N° 503. p. 255-256. Un embryon de langage symbolique – Réactions de Vincent Dageville à ces propositions.

Auteurs : Laroche Frédéric ; Dageville Vincent
2021 Repères-IREM. N° 123. p. 49-79. Analyse non standard et mathématiques ordinaires.

Auteur : Lobry Claude
1999 Repères-IREM. N° 36.

Auteur : Repères-IREM Comité de rédaction. Dir.
1999 Repères-IREM. N° 36. p. 15-34. L’introduction des probabilités au lycée : un processus de modélisation comparable à celui de la géométrie.

Auteur : Henry Michel
2016 Le Petit Vert. N° 126.

Auteur : Le Petit Vert Comité de rédaction. Dir.
1977 Information mathématique. N° 09. p. 17-23. A propos de la résolution des équations dans l’enseignement secondaire.

Auteur : Thomas Gilles
2011 Bulletin de l’APMEP. N° 492. p. 30-37. L’informatique : meilleure alliée des mathématiques.

Auteur : Dowek Gilles
2020 Le Petit Vert. N° 141.

Auteur : Le Petit Vert Comité de rédaction. Dir.
2021 Repères-IREM. N° 122. p. 15-46. Réflexions sur les quadrilatères et leur enseignement.

Auteur : Bernat Julien
2004 Bulletin de l’APMEP. N° 451. p. 242-271. De l’intuition à l’argumentation.

Auteur : Lombard Philippe