Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Intelligence artificielle et apprentissage

197 fiches trouvées

Reponses 181 à 197

181	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. Didactique et intelligence artificielle.
182	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 139-164. DEFI : outil didactique et d'aide à la recherche en EIAO.
183	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 165-210. Cabri-Géomètre constituant d'un milieu pour l'apprentissage de la notion de figure géométrique.
184	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 211-250. Un projet pluridisciplinaire : ELISE - un logiciel pour donner des leçons de méthode.
185	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 251-274. Le temps, analyseur de comportements d'élèves dans l'environnement.
186	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 275-304. Concevoir des EIAO pour des situations scolaires. Approche méthodologique.
187	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 5-8. Introduction.
188	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 67-112. Modélisation en EIAO, les modèles d'APLUSIX.
189	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 9-42. Didactique et intelligence artificielle.
190	1994 Repères-IREM. N° 16. p. 11-27. De l'Intelligence artificielle aux fiches-méthodes : histoire d'une dérive technicienne.
191	1993 Le début de la théorie des automates
192	1992 PLOT. N° 61. p. 31-34. Réseaux de neurones artificiels (les modèles connexionnistes).
193	1990 Ecriture automatique de démonstrations en géométrie.
194	1990 LOGORITHMES.
195	1989 Tangente. N° 9. p. 32-35. Interview : Jean-Jacques Duby.
196	1979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
197	1976 Bulletin de l'APMEP. N° 302. p. 93-106. La démonstration automatique de théorèmes : des méthodes et des résultats qui concernent l'enseignement des mathématiques.