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

dans Afficher les fiches par  
25 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. Les démonstrations.
72015 Bibliothèque Tangente. N° 55. Non, les problèmes ne sont pas tous de même difficulté ! p. 108-114.
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 Informatique et Sciences du numérique.Ressource en ligne
112009 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.
122008 Langages formels, calculabilité et complexité.
132005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
142004 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.
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.
162004 Actes du Séminaire National de Didactique des mathématiques. Année 2003.Ressource en ligne
172004 Bibliothèque Tangente. N° 15. Syntaxe et sémantique. p. 96-102.
182003 Tangente Hors-série. N° 15. Vol. 2. p. 31-35. Syntaxe et sémantique.
192001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1. Aspects linguistiques de l'Epistémologie et de l'Education des Mathématiques. p. 407-421.Ressource en ligne
202001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1.Ressource en ligne