Mauger Charlotte.
« Ordinateurs : ils comprennent enfin quelque chose aux maths ! »
in La Science et la vie (Paris), 1294 (07/2025), p.102-106.
| Titre : | Ordinateurs : ils comprennent enfin quelque chose aux maths ! (2025) |
| Auteurs : | Charlotte Mauger |
| Type de document : | Article : texte imprimé |
| Dans : | La Science et la vie (Paris) (1294, 07/2025) |
| Article : | p.102-106 |
| Langues: | Français |
| Descripteurs : | |
| Mots-clés: | apprentissage mathématique |
| Résumé : | Les enjeux de l'apprentissage des théorèmes mathématiques à un ordinateur : le théorème de Fremat, étapes de l'apprentissage, la formalisation du théorème en langage informatique, intérêts de l'apprentissage de ce théorème par un ordinateur, perspectives. Encadré : les dates-clés de la formalisation mathématique. |
| Genre : | Article de périodique |
| Nature du document : | documentaire |

