Aide à la recherche   Requête : formalisation

170 fiches trouvées

Reponses 141 à 160

141	1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
142	1993 Sciences Sup. Logique mathématique. V. 2.
143	1993 Statut et fonctions de la démonstration en mathématiques : quelques repères.
144	1992 Quadrature. N° 13. p. 37-38. Trois portes, deux chèvres, une auto.
145	1992 Repères-IREM. N° 8. p. 103-110. Des maths avec une feuille de papier : les formats dits "normalisés".
146	1991 Cahier de DIDIREM. N° 11. Un enseignement de l'algèbre linéaire en DEUG A première année.
147	1990 Annales de didactique et de sciences cognitives. V. 3.
148	1990 Annales de didactique et de sciences cognitives. V. 3. p. 75-102. Réflexions et expériences sur l'introduction des nombres négatifs.
149	1990 Morale et formalisation
150	1989 Bulletin de l'APMEP. N° 369. p. 417-426. Pour une révolution de l'intelligence dans l'enseignement des mathématiques et ailleurs. (2)
151	1988 Didactique et acquisition des connaissances scientifiques. Conceptions des lycéens sur les grandeurs physiques vectorielles et le modèle vectoriel mathématique. p. 281-292.
152	1986 Bulletin de l'APMEP. N° 354. p. 371-389. Le mythe formaliste et l'enseignement des mathématiques.
153	1986 Bulletin de l'APMEP. N° 356. p. 637-645. Piaget, pour une pédagogie de la réussite.
154	1985 Bulletin de l'APMEP. N° 347. p. 5-10. Une théorie naïve : Le collage des figures.
155	1982 La rigueur et le calcul.
156	1982 La rigueur et le calcul. De l'histoire aux fondements. p. 63-79.
157	1982 PLOT. N° 20. p. 16-21. Groupements et élaboration des concepts.
158	1980 Le théorème de Gödel.
159	1978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
160	1978 Nombres entiers naturels. T. 1.