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

dans Afficher les fiches par  
27 fiches trouvées Réponses 1 à 20 Suivant Fin

12018 Mathématice. N° 62. Un exemple de liaison 3ème - TS autour des fractales.Ressource en ligne
22017 Mathématiques et langages. Panorama du thème du forum "Mathématiques vivantes" 2017.Ressource en ligne
32017 Mathématiques et langages. La théorie des langages formels. p. 12-14.
42017 Tangente. N° 174. p. 20-21. Langages formels et automates.
52015 Actes du Colloque EMF 2015. Le changement de langage dans l'activité mathématique. p. 752-764.Ressource en ligne
62015 Bibliothèque Tangente. N° 55. Non, les problèmes ne sont pas tous de même difficulté ! p. 108-114.
72015 Bibliothèque Tangente. N° 55. Les démonstrations.
82015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
92015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
102012 Actes du Colloque EMF 2012. Enquêtes épistémologique et didactique du concept de la quantification. p. 593-602.Ressource en ligne
112012 Informatique et Sciences du numérique.Ressource en ligne
122009 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.
132008 Langages formels, calculabilité et complexité.
142005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
152004 Actes du Séminaire National de Didactique des mathématiques 2003. Traitement de la validité de l'implication par des étudiants, corrélations avec leurs performances mathématiques, liens avec diverses questions de psychologique cognitive. p. 227-255.Ressource en ligne
162004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.Ressource en ligne
172004 Actes du Séminaire National de Didactique des mathématiques 2003. La théorie élémentaire des modèles comme référence épistémologique pour analyser les énoncés et les raisonnements mathématiques : aspects logiques, perspectives didactiques et aperçus linguistiques. p. 207-226.Ressource en ligne
182004 Bibliothèque Tangente. N° 15. Syntaxe et sémantique. p. 96-102.
192003 Tangente Hors-série. N° 15. Vol. 2. p. 31-35. Syntaxe et sémantique.
202001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1.Ressource en ligne