2011/2 - Lógica Computacional 2

Ementa

Sintaxe e semântica do cálculo de predicados de primeira ordem. Sistemas dedutivos - sistemas formais: axiomatização do cálculo de predicados. Dedução natural no cálculo de predicados. Tableaux semânticos no cálculo de predicados. Teorema de Herbrand. Resolução no cálculo de predicados. Lógica e programação em Lógica

 

Programa

Aula Data Conteúdo
1 01/08/2011 Apresentação
2 02/08/2011 Sintaxe na Lógica Proposicional
3 08/08/2011 Sintaxe na Lógica Proposicional
4 09/08/2011 Sintaxe na Lógica de Predicados
- 15/08/2011 Feriado
5 16/08/2011 Sintaxe na Lógica de Predicados
6 22/08/2011 Sintaxe na Lógica de Predicados
7 23/08/2011 Semântica na Lógica Proposicional
8 29/08/2011 Semântica na Lógica de Predicados
9 30/08/2011 Semântica na Lógica de Predicados
10 05/09/2011 Semântica na Lógica de Predicados
11 06/09/2011 Semântica na Lógica de Predicados
12 12/09/2011 Exercícios de Sintaxe e Semântica
13 13/09/2011 Avaliação Unidade 1 (Resultados)
14 19/09/2011 Tableaux na Lógica Proposicional
15 20/09/2011 Tableaux na Lógica Proposicional
16 26/09/2011 Tableaux na Lógica de Predicados
17 27/09/2011 Tableaux na Lógica de Predicados
18 03/10/2011 Tableaux na Lógica de Predicados
19 04/10/2011 Tableaux na Lógica de Predicados
20 10/10/2011 Resolução na Lógica de Predicados
21 11/10/2011 Resolução na Lógica de Predicados
22 17/10/2011 Resolução na Lógica de Predicados
23 18/10/2011 Resolução na Lógica de Predicados
24 24/10/2011 Exercícios de Tableaux
25 A marcar Avaliação Unidade 2
26 31/10/2011 Programação em Lógica
27 01/11/2011 Programação em Lógica
28 07/11/2011 Prolog
29 08/11/2011 Prolog
- 14/11/2011 Feriado
- 15/11/2011 Feriado
30 21/11/2011 Prolog
31 22/11/2011 Prolog
32 28/11/2011 Prolog
33 29/11/2011 Entrega do Trabalho
34 05/12/2011 Divulgação de resultado
35 06/12/2011 Preparação para a prova final
36 12/12/2011 Prova final