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 metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02477000
Contributor : Yannis Delmas-Rigoutsos <>
Submitted on : Thursday, February 13, 2020 - 10:04:21 AM
Last modification on : Thursday, April 2, 2020 - 12:44:41 PM
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

95

Files downloads

136