Aide à la recherche   Requête : "règles d'inférence"

1	2014 Actes du 21e colloque de la CORFEM. Logique et langage dans la classe de mathématiques et la formation.
2	2011 Actes du séminaire national de didactique des mathématiques 2010. Les relations entre Logique, Preuve et Apprentissages mathématiques : une question d'actualité en didactique des mathématiques ? (Résumé) p. 5.
3	2007 Petit x. N° 75. p. 7-33. La place de l'expérience dans la construction des mathématiques en classe.
4	2005 Annales de didactique et de sciences cognitives. V. 10.
5	2005 Annales de didactique et de sciences cognitives. V. 10. p. 55-93. Apprentissage de la démonstration et graphes orientés.
6	2004 Educational Studies in Mathematics. V. 53. N° 1. p. 5-34. Which notion of implication is the right one? From logical considerations to a didactic perspective.
7	2001 La logique ou l'art de raisonner.
8	2000 Le statut logique des énoncés dans la classe de mathématiques.
9	1996 Les philosophes et les mathématiques.
10	1996 Les philosophes et les mathématiques. Wittgenstein et les mathématiques (1889-1951). p. 243-263.
11	1996 Logique et raisonnement mathématique.
12	1995 Différents types de savoirs et leur articulation.
13	1995 Différents types de savoirs et leur articulation. Place de la logique formelle comme outil d'analyse des connaissances mises en oeuvre dans le raisonnement mathématique dans une perspective didactique. p. 205-233.
14	1990 Théorie physique et incomplétude au sens de Gödel.
15	1968 Bulletin de l'APMEP. N° 260. p. 7-23. Initiation à la logique.