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

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

212002 Le théorème de Gödel.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
251996 Logique et raisonnement mathématique.
261995 Différents types de savoirs et leur articulation.
271995 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.
281994 Mathématiques constructives.Ressource en ligne
291994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
301994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.Ressource en ligne
311993 Logique mathématique. T. 1.
321987 Au carrefour des mathématiques et du français : la logique.Ressource en ligne
331986 Dictionnaire de l'APMEP. La mathématique parlée par ceux qui l'enseignent. Connecteur.Ressource en ligne
341984 Introduction à la logique.Ressource en ligne
351982 Logique et ontologie.
361980 Le théorème de Gödel.
371977 Une introduction - Tome 1 : à la logique.Ressource en ligne
381975 Introduction à la logique.
391971 Bulletin de l'APMEP. N° 280. Supplément - La mathématique parlée par ceux qui l'enseignent : connecteur.Ressource en ligne
401971 Eléments de logique pour servir à l'enseignement mathématique.Ressource en ligne