Otimização topológica de estruturas bidimensionais contínuas submetidas a restrições de flexibilidade e tensão

Neste trabalho é resolvido o problema da minimização do volume de estruturas bidimensionais contínuas submetidas a restrições sobre a flexibilidade (trabalho das forças externas) e sobre as tensões, utilizando a técnica chamada otimização topológica, que visa encontrar a melhor distribuição de material dentro de um domínio de projeto pré-estabelecido. As equações de equilíbrio são resolvidas através do método dos elementos finitos, discretizando a geometria e aproximando o campo de deslocamentos. Dessa forma, essas equações diferenciais são transformadas em um sistema de equações lineares, obtendo como resposta os deslocamentos nodais de cada elemento. A distribuição de material é discretizada como uma densidade fictícia constante por elemento finito. Esta densidade define um material isotrópico poroso de uma seqüência pré-estabelecida (SIMP). A otimização é feita através da Programação Linear Seqüencial. Para tal, a função objetivo e as restrições são sucessivamente linearizadas por expansão em Série de Taylor. A análise de sensibilidade para a restrição de flexibilidade é resolvida utilizando o cálculo da sensibilidade analítico adaptado para elementos finitos de elasticidade plana. Quando as restrições consideradas são as tensões, o problema torna-se mais complexo. Diferente da flexibilidade, que é uma restrição global, cada elemento finito deve ter sua tensão controlada. A tensão de Von Mises é o critério de falha considerado, cuja sensibilidade foi calculada de acordo com a metodologia empregada por Duysinx e Bendsøe [Duysinx e Bendsøe, 1998] Problemas como a instabilidade de tabuleiro e dependência da malha sempre aparecem na otimização topológica de estruturas contínuas. A fim de minimizar seus efeitos, um filtro de vizinhança foi implementado, restringindo a variação da densidade entre elementos adjacentes. Restrições sobre as tensões causam um problema adicional, conhecido como singularidade das tensões, fazendo com que os algoritmos não convirjam para o mínimo global. Para contornar essa situação, é empregada uma técnica matemática de perturbação visando modificar o espaço onde se encontra a solução, de forma que o mínimo global possa ser encontrado. Esse método desenvolvido por Cheng e Guo [Cheng e Guo, 1997] é conhecido por relaxação-ε e foi implementado nesse trabalho.

Abstrações para uma linguagem de programação visando aplicações móveis em um ambiente de Pervasive Computing

Computação Móvel é um termo genérico, ainda em definição, ao redor do qual se delineia um espectro de cenários possíveis, desde a Computação Pessoal, com o uso de computadores de mão, até a visão futurista da Computação Ubíqua. O foco do projeto ISAM (Infra-estrutura de Suporte às Aplicações Móveis Distribuída), em desenvolvimento no II/UFRGS, é a Pervasive Computing. Esta desenha um cenário onde o usuário é livre para se deslocar mantendo o acesso aos recursos da rede e ao seu ambiente computacional, todo tempo em qualquer lugar. Esse novo cenário apresenta muitos desafios para o projeto e execução de aplicações. Nesse escopo, esta tese aprofunda a discussão sobre questões relativas à adaptação ao contexto em um ambiente pervasivo sob a ótica de uma Linguagem de Programação, e define uma linguagem chamada ISAMadapt. A definição da linguagem ISAMadapt baseia-se em quatro abstrações: contexto, adaptadores, políticas e comandos de adaptação. Essas abstrações foram concretizadas em duas visões: (1) em tempo de programação, através de comandos da linguagem e arquivos de configuração, descritos com o auxílio do Ambiente de Desenvolvimento de Aplicações; (2) em tempo de execução, através de serviços e APIs fornecidos pelos componentes que integram o ambiente de execução pervasiva (ISAMpe). Deste, os principais componentes que implementam a semântica de execução da aplicação ISAMadapt são: o serviço de reconhecimento de contexto, ISAMcontextService, e a máquina de execução da adaptação dinâmica, ISAMadaptEngine.As principais contribuições desta tese são: (a) primeira linguagem para a codificação de aplicações pervasivas; (b) sintaxe e semântica de comandos para expressar sensibilidade ao contexto pervasivo; (c) fonte para o desenvolvimento de uma metodologia de projeto de aplicações pervasivas; (d) projeto ISAM e o projeto contextS (www.inf.ufrgs.br/~isam) que fornecem suporte para o ciclo de vida das aplicações, desde o desenvolvimento até a execução de aplicações pervasivas.

