formalisme logique

Il y a 9 résultats avec 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
2005 L’utilisation des quantificateurs universel et existentiel en première année universitaire entre l’explicite et l’implicite.

Auteur : Chellougui Faïza
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
2020 Repères-IREM. N° 119.

Auteur : Repères-IREM Comité de rédaction. Dir.
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
2009 Games, Puzzles, and Computation.

Auteurs : Hearn Robert A. ; Demaine Erik D.
1964 Bulletin de l’APMEP. N° 241. p. 53-58. Les mots et les symboles.

Auteurs : Lacombe Daniel ; Picard Claude
2015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.

Auteurs : Mathieu-Soucy Sarah ; Tanguay Denis