Sumários
Categorias e functores
7 outubro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Pequena introdução aos conceitos de categoria e functor. Exemplos.
Cálculo de Gentzen
1 outubro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos de Hintikka. Ordens densas.
Eliminação de quantificadores
30 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjunto fechado para combinações Booleanas. Conjunto de eliminação para teoria. Teoria com eliminação de quantificadores. Condição suficiente para a existência de conjunto de eliminação. Caso particular da eliminação de quantificadores. Condição suficiente para que uma teoria seja completa.
Cálculo de Gentzen
28 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Correcção e completude do cálculo de Gentzen.
Cálculo de sequentes
24 setembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão dos exercícios sobre embebimentos. Exercícios sobre derivações e regras derivadas em cálculo de Gentzen.