Análise Funcional Professor: Vladimir Pestov Nível: Doutorado Ch: 60 horas Data: de 09 de Janeiro a 28 de Fevereiro de 2023, hora: seg/ter/qua de 09:30 às 12:00 Ementa: Espaços Vetoriais Normados. Espaços de Banach. Espaço quociente. Operadores lineares e seus adjuntos. Teorema de Hahn-Banach. Teorema da limitação uniforme. Teorema do gráfico fechado. Teorema da aplicação aberta. Topologias fraca e fraca*. Teorema de Banach-Alaoglu. Espaços reflexivos. Espaços de Hilbert. Conjuntos ortonormais. Teorema da representação de Riesz. Operadores compactos. Teoria espectral de operadores compactos auto-adjuntos. |
||
Introdução às Variedades Diferenciáveis Professor: Weiller Felipe Chaves Barboza Nível: Mestrado Ch: 60 horas Data: de 09 de Janeiro a 28 de Fevereiro de 2023, hora: seg/ter/qua de 14:00 às 16:30 Ementa: R^n e Espaços Euclidianos, Variedades Topológicas, Variedades Abstratas, Diferenciabilidade, Jacobianos, Espaço Tangente, Campos de Vetores em abertos de R^n, Teorema da Função Inversa, o Posto de um mapa, definição de Variedade Diferenciável, Imersões, Submersões e Mergulhos, Subvariedades, Grupos de Lie, Ação de um Grupo de Lie em uma Variedade, Grupos de Transformações, Ação de um Grupo Discreto, Variedades de Cobertura, campos de vetores, Ação de Grupos a um parâmetro em uma variedade, Teorema da Existência de EDO'S, Subgrupos de Lie a um parâmetro, A álgebra de Lie de Campos de Vetores em uma Variedade, Teorema de Frobenius, Espaços Homogêneos, campos de Covetores, Formas bilineares, Partições da Unidade (algumas aplicações), Campos de Tensores, Multiplicação exterior, Álgebra Exterior, Orientação de Variedades, Derivada Exterior. |
||
Introdução à Teoria dos Números |
Geometria Tórica |
||
Atratores globais para sistemas dinâmicos não lineares Professor: Flank Bezerra (UFPB) Data: de 30 de Janeiro a 15 de Fevereiro, seg-qua-sex das 14h às 16h Ch: 16 horas Resumo: Neste minicurso introduziremos o conceito de atratores globais para sistemas dinâmicos não lineares, apresentaremos resultados que colecionam condições necessárias e suficientes para existência de tais objetos, bem como apresentaremos alguns exemplos e direções que podem nortear pesquisas científicas envolvendo esses conceitos. Período de inscrições: 21 de novembro a 3 de janeiro de 2022 |
||
Lattice Based Methods for Causal Artificial Intelligence Professor: Tom Hanika Universidade: Universität Kassel (Alemanha) Data: 27 e 28 de Fevereiros às 16h e 01 de Março às 10h Ch: 06 horas Resumo: In this mini-course, we will explore the use of order relations and, in particular, lattices in the realm of machine learning and knowledge representation. To this end, we introduce the mathematical foundations of Formal Concept Analysis, such as the basic theorem, the computation and representation of hierarchies and Horn clauses in data, and the principles of continuous scaling. Furthermore, we will focus on related topics, e.g., Probably Approximately Correct learning closure systems and novel approaches for determining the intrinsic dimension of geometric data. In conclusion, we demonstrate how the mathematical properties of the lattices enable the explainability of AI computations and even the tracing of the causal roots of AI decisions. |