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

dans Afficher les fiches par  
14 fiches trouvées

12020 Histoires de Mathématiques. Logique. De l'autre côté du miroir.Ressource en ligne
22015 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
32010 Logicomix.
42001 Fondements des mathématiques. T. 1.
52001 Fondements des mathématiques. T. 2.
62001 La revue des livres pour enfants. N° 199-200. p. 51-143. Dossier : "Lire pour compter, compter pour lire...".Ressource en ligne
72000 Gödel, une révolution en Mathématiques.
82000 Logique, ensemble, catégories. Le point de vue constructif.Ressource en ligne
91995 Logique, informatique et paradoxes.
101981 Fragments d'histoire des mathématiques. T. 1. Histoire des notations de la théorie des ensembles. p. 159-168.
111981 Fragments d'histoire des mathématiques. T. 1.
121971 Eléments de logique pour servir à l'enseignement mathématique.Ressource en ligne
131966 Logique sans peine.
141965 Mathématiques et sciences humaines. N° 10. p. 31-46. Les diagrammes de Venn.Ressource en ligne