2012/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 27/11/12 Apresentação
2 29/11/12 Sintaxe na Lógica Proposicional
3 04/12/12 Sintaxe na Lógica de Predicados
4 06/12/12 Sintaxe na Lógica de Predicados
5 11/12/12 Exercícios de Sintaxe na Lógica de Predicados
6 13/12/12 Sintaxe na Lógica de Predicados
7 18/12/12 Semântica na Lógica Proposicional
8 20/12/12 Semântica na Lógica Proposicional
9 24/01/13 Exercícios de Semântica na Lógica de Predicados
10 29/01/13 Revisão
- 31/01/13 Avaliação Unidade 1 (Resultado)
11 05/02/13 Tableaux na Lógica Proposicional
12 07/02/13 Tableaux na Lógica Proposicional
13 14/02/13 Tableaux na Lógica de Predicados
14 19/02/13 Tableaux na Lógica de Predicados
15 21/02/13 Tableaux na Lógica de Predicados
16 26/02/13 Tableaux na Lógica de Predicados
17 28/02/13 Resolução na Lógica de Predicados
18 05/03/13 Exercícios de Tableaux
19 07/03/13 Resolução na Lógica de Predicados
20 12/03/13 Resolução na Lógica de Predicados
21 14/03/13 Exercícios de Resolução na Lógica de Predicados
22 19/03/13 Resolução na Lógica de Predicados
23 21/03/13 Resolução na Lógica de Predicados
- 26/03/13 Avaliação Unidade 2 (Resultado)
24 28/03/13 Programação em Lógica
25 02/04/13 Programação em Lógica (Trabalho)
26 04/04/13 Prolog
27 09/04/13 Prolog
28 11/04/13 Prolog
29 16/04/13 Prolog
30 18/04/13 Prolog
31 23/04/13 Prolog
- 25/04/13 Entrega do Trabalho (Resultado)
- 30/04/13 Prova final