O computador no ensino da Matemática: uma contribuição para o estudo das concepções e práticas dos professores

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Identidade profissional dos professores de Matemática: processos de formação

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

A construção da identidade profissional dos professores do ensino secundário: um estudo centrado em professores de Português, Matemática e Economia

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

O acompanhamento local como modelo de desenvolvimento curricular em matemática

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Problemas de programação matemática com restrições lineares de equilíbrio

Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.

Teoria básica das estruturas conceptuais

As Estruturas Conceptuais são um formalismo de representação de conhecimentos baseado em grafos, os chamados grafos conceptuais. A teoria foi inicialmente desenvolvida por John Sowa há dez anos. desde então, uma comunidade científica cada vez mais ampla tem-na utilizado em muitas áreas de aplicação e propôs várias alterações à teoria original. Também está em desenvolvimento uma implementação estado-da-arte gratuita e, além disso, os grafos conceptuais foram adoptados num padrão ANSI em preparação. Apesar desta actividade não existe de facto uma definição formal, completa, consistente e revista da Teoria das Estruturas Conceptuais. Esta dissertação vem contribuir para essa definição ao estender, refinar e clarificar as noções básicas da teoria. A clarificação dos grafos conceptuais em * grafos sintacticamente correctos, * grafos bem tipados, * grafos ontologicamente correctos, chamados grafos canónicos, * e grafos verdadeiros é a base da clarificação do significado das várias noções e serve de guia às extensões e aos refinamentos introduzidos. As principais extensões foram feitas no sistema de tipos e no esquema de dependências entre vértices de grafos, e o refinamento de quase todos os aspectos da teoria - em particular das regras de formação de grafos canónicos e de regras de inferência para os grafos verdadeiros - inclui o tratamento formal de algumas propostas informais de outros autores.

Ensino e aprendizagem da matemática com recurso ao CD-ROM escola virtual

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Ensino da Matemática

A matemática e o jogo: Influência no rendimento escolar

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Ciências da Educação especialidade em Educação e Desenvolvimento

Modelação matemática da qualidade da água em sistemas albufeira-rio

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia do Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Modelos de apreçamento e cobertura para derivados sobre matérias-primas (Commodities)

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Matemática e as suas aplicações-Ramo Ciências Actuariais

Italo Calvino e a matemática: o axiomático e o narrativo na construção simbólica do mundo

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em História e Filosofia da Ciência

A matemática nos cursos profissionais

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Educação − Área de Especialização em Análise e Intervenção em Educação

Ecologia da alga agarófita Gelidium sesquipedale. Modelação matemática da produtividade e dinâmica populacional

Dissertação apresentada para obtenção do Grau de Doutor em Ciências do Ambiente pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia