Aide à la recherche
Requête :
symbolique
Chercher
tous les mots
l'expression
au moins un mot
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
552 fiches trouvées
Reponses 541 à 552
541
1971 Bulletin de l'APMEP. N° 280. p. 507-606. Les rapports des groupes de travail.
542
1971 Eléments de logique pour servir à l'enseignement mathématique.
543
1970 Bulletin de l'APMEP. N° 273. p. 136-137. Parenthèses et associativité.
544
1970 La mathématique parlée par ceux qui l'enseignent (boîte de base de 1967 + compléments de 1968 et 1969).
545
1967 La mathématique parlée par ceux qui l'enseignent.
546
1966 Logique sans peine.
547
1966 Mathématiques et sciences humaines. N° 15. p. 1-14. Logique, mathématiques et langage dans l'oeuvre de G. Boole - I.
548
1966 Mathématiques et sciences humaines. N° 16. p. 1-14. Logique, mathématiques et langage dans l'oeuvre de G. Boole - II.
549
1965 Mathématiques et sciences humaines. N° 10. p. 31-46. Les diagrammes de Venn.
550
1962 Bulletin de l'APMEP. N° 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
551
1962 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.
552
1961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.