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 |