Utilisation des assistants de preuves pour l’enseignement en L1 - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue La Gazette de la Société mathématique de France Année : 2022

Utilisation des assistants de preuves pour l’enseignement en L1

Résumé

Utilisation des assistants de preuves pour l'enseignement en L1 Utilisation des assistants de preuves pour l'enseignement en L1 Retours d'expériences Nous rendons compte de cinq expériences récentes de l'enseignement de la démonstration utilisant les assistants de preuve Coq, D∃∀DUCTION, Edukera et Lean.
Fichier principal
Vignette du fichier
Utilisation%20des%20assistants%20de%20preuves%20pour%20l%E2%80%99enseignement%20en%20L1.pdf (1.34 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03979238 , version 1 (08-02-2023)

Identifiants

  • HAL Id : hal-03979238 , version 1

Citer

Marie Kerjean, Frédéric Le Roux, Patrick Massot, Micaela Mayero, Zoé Mesnil, et al.. Utilisation des assistants de preuves pour l’enseignement en L1 : Retours d’expériences. La Gazette de la Société mathématique de France, 2022, 174. ⟨hal-03979238⟩
186 Consultations
135 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More