Natural term logic
Seminário de Lógica Matemática, por Bruno Dinis (Universidade de Évora and CIMA - Centro de Investigação em Matemática e Aplicações).
Matemática
Modelling and inference for the body and tail regions of multivariate data
Nesta sessão, apresentada por Lídia André (PhD), serão discutidos novos modelos de dependência capazes de representar simultaneamente as regiões centrais e extremas de distribuições multivariadas, com especial ênfase em métodos de inferência modernos baseados em redes neuronais.
Fernando Pereira, antigo aluno de CIÊNCIAS e vice-presidente da Google Deepmind: “A matemática é o meu superpoder”
Especialista em Inteligência Artificial passou por Lisboa
Feira da Matemática arranca esta sexta com rostos conhecidos de CIÊNCIAS
Evento tem lugar no Museu de História Nacional de História Natural e das Ciências
The Philosophical Significance of Gödel's Dialectica Interpretation
Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, Society of Fellows and Department of Philosophy).
XII Feira da Matemática
A Feira da Matemática regressa ao MUHNAC e conta, um vez mais, com a participação de vários docentes e estudantes de CIÊNCIAS!
Functional Interpretations and Proof Mining
Seminário de Lógica Matemática, por Paulo Firmino (Faculdade de Ciências da Universidade de Lisboa).
Conic o-minimal sheaves, Part III - Characterizations of conic o-minimal sheaves
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part II - Sheaves on the conic o-minimal spectrum
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part I - Properties of conic definable sets
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).