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

dans Afficher les fiches par  
278 fiches trouvées Début Précédent Réponses 261 à 278

2611991 Bulletin de l'APMEP. N° 378. p. 169-180. Une méthode de démonstration consistant à "Partir de la conclusion".Ressource en ligne
2621991 Repères-IREM, N°4. p. 53-62. Intelligence artificielle et enseignement de la géométrie.Ressource en ligne
2631990 Actes du colloque inter-IREM de géométrie : Port d'Albret 7, 8 et 9 juin 1990.Ressource en ligne
2641990 Actes de l'université d'été informatique et enseignement de la géométrie.
2651990 Actes du colloque inter-IREM de géométrie : Port d'Albret. Intelligence artificielle et enseignement de la géométrie. p. 148-159.Ressource en ligne
2661990 Ecriture automatique de démonstrations en géométrie.Ressource en ligne
2671990 La démonstration mathématique dans l'histoire.
2681989 Annales de didactique et de sciences cognitives. V. 2. p. 89-109. Réflexions sur les logiciels d'aide à la démonstration en géométrie.Ressource en ligne
2691989 Tangente. N° 9. p. 32-35. Interview : Jean-Jacques Duby.
2701988 Bulletin de liaison. N° 2 (juin 1988).
2711988 Bulletin de liaison. N° 1 (février 1988).
2721988 L'Ouvert. N° 52. p. 32-40. Réflexions sur l'apprentissage de la démonstration en géométrie de 4e autour d'un logiciel.Ressource en ligne
2731988 L'Ouvert. N° 52.Ressource en ligne
2741980 L'informagique.Ressource en ligne
2751979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.Ressource en ligne
2761979 L'Ouvert. N° 17.Ressource en ligne
2771977 Bulletin de l'APMEP. N° 308. p. 252-258. Analyse de comportements heuristique : Quelles méthodes.Ressource en ligne
2781976 Bulletin de l'APMEP. N° 302. p. 93-106. Démonstration mathématique de théorèmes et enseignement des mathématiques.Ressource en ligne