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

dans Afficher les fiches par  
8 fiches trouvées

12020 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
22015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.Ressource en ligne
32009 Games, Puzzles, and Computation.
42009 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.
52005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
62005 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
72001 La logique ou l'art de raisonner.
81964 Bulletin de l'APMEP. N° 241. p. 53-58. Les mots et les symboles.