Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Intelligence artificielle (systèmes experts, programmation d'automates, programmes de preuves de théorème, traducteurs, robotique, etc..)
Niveau : Formation à l'enseignement, initiale et continue.
Certification IDDN Valid HTML 4.01 Transitional

20 fiches trouvées

12019 Actes du Colloque EMF 2018. Enjeux de diversification et complexification de ressources : un cas de programmation informatique d'un robot dans une classe de demain. p. 712-720.Ressource en ligne
22019 Au fil des maths. N° 532. p. 52-54. Visite d'un fablab.
32018 Probablement approximativement correct.
42018 Une année d'ISN avec Java'S Cool - Terminale S.
52017 Bulletin de l'APMEP. N° 524. p. 9-11. CorotBotRessource en ligne
62017 Grand N. N° 99. p. 69-85. Jouets programmables à l'Ecole Maternelle : pratiques pédagogiques de professeurs stagiaires.Ressource en ligne
72017 Mathématice. N° 55. La préface de Cédric Villani.Ressource en ligne
82017 Mathématice. N° 55. Initiation aux sciences du numérique en seconde.Ressource en ligne
92017 Mathématice. N° 55. Inirobot et Poppy Education.Ressource en ligne
102017 Vidéo de l'IREM de Paris - Le Maths Club. Les Mathématiques de l'Intelligence Artificielle.Ressource en ligne
112016 Vidéo de l'IREM de Paris - Le Maths Club. Quelles mathématiques pour le contrôle du mouvement humanoïde ?Ressource en ligne
122015 Vidéo de l'IREM de Paris - Le Maths Club. Résumé Apprentissage et décision : mathématiques, neurosciences et robotique.Ressource en ligne
132013 Bulletin de l'APMEP. N° 504. p. 337-340. Proglab : l'algorithmique accessible.Ressource en ligne
142010 Repères-IREM, N°79. p. 51-72. Algorithmique et apprentissage de la preuve.Ressource en ligne
152004 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Le b-ê-bêê des automates.Ressource en ligne
162003 Bulletin de l'APMEP. N° 448. p. 583-602. Analyse d'images par champs de Markov.Ressource en ligne
172002 Bulletin de l'APMEP. N° 442. p. 602-612. Les ordinateurs mathématiciens.Ressource en ligne
181996 L'enseignement des mathématiques : des Repères entre Savoirs, Programmes & Pratiques. De l'intelligence artificielle aux fiches-méthodes. p. 55-68.
191994 Repères-IREM, N°16. p. 11-27. De l'Intelligence artificielle aux fiches-méthodes : histoire d'une dérive technicienne.Ressource en ligne
201976 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