Accueil Publimath  Aide à la recherche  Requête : "calcul des prédicats"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
46 fiches trouvées Début Précédent Réponses 21 à 40 Suivant Fin

212001 Actes du séminaire national de didactique des mathématiques. Année 2000.Ressource en ligne
222001 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.Ressource en ligne
232000 Le statut logique des énoncés dans la classe de mathématiques.
241999 Petit x. N° 50. p. 57-79. L'élève, le professeur et le labyrinthe.Ressource en ligne
251998 Bulletin de l'APMEP. N° 415. p. 191-192. in memoriam.
261996 Logique et raisonnement mathématique.
271995 Différents types de savoirs et leur articulation.
281995 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.
291994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.Ressource en ligne
301994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
311994 Mathématiques constructives.Ressource en ligne
321993 Logique mathématique. T. 1.
331987 Au carrefour des mathématiques et du français : la logique.Ressource en ligne
341986 Dictionnaire de l'APMEP. La mathématique parlée par ceux qui l'enseignent. Connecteur.Ressource en ligne
351984 Introduction à la logique.Ressource en ligne
361982 Logique et ontologie.
371980 Le théorème de Gödel.
381977 Une introduction - Tome 1 : à la logique.Ressource en ligne
391975 Introduction à la logique.
401971 Bulletin de l'APMEP. N° 280. Supplément - La mathématique parlée par ceux qui l'enseignent : connecteur.Ressource en ligne