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 |