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

dans Afficher les fiches par  
9 fiches trouvées

12021 Repères-IREM. N° 123. p. 49-79. Analyse non standard et mathématiques ordinaires.
22020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.Ressource en ligne
32015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.Ressource en ligne
42009 Games, Puzzles, and Computation.
52009 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.
62005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
72005 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.Ressource en ligne
82001 La logique ou l'art de raisonner.
91964 Bulletin de l'APMEP. N° 241. p. 53-58. Les mots et les symboles.