Sumários

Exercícios sobre eliminação de quantificadores por via semântica

9 novembro 2017, 16:00 • João Rasga

Realização de exercícios envolvendo teoria das categorias.

AT08 Condição suficiente para que teoria tenha eliminação de quantificadores

7 novembro 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Diagrama e diagrama simples de estrutura de interpretação. Demonstração sobre a existência de embebimento entre duas estruturas de interpretação em
uma delas satisfaz o diagrama simples da outra. Condição necessária e suficiente para que seja possível, no contexto de uma teoria, obter fórmula sem
quantificadores equivalente a fórmula dada.

Exercícios sobre eliminação de quantificadores por via semântica

2 novembro 2017, 16:00 • João Rasga

Realização de exercícios sobre adjunções.

AT07 Adjunção e teorias completas para modelos

31 outubro 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Adjunção. Exemplo da categoria das quasi-ordens e das ordens parciais. Teoria completa para modelos. Demonstração de que uma teroria em que todos os modelos
satifazem as mesmas fórmulas fechadas é completa. Condição suficiente para que teoria seja completa: existência de modelo inicial e que seja completa para modelos.

Exercícios sobre eliminação de quantificadores por via simbolica

26 outubro 2017, 16:00 • João Rasga

Realização de exercícios sobre eliminação de quantificadores por via simbólica.