Modelagem matemática da qualidade da água em grandes bacias : sistema Taquari-Antas - RS

Os impactos sobre o meio ambiente, associados ao desenvolvimento de atividades pelo homem em uma bacia hidrográfica, estão fortemente inter-relacionados e têm, a cada dia, se tornado mais evidentes. Esta idéia motiva a concepção de uma gestão integrada dos recursos naturais em várias partes do mundo, inclusive em países em desenvolvimento como o Brasil. Modelos matemáticos de qualidade de água podem ser ferramentas úteis para a tomada de decisão no apoio à gestão de bacias hidrográficas. O planejamento e gestão dos recursos hídricos em um país de grande porte como o Brasil envolve, geralmente, bacias extensas, com um vasto conjunto de elementos naturais e antrópicos. Um modelo de qualidade de água deve permitir a representação da variabilidade espacial da região e, desta forma, a consideração de fontes difusas juntamente com fontes pontuais de poluição. O presente estudo analisou o impacto do desenvolvimento sobre a qualidade da água em uma bacia de grande extensão (bacia do rio Taquari-Antas, RS, com 26.500 km2), considerando a alternativa de aproveitamento hidrelétrico definida no inventário da bacia. Utilizou-se um modelo distribuído de simulação hidrológica e de qualidade de água aplicável principalmente a grandes bacias ( > 1.000 km2), o IPH-MGBq. Este modelo, desenvolvido no IPH, foi ajustado aos dados diários observados de vazão, no seu módulo de quantidade, e de concentração de OD, DBO, nitrogênio e fósforo totais e coliformes fecais, obtidos de coletas trimestrais, no módulo de qualidade. O modelo permite a análise temporal das condições hidrológicas e de qualidade da água de toda a bacia, discretizada por células, com trechos de rios e reservatórios. O modelo apresentou bom desempenho quanto à quantidade (vazões) e quanto aos perfis de concentração dos parâmetros de qualidade de água ao longo do Taquari- Antas, principalmente em termos de valores médios. Foi realizada uma análise de incertezas de alguns parâmetros e variáveis de entrada do modelo com relação à inerente incerteza existente na definição destes elementos. Esta metodologia demonstrou ser uma alternativa adequada à aplicação de modelos distribuídos de qualidade de água em bacias sem dados, sendo que os erros cometidos pelo modelo, em relação aos valores de concentração observados, foram aceitáveis para uma confiança de 95%. A simulação de alguns cenários de desenvolvimento na bacia do Taquari-Antas evidenciou a importância da avaliação conjunta de todos os elementos da bacia (fontes pontuais e difusas de poluição e da implantação de reservatórios) sobre a qualidade de suas águas. O IPH-MGBq mostrou ser uma ferramenta útil para a simulação de cenários de desenvolvimento em grandes bacias como base para a tomada de decisão na gestão dos recursos hídricos.

Estudo da utilização de uma ferramenta para construção de programas em português em disciplinas básicas de ensino de programação

