Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.

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 : Mahboubi Assia

Résumé

La langue des mathématiques, ses symboles, ses codes, évoluent au cours des âges et varient selon les lieux. Ils s’adaptent également à la branche spécialisée qu’elle doit servir, par l’usage de notations spécifiques adaptées. Ces notations sont là pour condenser le propos et le rendre intelligible, en le débarrassant des informations techniques sans contenu pertinent. Dans ce texte, l’autrice explore la nature de la preuve mathématique d’Euclide à l’assistant de preuve.

Notes

Chapitre de Maths Langages express .

Données de publication

Éditeur Comité international des jeux mathématiques (CIJM) Paris , 2017 Collection Maths express Format 15 cm x 21 cm, p. 57-62

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