Aide à la recherche
Requête :
"formalisme logique"
Nouvelle recherche
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
10 fiches trouvées
1
2021 Repères-IREM. N° 123.
2
2021 Repères-IREM. N° 123. p. 49-79. Analyse non standard et mathématiques ordinaires.
3
2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.
4
2015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.
5
2009 Games, Puzzles, and Computation.
6
2009 Recherches en didactique des mathématiques. Vol. 29. N° 2. p. 123-154. L'utilisation des quantificateurs universel et existentiel en première année d'université, entre l'explicite et l'implicite.
7
2005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
8
2005 Recherches sur l'articulation entre la logique et le raisonnement mathématique dans une perspective didactique. Un cas exemplaire de l'interaction entre analyses épistémologique et didactique.
9
2001 La logique ou l'art de raisonner.
10
1964 Bulletin de l'APMEP. N° 241. p. 53-58. Les mots et les symboles.