Este trabalho tem por objetivo apresentar e estudar a aplicação de uma ferramenta chamada PCP – Pseudo-Compilador Portugol, criada para auxiliar estudantes de programação a aprimorar o raciocínio lógico e a criar programas estruturados, sem que precisem se preocupar com comandos e instruções em Inglês ou tenham conhecimento de uma linguagem de programação específica. Por ser uma ferramenta que usa somente palavras do nosso idioma, os alunos podem direcionar todo o seu raciocínio no entendimento e resolução do problema em forma de algoritmo. O estudo experimental realizado neste trabalho pretende analisar e comparar o aprendizado entre grupos de alunos de disciplinas de programação utilizando e não utilizando esta ferramenta. Além de acompanhar o desempenho dos alunos, pretende também coletar informações durante as baterias de testes e obter as opiniões dos mesmos em relação ao PCP, no que se refere às facilidades, dificuldades, pontos positivos e falhas apresentadas. Este estudo é apresentado em duas etapas, com oito baterias de teste em cada uma. Na primeira etapa foram selecionados alunos do Curso de Ciência da Computação da UNIGRAN, em Dourados-MS; na segunda etapa foram selecionados alunos da Escola Anglo Decisivo. Estas duas etapas possibilitam a análise do aprendizado proporcionado pela ferramenta com alunos que já têm alguma noção de programação e com alunos que não tiveram nenhum contato com o desenvolvimento de programas.

A equilibração dos processos cognitivos na aprendizagem de matemática no ambiente do Mecam

Esta tese analisa os efeitos na aprendizagem, a partir de uma proposta pedagógica que integra uma metodologia de intervenção apoiada por recursos tecnológicos. A proposta pedagógica é implementada em ambiente virtual de aprendizagem e se destina à realização de estudos complementares, para alunos reprovados em disciplinas iniciais de matemática em cursos de graduação. A metodologia de intervenção é inspirada no método clínico de Jean Piaget e visa identificar noções já construídas, propor desafios, possibilitar a exploração dos significados e incentivar a argumentação lógica dos estudantes. O ambiente de interação é constituído por ferramentas tecnológicas capazes de sustentar interações escritas, numéricas, algébricas e geométricas. A Teoria da Equilibração de Piaget possibilita a análise de ações e reflexões dos estudantes diante dos desafios propostos. São identificados desequilíbrios cognitivos e processos de reequilibração advindos das interações com os objetos matemáticos. A transformação de um saber-fazer para um saber-explicar é considerada indicativo de aprendizagem das noções pesquisadas e decorre de um desenvolvimento das estruturas de pensamento. Além da análise de processos de reequilibração cognitiva, analisou-se o aproveitamento dos estudantes, considerando os graus de aprendizagem definidos nos critérios de certificação dos desempenhos. Os resultados indicam que as interações promovidas com a estratégia pedagógica proposta colaboraram para a aprendizagem de noções e conceitos matemáticos envolvidos nas atividades de estudo. A análise do processo de equilibração permite identificar a aprendizagem como decorrência do desenvolvimento de estruturas cognitivas. O movimento das aprendizagens revelou processos progressivos de aquisição de sentido dos objetos matemáticos, com graus que expressaram condutas de regulação. Estas permitiram ultrapassar um fazer instrumental, por aplicação de fórmulas ou regras, e avançar por um fazer reflexivo sobre os significados dos conceitos envolvidos. A pesquisa sugere a implementação da proposta como estratégia pedagógica na proposição de ambientes de aprendizagem para a educação matemática a distância e como apoio ao ambiente presencial.

Movimento da matemática moderna no Brasil : estudo da ação e do pensamento de educadores matemáticos nos anos 60

