Mots-clés – Auteurs

formalisme logique

Il y a 9 résultats pour cette recherche

2021 Repères-IREM. N° 123.
Auteur : Repères-IREM Comité de rédaction. Dir.
2021 Repères-IREM. N° 123. p. 49-79. Analyse non standard et mathématiques ordinaires.
Auteur : Lobry Claude
2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l’interface des mathématiques et de l’informatique.
Auteurs : Leon Nicolas ; Modeste Simon
2020 Repères-IREM. N° 119.
Auteur : Repères-IREM Comité de rédaction. Dir.
2015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.
Auteurs : Mathieu-Soucy Sarah ; Tanguay Denis
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.
Auteur : Chellougui Faïza
2009 Games, Puzzles, and Computation.
Auteurs : Hearn Robert A. ; Demaine Erik D.
2005 L’utilisation des quantificateurs universel et existentiel en première année universitaire entre l’explicite et l’implicite.
Auteur : Chellougui Faïza
1964 Bulletin de l’APMEP. N° 241. p. 53-58. Les mots et les symboles.
Auteurs : Lacombe Daniel ; Picard Claude