Sumários
AT06 Gentzen calculus
6 outubro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Demonstração do resultado que existem estrutura de interpretação e atribuição que satisfazem conjunto de Hintikka. Completude do cálculo.
AT05 Cálculo de Gentzen
1 outubro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Correcção das regras de inferência e dos axiomas. Correcção do cálculo. Conjunto de Hintikka.
AT04 Cálculo de Gentzen
29 setembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Derivação. Consequência ao nível dos sequentes e das fórmulas. Satisfação de sequente por estrutura de interpretação. Sequente válido.
AT03 Cálculo de Gentzen
24 setembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Noção de sequente. Sistema dedutivo.
Aula cancelada
22 setembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Aula a ser substituída em data a combinar com os alunos.