Está aqui

/ Matemática /
Voltar ao Topo

Matemática

    Mini-courses on Dynamics and Differential Equations

    "KAM theory and Celestial Mechanics", por Alessandra Celletti, "Topological degree and periodic solutions of ODEs" por Fabio Zanolin e "Geometrical ideas in mechanics from Archimedes to Hamilton, Einstein, Poincaré and beyond", por Mark Levi, são três mini-cursos de Primavera e Verão em breve no Departamento de Matemática.

    Os cursos são dirigidos sobretudo a alunos de mestrado e doutoramento em Matemática e Física, mas abertos a todos os interessados.

    A inscrição é gratuita, mediante inscrição prévia por e-mail.

    Two functional interpretations of arithmetic: the ‘dialectica’ interpretation of Gödel and the monotone interpretation of Kohlenbach (conclusion)

    Ana Borges
    Instituto Superior Técnico, Universidade de Lisboa

    In this talk we present two functional interpretations of arithmetic: Gödel's functional or `dialectica' interpretation and Kohlenbach's monotone functional interpretation, which is a modification of the first. On the way, we describe weakly extensional Heyting arithmetic in all finite types, Bezem's strong majorizability notion and Howard’s majorizability theorem.

    Curso Livre de Geometria Analítica no Ensino Secundário

    Estas ações integram-se nos Cursos Livres de Ciências (CLC), cursos com um grau de exigência e uma avaliação que seguem as regras usuais de CIÊNCIAS. Todos estes cursos têm associados ECTS. 

    Para além das horas de contacto, a inscrição inclui acesso a horas de esclarecimento de dúvidas. Serão atribuídos, a cada formando que complete a formação com sucesso, não só os certificados das ações de formação mas também o certificado do CLC.

    Introduction to Random Matrix Theory

    Miguel Tierz
    GFMUL

    We will give a simple introduction to random matrix theory. We will start by presenting some of the motivations for the study of random matrices, giving some historical perspective on the subject while also highlighting some of the more prevalent current applications. The definition of a random matrix ensemble will be given and its implications analyzed by showing how to work with the joint probability distribution function of the eigenvalues.

    Páginas