Aide à la recherche   Requête : calcul des prédicats

45 fiches trouvées

Reponses 21 à 40

21	2002 Le théorème de Gödel.
22	2001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique - variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.
23	2000 Le statut logique des énoncés dans la classe de mathématiques.
24	1999 Petit x. N° 50. p. 57-79. L'élève, le professeur et le labyrinthe.
25	1996 Logique et raisonnement mathématique.
26	1995 Différents types de savoirs et leur articulation.
27	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.
28	1994 Mathématiques constructives.
29	1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
30	1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
31	1993 Logique mathématique. T. 1.
32	1987 Au carrefour des mathématiques et du français : la logique.
33	1986 Dictionnaire de l'APMEP. La mathématique parlée par ceux qui l'enseignent. Connecteur.
34	1984 Introduction à la logique.
35	1982 Logique et ontologie.
36	1980 Le théorème de Gödel.
37	1977 Une introduction - Tome 1 : à la logique.
38	1975 Introduction à la logique.
39	1971 Bulletin de l'APMEP. N° 280. Supplément - La mathématique parlée par ceux qui l'enseignent : connecteur.
40	1971 Eléments de logique pour servir à l'enseignement mathématique.