Utilisation des assistants de preuves pourl’enseignement en L1
| Autor: | Kerjean, Marie, Le Roux, Frédéric, Massot, Patrick, Mayero, Micaela, Mesnil, Zoé, Modeste, Simon, Narboux, Julien, Rousselin, Pierre |
|---|---|
| Přispěvatelé: | Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Faculté des Sciences d’Orsay, Université Paris-Saclay, 91405 Orsay Cedex, France., Laboratoire de Didactique André Revuz (LDAR (URP_4434)), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Lille-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Université Paris Cité (UPCité)-CY Cergy Paris Université (CY), Institut Montpelliérain Alexander Grothendieck (IMAG), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Analyse, Géométrie et Applications (LAGA), Université Paris 8 Vincennes-Saint-Denis (UP8)-Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Université Sorbonne Paris Nord, Narboux, Julien |
| Jazyk: | francouzština |
| Rok vydání: | 2022 |
| Předmět: |
[MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
[INFO.EIAH] Computer Science [cs]/Technology for Human Learning proof proving assistant de preuve enseignement de la démonstration [MATH.MATH-GM] Mathematics [math]/General Mathematics [math.GM] [INFO.EIAH]Computer Science [cs]/Technology for Human Learning Proof assistant teaching |
| Zdroj: | La gazette des mathématiciens La gazette des mathématiciens, 2022, 174 |
| ISSN: | 0224-8999 |
| Popis: | National audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|