Este trabalho estuda o movimento de renovação do ensino da matemática conhecido como o "movimento da matemática moderna",surgido no Brasil no inicio dos anos 60. Através do estudo da ação, do discurso e do pensamento dos protagonistas em relação com o contexto histórico em que foram produzidos e com o movimento da matemática moderna de âmbito internacional, procura explicar o alcance e as limitações desse movimento, em sua dinâmica e elaboração pedagógica. A abordagem adotada considera tanto os aspectos do movimento que o identificam com um processo mais amplo e de âmbito mundial de crescente valorização do ensino das ciências naturais e da matemática no período que sucedeu à Segunda Guerra Mundial, no qual o movimento da matemática se insere, como as especificidades do movimento relacionadas com a ação dos protagonistas e a realidade do pais. A análise do movimento como ocorreu no Brasil é feita fundamentalmente a partir da leitura de documentos produzidos durante o periodo de sua existência e de depoimentos obtidos através de entrevistas semi-estruturadas com participantes do movimento. O contexto no qual é situada essa análise inclui uma descrição breve da realidade politica, econômica e social do pais, com ênfase na realidade educacional - em particular, do ensino secundário e nos debates pedagógicos produzidos no período As modificações nas relações entre ciência e produção material no âmbito da economia capitalista são tratadas como elemento decisivo para a explicação da combinação entre esforços de governos e de educadores para a renovação e melhoria do ensino da matemática, desde os anos 50, em vários paises. O trabalho apresenta, em suas conclusões, conexões que contribuem para a clarificação de como o movimento foi marcado pelo contexto histórico em que surgiu e se desenvolveu. São enfatizadas as relações entre: o crescimento e a modernização da economia brasileira e o otimismo acerca das consequências sociais da melhoria do ensino e do desenvolvimento da ciência no pais; a expansão do ensino secundário desde os anos 30, acelerada nos anos 60, e as preocupações dos educadores acerca da eficiência e da deselitização desse ensino. O trabalho aponta, também, as conexães entre o movimento da matemática moderna e os debates sobre ensino de matemática realizados no pais antes e depois do movimento, situando-o como momento de um processo iniciado nos anos 50, anos 80, de iniciativa dos professores de matemática em torno da reflexão e renovação de sua própria prática.

Coordenação de projeto de obra de edificação : proposta de ferramenta computacional para programação e controle do fluxo de informações com uso de sistema colaborativo

A elaboração de um projeto de obra de edificação é fruto da interação entre profissionais de diversas disciplinas desenvolvendo, simultaneamente, suas opções e decisões com relação ao mesmo. É necessário considerar a qualidade do processo de elaboração do projeto dependente de uma efetiva comunicação entre os membros da equipe. A indústria da construção civil está sendo beneficiada pelos recursos oferecidos pela tecnologia da informação como, por exemplo, os sistemas colaborativos (extranets de projeto). Estes sistemas corroboram na integração e comunicação entre os membros de um projeto. O objetivo da presente pesquisa foi a apresentação do desenvolvimento de modelo validado de ferramenta computacional projetada para complementar um sistema colaborativo pré-existente. Esta ferramenta foi denominada Sistema de Programação e Controle do Processo de Projeto (SIPROCON/PP). A finalidade do SIPROCON/PP é auxiliar no processo de tomada de decisão dos coordenadores através do monitoramento do cronograma e do fluxo do intercâmbio de informações das atividades geradoras de informações neste processo. O processo de desenvolvimento da ferramenta foi delineado em harmonia com a organização da pesquisa. Neste sentido, é assinalado o uso da prototipação e da simulação como estratégias de pesquisa, utilizados respectivamente na construção e validação do modelo da ferramenta. Ante a necessidade do experimento, foi criada uma atividade lúdica através da qual foi reproduzido o intercâmbio de informações de um processo de projeto denominada Sistemática de Simulação do Processo de Projeto (SS/PP) para validação do modelo da ferramenta. Logo, por meio do uso das simulações foram obtidos os dados correspondentes a validação da modelagem e aplicação do SIPROCON/PP e, ao mesmo tempo, necessários à conclusão da pesquisa. Diante disso, a partir da análise dos dados coletados é apontada a melhoria na qualidade do processo de elaboração do projeto considerando a formação de uma equipe equilibrada de projeto. Isso, fruto do conhecimento mais acurado do coordenador sobre o desempenho de cada projetista.

Abordagem probabilística em um modelo de programação linear aplicado ao planejamento mineiro

