Aprendizagem das funções e sistemas de equações no 8.º ano com recurso à calculadora gráfica

Este estudo, realizado no 8.º ano de escolaridade, tem como principal objetivo compreender como a calculadora gráfica medeia a aprendizagem das Funções e dos Sistemas de Equações. Foca-se na aprendizagem que os alunos fazem destes conceitos, na relação que estabelecem entre as várias representações e no modo como utilizam a calculadora gráfica na realização das tarefas propostas. Ao longo deste estudo, procura-se responder às seguintes questões: Como é que os alunos usam a calculadora gráfica na resolução de tarefas que envolvem Funções e Sistemas de Equações? Como é que os alunos integram o uso de diferentes representações do conceito de Função? Qual o papel deste artefacto enquanto mediador das aprendizagens? Far-se-á o enquadramento teórico baseado na literatura de referência, no que respeita ao processo de apropriação da calculadora gráfica por parte dos alunos; à álgebra e ao pensamento algébrico; às Funções e diferentes representações; aos Sistemas de Equações; à calculadora gráfica; ao papel do professor; às tarefas e à modelação matemática. Seguiu-se uma metodologia de investigação de natureza qualitativa, baseada num estudo de caso referente a alunos com desempenhos académicos distintos. A recolha de dados foi baseada na observação de aulas, nos registos escritos pelos alunos e na análise dos procedimentos recolhidos das calculadoras gráficas ao longo da realização das tarefas propostas. A investigadora assumiu, essencialmente, o papel de observadora participante. Da análise dos dados pode constatar-se que no seu trabalho com Funções e Sistemas de Equações, os alunos, optam muitas vezes pelo uso da calculadora gráfica, nomeadamente em questões relacionadas com a representação gráfica, no entanto, conseguem usar de forma eficaz as várias representações. As conclusões alcançadas apontam sobretudo para uma forma diferente de olhar estes temas quando a abordagem é feita através de várias representações com recurso à calculadora gráfica. Esta ferramenta, além de ser utilizada de diferentes modos, desempenhou um papel fundamental como mediadora das aprendizagens desenvolvidas.

Os sistemas de informação geográfica e a análise multicritério para o estudo da acessibilidade e mobilidade da rede escolar no município da Humpata (Angola)

O presente trabalho faz uma abordagem aos Sistemas de Informação Geográfica (SIG) e a análise multicritério (AMC) para o estudo da acessibilidade da rede escolar do município de Humpata, província da Huíla, situada em Angola. Neste trabalho pretende-se demonstrar as dificuldades de acessibilidade e mobilidade tendo em conta aos principais factores que condicionam a rede escolar e também a acessibilidade em termos de oferta e recursos, analisando com algum pormenor as condições de ensino que as escolas oferecem. Por outro lado foram também elaborados modelos de velocidade com o objectivo de verificar a distância-tempo percorrida pelos usuários considerando o declive do terreno. Ficou demonstrado que, para o estudo da acessibilidade da rede escolar, o uso dos SIG e a AMC fornecem resultados com relevância na tomada de decisão. A AMC conjugada com a álgebra de mapas, permitiu registar as disparidades de acessibilidade entre diferentes povoações que compõem o município. Aconselha-se por isso a utilização de ferramentas de análise espacial como os SIG, em contextos como o do município de Humpata onde os recursos escassos devem ser bem geridos, de forma a levar os serviços públicos e privados à maior parte da população e às povoações que mais necessitam através da localização óptima dos futuros serviços, que no caso das instituições escolares concorrera para garantia do sucesso escolar.

A relational algebra approach to ETL modeling

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Geometría de variedades localmente homogéneas

Dado un espacio homogéneo G/K con descomposición g=k + p, de su álgebra de Lie, una estructura en p invariante por Ad k, produce una estructura en G/K tal que los elementos de G son automorfismo. Si L es un subgrupo discreto de G, la variedad L/G/K es localmente homogénea y hereda la estructura de G/K. Los temas de investigación propuestos en geometría de variedades localmente homogéneas son: 1- Grupos de tipo H y extensiones solubles. 2- Nilvariedades homogéneas de dim 3 y 4. 3- Estructuras hipercomplejas en nilvariedades de dim 8. 4- Estructuras hermitianas en espacios simétricos. 5- Variedades compactas flat con holon Zsub2 m's Zsub2. 6- Construcción de variedades de HW generalizadas. 7- Variedades planas hiperkahlerianas.

K-invariantes en el algebra universal de un grupo de Lie semisimple

