Com o objetivo de assinalar o Ano Europeu do Património Cultural 2018, a Academia de Ciências de Lisboa acolhe o colóquio Matemática e Património Cultural.

A disciplina de Atividade Seguradora é oferecida aos alunos do Mestrado em Matemática Aplicada à Economia e Gestão ao abrigo de um protocolo de colaboração assinado entre Ciências ULisboa e a Fidelidade. O seu principal objetivo é dar formação técnico-profissional avançada para a prática na área dos seguros e do atuariado. Nesse sentido, a disciplina está dividida em módulos, que são lecionados por atuários e diferentes diretores de departamentos da Multicare e da Fidelidade.

Por Pedro Filipe (Instituto Superior Técnico, Universidade de Lisboa).

Abstract: The compactness theorem is one of the key ingredients used in Lindstrom's Theorem that characterizes first-order logic and follows directly from Godel's completeness theorem, given the finite nature of proofs. In time, alternative proofs were found that don't require the usage of a formal proof system. In this seminar we will show one of these alternative proofs using ultrafilters and ultraproducts.

Exposição patente ao público até 31 de março de 2019 (dias úteis, 08h00 às 19h30).

Esta mostra surge como um breve olhar sobre algumas das aplicações da matemática na biologia, exemplos de como eliminando fronteiras se consegue ir mais longe.

Conceção e Textos: Ana Maria Eiró; António Monteiro; Carlos Albuquerque; Cristina Luís; José Francisco Rodrigues; Luís Mateus; Pedro Moura; Suzana Nápoles; Tiago Marques
Design gráfico: João Sotomayor

Por Benito Pires (Universidade de São Paulo).

Por Jocelyn Lochon (CEAFEL, Universidade de Lisboa).

Por Flávio U. Coelho (Universidade de São Paulo, Brasil).

Por Loic Bourdin (University of Limoges, France).

Por Maurício Misquero (Universidade de Granada).