Neste trabalho é discutido o impacto causado pelos parâmetros de processo com comportamento estocástico em um modelo de otimização, aplicado ao planejamento mineiro. Com base em um estudo de caso real, construiu-se um modelo matemático representando o processo produtivo associado à mineração, beneficiamento e comercialização de carvão mineral. Este modelo foi otimizado com a técnica de programação linear, sendo a solução ótima perturbada pelo comportamento estocástico de um dos principais parâmetros envolvidos no processo produtivo. A análise dos resultados permitiu avaliar o risco associado à decisão ótima, sendo com isto proposta uma metodologia para avaliação do risco operacional.

O uso da linguagem matemática na física clássica como obstáculo epistemológico na formação de professores de matemática na Universidade do Estado do Pará - UEPA : um estudo de caso

Este estudo realizado no Curso de Formação de Professores de Matemática da Universidade do Estado do Pará- UEPA, teve como finalidade verificar o obstáculo epistemológico, encontrado na aplicabilidade da linguagem matemática em sistemas físicos, através da relação existente entre as dificuldades dos licenciandos em Matemática na aprendizagem de Física Clássica e a prática da Matemática como linguagem nas disciplinas específicas do curso de Matemática, e as possíveis conseqüências à futura prática pedagógica desses professores, no nível fundamental e médio. Para desenvolvê-lo recorri à pesquisa qualitativa em uma abordagem etnográfica. Delimitei como sujeitos da pesquisa 15 alunos de uma turma do 3° ano que cursavam a disciplina Física Geral do Curso de Licenciatura Plena em Matemática no ano de 2000 para obter os dados necessários. Observei os alunos durante as aulas e seminários realizados e os entrevistei em busca de subsídios para o estudo.Concluo que há relação entre a dificuldade na aprendizagem da Física Clássica e a prática da Matemática como linguagem nas disciplinas específicas do Curso de Licenciatura Plena em Matemática e a futura prática pedagógica no ensino fundamental e médio. Concluo também que falta aos professores que ministram estas disciplinas superar um obstáculo epistemológico em relação ao conhecimento matemático, isto é, uma prática consistente e articulada à teoria e prática da linguagem matemática. Ao final, indico referenciais para possíveis mudanças no Curso e espero que essas mudanças contribuam para uma aprendizagem significativa na formação de futuros professores de Matemática nas universidades comprometidas com a formação do licenciado em Matemática ou naquelas que fazem uso da própria Matemática.

Alocação e movimentação de contêineres vazios e cheios : um modelo integrado e sua aplicação

O comércio baseado em contêineres é tipicamente desequilibrado com relação às quantidades de contêineres de exportação e de importação. Não é raro haver contêineres não utilizados em um local ao mesmo tempo em que contêineres vazios são necessários em outros. Esta tese apresenta um modelo de rede integrado combinando realocação de contêineres vazios e operações de transbordo de contêineres cheios e vazios. Na rede, os nós representam clientes (demandando contêineres vazios para ser carregados e enviados a outros clientes da rede), companhias de leasing assim como portos e depósitos em terra (pontos de transbordo), enquanto que os arcos representam rotas de transporte (por navio, trem ou caminhão) conectando os nós. O modelo matemático subjacente opera em estágios. Primeiro, a demanda de contêineres vazios é ajustada, considerando os suprimentos e demandas globais dos clientes. A seguir, um modelo de transbordo determina a solução de mínimo custo, considerando transporte, processamento e armazenagem de unidades de contêineres, utilizando programação linear. A partir desse resultado, os roteiros de transporte são registrados e controlados dinamicamente. O processamento continua repetindo os estágios ciclicamente, para um dado horizonte de tempo. O modelo é bastante flexível, permitindo a configuração de vários parâmetros, tais como demanda, tempo de processamento e tempo de armazenagem. Um sistema de simulação foi implementado utilizando parâmetros gerados aleatoriamente, dentro de limites preestabelecidos, a fim de avaliar a complexidade do modelo, testar diferentes soluções e verificar a formulação matemática.

