HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Variables, grandeurs et types

Résumé : En France, les enseignements du collège abordent en informatique, en mathématiques et en sciences, les notions de variable, d'indéterminée et de grandeur. Plusieurs travaux [17,8,21] montrent les difficultés conceptuelles associées à ces notions, y compris chez les enseignants. En nous appuyant sur l'histoire et l'épistémologie de ces disciplines, nous clarifions ces notions. Nous formulons ensuite des recommandations curriculaires en nous appuyant sur les concepts informatiques de substitution, de correspondance preuve-programme [9] et d'indirection [24,6,25]. Nous plaidons notamment pour l'exploitation de la substitution et du lien fondamental entre type computationnel et nature de grandeur.
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02477000
Contributor : Yannis Delmas-Rigoutsos Connect in order to contact the contributor
Submitted on : Thursday, February 13, 2020 - 10:04:21 AM
Last modification on : Wednesday, December 22, 2021 - 9:06:02 AM
Long-term archiving on: : Thursday, May 14, 2020 - 1:08:15 PM

File

Yannis Delmas-Rigoutsos - Vari...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License

Identifiers

  • HAL Id : hal-02477000, version 1

Citation

Yannis Delmas-Rigoutsos. Variables, grandeurs et types. L’informatique, objets d’enseignements enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France. ⟨hal-02477000⟩

Share

Metrics

Record views

91

Files downloads

218