Utilisation des assistants de preuves pour l’enseignement en L1 - Archive ouverte HAL
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.

Domaines

Mathématiques générales [math.GM] Environnements Informatiques pour l'Apprentissage Humain
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)

Julien Narboux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03979238

Soumis le : mercredi 8 février 2023-16:27:09

Dernière modification le : jeudi 7 novembre 2024-16:14:04

Archivage à long terme le : mardi 9 mai 2023-20:10:31

Télécharger pour visualiser

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. La Gazette de la Société mathématique de France, 2022, 174. ⟨hal-03979238⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 UNIV-PARIS8 TICE CNRS UNIV-CERGY ENGEES LAGA I3M_UMR5149 INSMI IMJ UPEC INSA-STRASBOURG LDAR LIPN COMUE-NORMANDIE IMAG-MONTPELLIER INC-CNRS UNIV-PARIS-SACLAY UNIV-MONTPELLIER SITE-ALSACE UNIROUEN UNIV-LILLE INSA-GROUPE SORBONNE-UNIVERSITE SU-SCIENCES TEL UNIV-PARIS-LUMIERES SORBONNE-PARIS-NORD UP-SCIENCES CY-EDUCATION UNIV-PARIS8-OA ACT-R CY-MAISON-SHS
271 Consultations
188 Téléchargements

Partager

More