Sistema Aldeia : programação paralela e distribuída em Java sobre Infiniband e DECK

Esse trabalho de dissertação está incluído no contexto das pesquisas realizadas no Grupo de Processamento Paralelo e Distribuído da UFRGS. Ele aborda as áreas da computação de alto desempenho, interfaces simples de programação e de sistemas de interconexão de redes velozes. A máquina paralela formada por agregados (clusters) tem se destacado por apresentar os recursos computacionais necessários às aplicações intensivas que necessitam de alto desempenho. Referente a interfaces de programação, Java tem se mostrado uma boa opção para a escrita de aplicações paralelas por oferecer os sistemas de RMI e de soquetes que realizam comunicação entre dois computadores, além de todas as facilidades da orientação a objetos. Na área a respeito de interconexão de rede velozes está emergindo como uma tentativa de padronização a nova tecnologia Infiniband. Ela proporciona uma baixa latência de comunicação e uma alta vazão de dados, além de uma série de vantagens implementadas diretamente no hardware. É neste contexto que se desenvolve o presente trabalho de dissertação de mestrado. O seu tema principal é o sistema Aldeia que reimplementa a interface bastante conhecida de soquetes Java para realizar comunicação assíncrona em agregados formados por redes de sistema. Em especial, o seu foco é redes configuradas com equipamentos Infiniband. O Aldeia objetiva assim preencher a lacuna de desempenho do sistema padrão de soquetes Java, que além de usar TCP/IP possui um caráter síncrono. Além de Infiniband, o Aldeia também procura usufruir dos avanços já realizados na biblioteca DECK, desenvolvida no GPPD da UFRGS. Com a sua adoção, é possível realizar comunicação com uma interface Java sobre redes Myrinet, SCI, além de TCP/IP. Somada a essa vantagem, a utilização do DECK também proporciona a propriedade de geração de rastros para a depuração de programas paralelos escritos com o Aldeia. Uma das grandes vantagens do Aldeia está na sua capacidade de transmitir dados assincronamente. Usando essa técnica, cálculos da aplicação podem ser realizados concorrentemente com as operações pela rede. Por fim, os canais de dados do Aldeia substituem perfeitamente aqueles utilizados para a serialização de objetos. Nesse mesmo caminho, o Aldeia pode ser integrado à sistemas que utilizem a implementação de soquetes Java, agora para operar sobre redes de alta velocidade. Palavras-chave: Arquitetura Infiniband, agregado de computadores, linguagem de programação Java, alto desempenho, interface de programação.

Texturas de imagens utilizando conceitos de morfologia matemática

A textura é um atributo ainda pouco utilizado no reconhecimento automático de cenas naturais em sensoriamento remoto, já que ela advém da sensação visual causada pelas variações tonais existentes em uma determinada região da imagem, tornando difícil a sua quantificação. A morfologia matemática, através de operações como erosão, dilatação e abertura, permite decompor uma imagem em elementos fundamentais, as primitivas texturais. As primitivas texturais apresentam diversas dimensões, sendo possível associar um conjunto de primitivas com dimensões semelhantes, em uma determinada classe textural. O processo de classificação textural quantifica as primitivas texturais, extrai as distribuições das dimensões das mesmas e separa as diferentes distribuições por meio de um classificador de máxima-verossimilhança gaussiana. O resultado final é uma imagem temática na qual cada tema representa uma das texturas existentes na imagem original.

Produção de sentidos e construção de conceitos na relação ensino/aprendizagem da matemática

