Littérature scientifique sur le sujet « Programmation (informatique) – Épistémologie »

Cette thèse examine comment les propriétés esthétiques du code source permettent la représentation d’espaces sémantiques programmés, et leur implication dans la compréhension de la fonction de processus computationels. Se basant sur un corpus de programmes-textes et des discours les accompagnant, nous montrons en quoi l’esthétique du code source est contingente d’autres domaines esthétiques littéraires, architecturaux et mathématiques, tout en demeurant dépendante du contexte au sein duquel circulent les programmes-textes, et se transformant à différentes échelles de lecture. En particulier, nous montrons que les propriétés esthétiques du code source permettent une certaine expressivité, en vertu de leur appartenance à une interface linguistique partagée et dynamique permettant de calculer le monde. Enfin, nous montrons comment une telle interface, organisée formellement, favorise la compression sémantique et l’exploration spatiale
This thesis investigates how the aesthetic properties of source code enable the representation of programmed semantic spaces, in relation with the function and understanding of computer processes. By examining program texts and the discourses around it, we highlight how source code aesthetics are both dependent on the context in which they are written, and contingent to other literary, architectural, and mathematical aesthetics, varying along different scales of reading. Particularly, we show how the aesthetic properties of source code manifest expressive power due to their existence as a dynamic, functional, and shared computational interface to the world, through formal organizations which facilitate semantic compression and spatial exploration

Il y a entre les mathématiques et l'informatique une solidarité fondamentale qui repose sur l'histoire et sur les pratiques actuelles de ces disciplines. Une preuve en est le recours constant aux algorithmes dans les résolutions de problèmes mathématiques fondamentaux et l'existence de l'algorithmique comme domaine constitutif de l'informatique aux côtés d'autres comme la théorie des langages ou la théorie des automates.
Notre recherche étudie la question de l'introduction d'éléments d'algorithmique et de programmation dans l'enseignement mathématique secondaire. Elle s'appuie sur des analyses épistémologique et institutionnelle qui montrent d'une part que les notions de boucle et de variable se construisent en même temps que l'architecture de la machine se transforme et atteste d'autre part de la vie difficile d'éléments d'algorithmique et de programmation dans l'enseignement secondaire en France et au Viêt-nam.
Les résultats de ces analyses fondent la conception et la réalisation d'une ingénierie didactique dans un environnement informatique conçue comme une genèse expérimentale de la machine de Von Neumann et de la programmation à travers l'écriture des messages successifs (programmes) à des machines dotées de caractéristiques différentes. Cette conception utilise les outils de la théorie des Situations Didactiques pour organiser, à partir d'une situation fondamentale de l'algorithmique et de la programmation, une première rencontre avec différents types de mémoires d'une calculatrice en particulier les mémoires effaçables, permettant l'émergence de la notion de variable informatique et de boucle dans notre ingénierie.
Pour le besoin de notre recherche, nous avons construit un émulateur de calculatrice, nommé Alpro, sur le modèle des calculatrices existantes dans l'enseignement secondaire des deux pays et ayant la capacité supplémentaire d'enregistrer l'historique des suites des touches appuyées lors d'un calcul.