L’étude presentée par cette dissertation fait l’analyse de l’image de la pensée forgée et organisée par le constructivisme pédagogique dans le réseau d’enseigment municipal à Porto Alegre, RS, entre 1989 et 1992, en ce qui concerne la pensée de professeurs, et qui produit encore des échos et des résonances dans les programmes scolaires, en constituant l’un des modèles les plus présents dans la pratique des maîtres. Cette étude noologique s’intéresse particulièrement à connaître le visage du constructivisme pédagogique et les présuppositions qui orientent l’image de la pensée découlée de cette organisation, pour la défaire et en tracer d’autres lignes. Dans ce but, on s’appuiera sur des théoriciens tels que Deleuze et Gattari, nos intercesseurs pour cette anlyse, qui est basée sur leurs concepts image de la pensée, noologie et machine abstraite. Ce travail a lieu dans la rencontre avec le group de recherche du Laboratoire d’Études en Langage, Interaction et Cognition (LELIC) de l’Université Fédérale du Rio Grande do Sul et il est associé à la ligne de recherche Éducation: Art, Langage, Technologie. / O estudo realizado nesta Dissertação analisa a imagem do pensamento, forjada e organizada pelo construtivismo pedagógico, na Rede Municipal de Ensino de Porto Alegre/RS, no período de 1989 a 1992, no pensamento dos professores, e que ainda produz ecos e ressonâncias no currículo escolar, constituindo-se como um dos modelos mais presentes na prática dos docentes. Interessa, particularmente, a este estudo noológico conhecer o rosto do construtivismo pedagógico e os pressupostos que orientam a imagem do pensamento, decorrente dessa organização, para poder desfazê-lo e traçar outras linhas. Para isso, contar-se-á com teóricos como Deleuze e Guattari que servirão de intercessores a esta análise, a qual está alicerçada em seus conceitos de imagem do pensamento, noologia e máquina abstrata. Este trabalho acontece no encontro com o grupo de pesquisa do Laboratório de Estudos em Linguagem, Interação e Cognição (LELIC) da Universidade Federal do Rio Grande do Sul (UFRGS) e está associado à linha de pesquisa Educação: Arte, Linguagem, Tecnologia.

L’étude presentée par cette dissertation fait l’analyse de l’image de la pensée forgée et organisée par le constructivisme pédagogique dans le réseau d’enseigment municipal à Porto Alegre, RS, entre 1989 et 1992, en ce qui concerne la pensée de professeurs, et qui produit encore des échos et des résonances dans les programmes scolaires, en constituant l’un des modèles les plus présents dans la pratique des maîtres. Cette étude noologique s’intéresse particulièrement à connaître le visage du constructivisme pédagogique et les présuppositions qui orientent l’image de la pensée découlée de cette organisation, pour la défaire et en tracer d’autres lignes. Dans ce but, on s’appuiera sur des théoriciens tels que Deleuze et Gattari, nos intercesseurs pour cette anlyse, qui est basée sur leurs concepts image de la pensée, noologie et machine abstraite. Ce travail a lieu dans la rencontre avec le group de recherche du Laboratoire d’Études en Langage, Interaction et Cognition (LELIC) de l’Université Fédérale du Rio Grande do Sul et il est associé à la ligne de recherche Éducation: Art, Langage, Technologie. / O estudo realizado nesta Dissertação analisa a imagem do pensamento, forjada e organizada pelo construtivismo pedagógico, na Rede Municipal de Ensino de Porto Alegre/RS, no período de 1989 a 1992, no pensamento dos professores, e que ainda produz ecos e ressonâncias no currículo escolar, constituindo-se como um dos modelos mais presentes na prática dos docentes. Interessa, particularmente, a este estudo noológico conhecer o rosto do construtivismo pedagógico e os pressupostos que orientam a imagem do pensamento, decorrente dessa organização, para poder desfazê-lo e traçar outras linhas. Para isso, contar-se-á com teóricos como Deleuze e Guattari que servirão de intercessores a esta análise, a qual está alicerçada em seus conceitos de imagem do pensamento, noologia e máquina abstrata. Este trabalho acontece no encontro com o grupo de pesquisa do Laboratório de Estudos em Linguagem, Interação e Cognição (LELIC) da Universidade Federal do Rio Grande do Sul (UFRGS) e está associado à linha de pesquisa Educação: Arte, Linguagem, Tecnologia.

