Maths Société express. Informatique et mathématiques, un partenariat gagnant. p. 15-20.
Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger
Auteur : Berry Gérard
Résumé
Dans cet article, l’auteur présente les grandes étapes de l’utilisation de l’informatique de 1936 avec la machine de Türing jusqu’à la mécanisation des preuves mathématiques avec l’assistant de preuve Coq.
Notes
Chapitre de Maths Société express .
Données de publication
Éditeur Comité international des jeux mathématiques (CIJM) Paris , 2016 Collection Maths express Format A5, p. 15-20
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, lycée, terminale Âge 15, 16, 17
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification