Outils logiques pour analyser les formulations des preuves dans des manuels de lycée - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Outils logiques pour analyser les formulations des preuves dans des manuels de lycée

Zoé Mesnil
Fichier principal
Vignette du fichier
Hache-Mesnil-2020-Seminaire_national_2019.pdf (3.61 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03257750 , version 1 (11-06-2021)

Identifiants

  • HAL Id : hal-03257750 , version 1

Citer

Christophe Hache, Zoé Mesnil. Outils logiques pour analyser les formulations des preuves dans des manuels de lycée. Séminaire national de didactique des mathématiques de l'ARDM, Nov 2019, Paris, France. ⟨hal-03257750⟩
45 Consultations
106 Téléchargements

Partager

Gmail Facebook X LinkedIn More