Sumários
P05 - Sintaxe da lógica de primeira ordem
9 março 2017, 16:30 • Jaime Ramos
Sintaxe da lógica de primeira ordem. Assinatures. Computabilidade dos conjuntos de termos e fórmulas. Computabilidade da função característica de ocorrência de variável em termo. Variáveis livres e mudas.
AT06 Cálculo de Hilbert para a lógica de primeira ordem
9 março 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Termo livre para variável em fórmula. Axiomas e regras de inferência. Derivação e consequência. Exemplos de derivações.
Propriedades do operador de consequência: extensividade e monotonia.
AT05 Linguagem de primeira ordem
8 março 2017, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjunto dos termos e conjunto das fórmulas. Variável em termo. Ocorrência de variável muda e de variável livre em fórmula. Fórmula fechada.
AP04 - Computabilidade segundo Kleene
3 março 2017, 14:30 • Jaime Ramos
Continuação da aula anterior: exercícios sobre funções computáveis segundo Kleene.
AP03 - Computabilidade segundo Kleene
2 março 2017, 16:30 • Jaime Ramos
Conclusão da aula anterior. Exercícios sobre funções computáveis segundo Kleene.