Accueil Publimath  Aide à la recherche  Requête : prédicat
Certification IDDN Valid HTML 4.01 Transitional

  dans Afficher les fiches par  
77 fiches trouvées Debut Precedent Reponses 61 à 77

611987 Au carrefour des mathématiques et du français : la logique.Ressource en ligne
621986 Dictionnaire de l'APMEP. La mathématique parlée par ceux qui l'enseignent. Connecteur.Ressource en ligne
631984 Introduction à la logique.Ressource en ligne
641982 Logique et ontologie.
651980 Le théorème de Gödel.
661977 Une introduction - Tome 1 : à la logique.Ressource en ligne
671975 Introduction à la logique.
681972 Bulletin de l'APMEP. N° 282. p. 15-17. Matériaux pour un dictionnaire.Ressource en ligne
691972 La mathématique à l'école élémentaire. Ayez donc de belles relations... p. 11-14.Ressource en ligne
701971 Bulletin de l'APMEP. N° 280. Supplément - La mathématique parlée par ceux qui l'enseignent : connecteur.Ressource en ligne
711971 Eléments de logique pour servir à l'enseignement mathématique.Ressource en ligne
721966 Bulletin de l'APMEP. N° 251. p. 35-48. Eléments de logique dans l'enseignement secondaire des mathématiques.
731964 Bulletin de l'APMEP. N° 239. p. 343-358. Les mots et les symboles.
741964 Bulletin de l'APMEP. N° 240. p. 449-458. Les mots et les symboles.
751962 Bulletin de l'APMEP. N° 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
761962 Lecture commentée d'une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.Ressource en ligne
771961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.