Sumários
AP07 Semântica
29 março 2012, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Execícios sobre satisfação e não satisfação de fórmulas por estrutura de interpretação.
AT13 Satisfação, consequência semântica e validade
29 março 2012, 15:00 • Amilcar Sernadas
Estrutura de interpretação. Atribuição. Denotação de termo. Satisfação local e global. Validade. Consequência semântica. Exemplos.
AT12 Apresentações e teorias
27 março 2012, 15:00 • Amilcar Sernadas
Noção de teoria, teoria coerente e teoria exaustiva. Primeiros exemplos. Apresentações de teorias. Teorias axiomatizáveis, teorias decidíveis e teorias semi-decidíveis. Resultados fundamentais: decidibilidade de teoria exaustiva e semi-decidível; enumerabilidade computável de teoria axiomatizável; teorema de Craig (toda a teoria semi-decidível é axiomatizável).
Motivação da noção de estrutura de interpretação.
AP06 Cálculo de Hilbert
22 março 2012, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre metateoremas da dedução, da contradição e da substituição de equivalentes.
AT11 Semidecidibilidade da lógica de 1a ordem
22 março 2012, 15:00 • Amilcar Sernadas
Enumerabilidade computável do fecho por derivação de conjunto computavelmente enumerável.
Noção de teoria, teoria coerente e teoria exaustiva. Primeiros exemplos.