Tarea (A):(...) Trataremos de extender a Sp(n,1) los resultados conseguidos sobre la imagen del homomorfismo de Lepowsky cuando G es SO(n,1) ó SU(n,1). (...) Tarea (B): (...) Para todo grupo de Lie de rango uno, con rango (G) = rango (K), los elementos del álgebra B son W-invariantes y que este resultado ya ha sido establecido para los grupos SO(2n,1) y SU(n,1); durante el período correspondiente a este subsidio esperamos extender este resultado a todo grupo de Lie de rango uno con rango (G) = rango (K). Tarea (C): Durante este período esperamos también avanzar en la determinación del dual unitario del grupo Spin (2n,C).

Algebras de Lie de tipo H

Es mi intención centrar mis investigaciones en los próximos años en las álgebras de Lie tipo H. Es nuestro objetivo encontrar nuevas familias de álgebras regulares no de tipo H y verificar la existencia o no de irreducibles cumpliendo de estas propiedades. En particular es interesante plantear su cuantización, es decir encontrar estructuras de álgebras de Hopf que sean deformaciones del álgebra envolvente correspondiente al álgebra de Lie en estudio. En particular estudiaremos si existen cuantizaciones quasitriangulares lo que nos llevaría soluciones de la ecuación de Yang-Baxter cuántica. Hasta ahora hemos logrado la cuantización en ciertos casos particulares. Para comprender cómo deben ser hechas las cuantizaciones en forma más general es necesario realizar un estudio sistemático de las estructuras de la biálgebra de las álgebras de Lie de tipo H. En particular se tratarán de detectar estructuras de biálgebra quasitriangulares y por consiguientes soluciones de la ecuación de Yang-Baxter clásica. Es un resultado conocido que las funciones de theta se pueden expresar como coeficiente matricial de la representación de Stone-Von Neumann. De los teoremas de Stone-Von Neumann para álgebras de tipo H surgen entonces funciones que serían una generalización de las funciones theta; es nuestro objetivo encontrar propiedades de estas funciones que puedan ser de interés.

Estructura, representaciones y cohomología de álgebras de Lie nilpotents. Structure, represntations and cohomology of nilpotent Lie algebras.

El objetivo de este proyecto es obtener resultados de calidad en el área de las representaciones y cohomología de álgebras de Lie complejas nilpotentes de dimensión finita. Los objetivos específicos son (1) Demostrar que la familia de nilradicales parabólicos de las subálgebras de Lie semisimples satisfacen la conjetura del rango toral. (2) Calcular explícitamente la cohomología, aunque sea en grados bajos, de las álgebras de Lie 3-pasos nilpotentes libres y las álgebras $\mathfrak{gl}(2,A_{k})$ donde $A_{k}$ es el álgebra de quiver truncada en $k$ asociada a un quiver cíclico de $k$ flechas (y $k$ vértices). (3) Determinar explícitamente qué diagramas de Young aparecen en la cohomología, calculada por Kostant, de los nilradicales parabólicos de las subálgebras de Lie semisimples. (4) Mejorar las actuales cotas para las representaciones fieles de dimensión mínima de álgebras de Lie 3-pasos nilpotentes.

Shellability of noncrossing partition lattices

We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type Dn and those of exceptional type and rank at least three.

Valuations, intersections et fonctions de Belyi

We present in this article several possibilities to approach the height of an algebraic curve defined over a number field : as an intersection number via the Arakelov theory, as a limit point of the heights of its algebraic points and, finally, using the minimal degree of Belyi functions.

Petits points et conjecture de Bogomolov

This paper is devoted to the statement known as the Bogomolov conjecture on small points. We present the outline of Zhang’s proof of the generalized version of the conjecture. An explicit bound for the height of a non-torsion variety of an abelian variety is obtained in the frame of Arakelov theory. Some further developments are mentioned.

Semigroups of matrices of intermediate growth

Finitely generated linear semigroups over a field K that have intermediate growth are considered. New classes of such semigroups are found and a conjecture on the equivalence of the subexponential growth of a finitely generated linear semigroup S and the nonexistence of free noncommutative subsemigroups in S, or equivalently the existence of a nontrivial identity satisfied in S, is stated. This ‘growth alternative’ conjecture is proved for linear semigroups of degree 2, 3 or 4. Certain results supporting the general conjecture are obtained. As the main tool, a new combinatorial property of groups is introduced and studied.

Polynomial and linearized normal forms for almost periodic differential systems

"Vegeu el resum a l'inici del document del fitxer adjunt."

On the injectivity of the Kudla-Millson lift and surjectivity of the Borcherds lift

We consider the Kudla-Millson lift from elliptic modular forms of weight (p+q)/2 to closed q-forms on locally symmetric spaces corresponding to the orthogonal group O(p,q). We study the L²-norm of the lift following the Rallis inner product formula. We compute the contribution at the Archimedian place. For locally symmetric spaces associated to even unimodular lattices, we obtain an explicit formula for the L²-norm of the lift, which often implies that the lift is injective. For O(p,2) we discuss how such injectivity results imply the surjectivity of the Borcherds lift.