Está aqui

/ Atualidade / Eventos / Decidability of first-order theories /
Voltar ao Topo
    
Seminário de Lógica Matemática

Decidability of first-order theories

Sala 6.2.33, FCUL, Lisboa

Por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa).

Abstract: Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Cartaz

http://cmafcio.campus.ciencias.ulisboa.pt/

CMAFcIO
Matemática
Lógica
Composição de imagens relativas à área das ciências forenses
Introdução às Ciências Forenses

O curso visa dotar os formandos com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses - candidaturas até 27 de julho.
Cientista a trabalhar com tubos de ensaio
Introdução às Análises Clínicas

Os participantes neste curso irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado - candidaturas até 27 de julho.
Gotas de água
Avaliação da Qualidade Ecológica das águas de transição no âmbito da Diretiva Quadro de Água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA) - candidaturas até 31 de agosto.
Saída de campo (Geologia)
Rocha Amiga

O curso, com candidaturas até 20 de julho, convida os professores do Ensino Básico e Secundário a explorar a Geologia a partir das rochas que afloram nas imediações da sua escola.
Composição de três imagens relativas à área da deteção remota
Deteção Remota Aplicada ao Oceano

2.ª edição do curso, com candidaturas até 18 de outubro.
ICMWIA - International Conference on Medical Microwave Imaging Applications

The conference aims to bring together key experts in the Medical Microwave Imaging (MMWI) field and will include invited talks, presentations and posters of peer-reviewed abstracts and conference papers, and workshops in satellite areas of research that are of interest to MMWI research.

Páginas