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

  dans Afficher les fiches par  
87 fiches trouvées Reponses 1 à 20 Suivant Fin

12024 Mathématice. N° 92. Danses géométriques en CM2.Ressource en ligne
22019 Bibliothèque Tangente. N° 68. Intelligence artificielle.
32019 Bibliothèque Tangente. N° 68. La traduction automatique, un enjeu pour l'avenir. p. 58-61.
42019 Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.
52019 Mathématice. N° 68. Xcas/Khicas : calcul formel et algorithmique.Ressource en ligne
62019 Quadrature. N° 113. p. 22-34. Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire, avec des applications en linguistique mathématique. Ressource en ligne
72018 Mathématice. N° 62. Séquences d'algorithmique en mathématique en Python 3, de la seconde à la terminale.Ressource en ligne
82018 Tangente Hors-série. N° 68. Intelligence artificielle.
92018 Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.
102018 Tangente Hors-série. N° 68. p. 40-42. La traduction automatique, un enjeu pour l'avenir.
112017 Mathématiques et langages. Panorama du thème du forum "Mathématiques vivantes" 2017.Ressource en ligne
122017 Tangente. N° 174. p. 20-21. Langages formels et automates.
132015 Bibliothèque Tangente. N° 54. L'algorithme de Dijkstra. p. 92-94.
142015 Repères-IREM. N° 100.
152015 Repères-IREM. N° 100. p. 65-80. De la nécessité de définir les notions de logique au lycée.Ressource en ligne
162015 Repères-IREM. N° 100. p. 84-96. Rubrique Point de vue : Si on parlait définition ?Ressource en ligne
172014 Algorithmique au lycée.
182014 Bibliothèque Tangente. N° 52. Langages rationnels et automates finis. p. 52-55.
192014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
202014 Bulletin de l'APMEP. N° 509. p. 253-264. Quelques remarques et propositions sur les sujets de bac S 2013.Ressource en ligne