L’étude presentée par cette dissertation fait l’analyse de l’image de la pensée forgée et organisée par le constructivisme pédagogique dans le réseau d’enseigment municipal à Porto Alegre, RS, entre 1989 et 1992, en ce qui concerne la pensée de professeurs, et qui produit encore des échos et des résonances dans les programmes scolaires, en constituant l’un des modèles les plus présents dans la pratique des maîtres. Cette étude noologique s’intéresse particulièrement à connaître le visage du constructivisme pédagogique et les présuppositions qui orientent l’image de la pensée découlée de cette organisation, pour la défaire et en tracer d’autres lignes. Dans ce but, on s’appuiera sur des théoriciens tels que Deleuze et Gattari, nos intercesseurs pour cette anlyse, qui est basée sur leurs concepts image de la pensée, noologie et machine abstraite. Ce travail a lieu dans la rencontre avec le group de recherche du Laboratoire d’Études en Langage, Interaction et Cognition (LELIC) de l’Université Fédérale du Rio Grande do Sul et il est associé à la ligne de recherche Éducation: Art, Langage, Technologie. / O estudo realizado nesta Dissertação analisa a imagem do pensamento, forjada e organizada pelo construtivismo pedagógico, na Rede Municipal de Ensino de Porto Alegre/RS, no período de 1989 a 1992, no pensamento dos professores, e que ainda produz ecos e ressonâncias no currículo escolar, constituindo-se como um dos modelos mais presentes na prática dos docentes. Interessa, particularmente, a este estudo noológico conhecer o rosto do construtivismo pedagógico e os pressupostos que orientam a imagem do pensamento, decorrente dessa organização, para poder desfazê-lo e traçar outras linhas. Para isso, contar-se-á com teóricos como Deleuze e Guattari que servirão de intercessores a esta análise, a qual está alicerçada em seus conceitos de imagem do pensamento, noologia e máquina abstrata. Este trabalho acontece no encontro com o grupo de pesquisa do Laboratório de Estudos em Linguagem, Interação e Cognição (LELIC) da Universidade Federal do Rio Grande do Sul (UFRGS) e está associado à linha de pesquisa Educação: Arte, Linguagem, Tecnologia.

.

La thèse contribue à la compréhension de la nature, du rôle et des mécanismes de la polarisation dans les langages de programmation, en théorie de la preuve et dans les modèles catégoriels. La polarisation correspond à l'idée que la condition d'associativité de la composition peut être relâchée, comme on le montre à travers un résultat qui relie les duploïdes, notre modèle direct de la polarisation, aux adjonctions. En conséquence, la polarisation sous-tend de nombreux modèles du calcul, ce que l'on souligne encore en montrant comment les modèles par passage de continuation pour des opérateurs de contrôle délimité se décomposent en trois étapes fondamentales. Elle explique également des phénomènes de constructivité en théorie de la démonstration, ce que l'on illustre en donnant une interprétation selon le principe de la formule comme type à la polarisation en général et à une négation involutive en particulier. Notre approche est basée sur une représentation interactive des démonstrations et des programmes à base de termes (calcul L), qui met en évidence la structure des polarités. Celle-ci est basée sur la correspondance entre les machines abstraites et les calculs de séquents, et vise à synthétiser diverses directions : la modélisation du contrôle, de l'ordre d'évaluation et des effets dans les langages de programmation, la quête d'un lien entre la dualité catégorielle et les continuations, et l'approche interactive de la constructivité en théorie de la preuve. On introduit notre technique en supposant uniquement une connaissance élémentaire du λ-calcul simplement typé et de la réécriture.