Esta tese tem o objetivo de mostrar que o sujeito aprendente, ao se deparar com um conceito matemático já construído por ele, pode, em outro contexto, atribuir-lhe novos sentidos e re-significá-lo. Para tanto, a investigação se apóia em duas teorias filosóficas: a filosofia de Immanuel Kant e a filosofia de Ludwig Wittgenstein. Também buscamos subsídios teóricos em autores contemporâneos da filosofia da matemática, tais como Gilles-Gaston Granger, Frank Pierobon, Maurice Caveing e Marco Panza. No decorrer do processo da aprendizagem, o conceito matemático está sempre em estado de devir, na perspectiva do aluno, mesmo que este conceito seja considerado imutável sob o ponto de vista da lógica e do rigor da Matemática. Ao conectar o conceito com outros conceitos, o sujeito passa a reinterpretá-lo e, a partir desta outra compreensão, ele o reconstrói. Ao atribuir sentidos em cada ato de interpretação, o conceito do objeto se modifica conforme o contexto. As estruturas sintáticas semelhantes, em que figura o objeto, e as aparências semânticas provenientes da polissemia da linguagem oferecem material para as analogias entre os conceitos. As conjeturas nascidas destas analogias têm origem nas representações do objeto percebido, nas quais estão de acordo com a memória e a imaginação do sujeito aprendente. A imaginação é a fonte de criação e sofre as interferências das ilusões provenientes do ato de ver, já que o campo de visão do aluno está atrelado ao contexto no qual se encontra o objeto. A memória, associada às experiências vividas com o objeto matemático e à imaginação, oferece condições para a re-significação do conceito. O conceito antes de ser interpretado pelo aluno obedece às exigências e à lógica da matemática, após a interpretação depende da própria lógica do aluno. A modificação do conceito surge no momento em que o sujeito, ao interpretar a regra matemática, estabelece novas regras forjadas durante o processo de sua aplicação. Na contingência, o aluno projeta sentidos aos objetos matemáticos (que têm um automovimento previsto), porém a sua imaginação inventiva é imprevisível. Nestas circunstâncias, o conceito passa a ser reconstruível a cada ato de interpretação. As condições de leitura e de compreensão do objeto definem a construção do conceito matemático, a qual está em constante mudança.

Aprender matemática : tornar-se sujeito da sociedade em rede

A presente dissertação estuda relações entre o processo de aprendizagem de Matemática e o perfil do sujeito da Sociedade em Rede a partir das interações registradas na Lista de Discussão de e-mail da disciplina de Computador na Matemática Elementar do curso de Licenciatura em Matemática da Universidade Federal do Rio Grande do Sul. Os processos sócio-cognitivos dos licenciandos são analisados para investigar a hipótese de que aprender Matemática com o uso das Tecnologias da Informação contribui para a formação do sujeito da Sociedade em Rede. Estão presentes autores como Manuel Castells, Pierre Lévy e Edgar Morin, que participam da configuração dos novos paradigmas da Sociedade em Rede; Jean Piaget, Antonio Battro e Seymour Papert que, dentro da perspectiva da Epistemologia e da Psicologia Genéticas, contribuem para o estudo da aprendizagem; e Jean-Blaise Grize, que analisa os processos de comunicação Seus aportes teóricos nos permitem entrelaçar as áreas de conhecimento de Psicologia Social e Institucional, Educação (Instituição Escolar) e Matemática. A análise de uma proposta didática apoiada na utilização de Tecnologias da Informação (software Super Logo e Lista de Discussão) nos permite observar o movimento de transição de uma postura passiva, receptora de informações, para uma postura ativa, produtora de conhecimento na qual os sujeitos foram desenvolvendo atitudes, habilidades e competências para detectar e formular problemas, pensá-los sob diferentes perspectivas e equacioná-los; buscar e implementar as melhores soluções; testar e avaliar as soluções encontradas; contextualizar e questionar os caminhos escolhidos para solucionar desafios; operar com os conhecimentos, processá-los e integrá-los em novos sistemas de significação; e saber trabalhar em equipe, tendo disposição para ouvir, contribuir e produzir no e para o grupo.