Accueil Publimath  Aide à la recherche  Requête : "logique symbolique"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
13 fiches trouvées

12015 History and Epistemology in Mathematics Education: Proceedings of the Seventh European Summer University. Quand les "mathématiques modernes" questionnent les méthodes pédagogiques dans l'enseignement secondaire (1904-1910). p. 781-797.Ressource en ligne
22010 Logicomix.
32001 Fondements des mathématiques. T. 1.
42001 Fondements des mathématiques. T. 2.
52001 La revue des livres pour enfants. N° 199-200. p. 51-143. Dossier : "Lire pour compter, compter pour lire...".Ressource en ligne
62000 Gödel, une révolution en Mathématiques.
72000 Logique, ensemble, catégories. Le point de vue constructif.Ressource en ligne
81995 Logique, informatique et paradoxes.
91981 Fragments d'histoire des mathématiques. T. 1. Histoire des notations de la théorie des ensembles. p. 159-168.
101981 Fragments d'histoire des mathématiques. T. 1.
111971 Eléments de logique pour servir à l'enseignement mathématique.Ressource en ligne
121966 Logique sans peine.
131965 Mathématiques et sciences humaines. N° 10. p. 31-46. Les diagrammes de Venn.Ressource en ligne