Utilisation des assistants de preuves pour l’enseignement en L1 - Laboratoire d'Informatique de Paris-Nord Accéder directement au contenu
Article Dans Une Revue La gazette des mathématiciens 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 des mathématiciens, 2022, 174. ⟨hal-03979238⟩
133 Consultations
95 Téléchargements

Partager

Gmail Facebook X LinkedIn More