|
Objetivos |
Conteúdo Programático |
Procedimentos |
Avaliação |
Encontros |
data |
|
|
Apresentação da disciplina |
- Ementa - Conteúdo programático - Critérios de avaliação - Introdução a lógica
|
Aula expositiva |
Argüição aos alunos |
2/2
|
12/12/2012 |
|
|
Apresentação da sintaxe - Lógica proposicional
|
- Alfabeto da lógica proposicional - Formulas da lógica proposicional - Ordem de precedência
|
Aula expositiva |
Argüição aos alunos |
2/4
|
17/12/2012 |
|
|
Apresentação da semântica - Lógica proposicional
|
- Interpretação - Função binária - Função total - Tabela verdade (Interpretação)
|
Aula expositiva |
Argüição aos alunos |
2/6
|
19/12/2012 |
|
|
Apresentação das propriedades da Semântica - Lógica proposicional
|
- Tatulogia, Satisfatibilidade, Contingência, Contradição, conseqüência lógica |
Aula expositiva |
Argüição aos alunos |
2/8
|
14/01/2013 |
|
|
Apresentação dos métodos para determinação de propriedades semântica
|
- Método da tabela verdade |
Aula expositiva |
Argüição aos alunos |
2/10
|
16/01/2013 |
|
| Revisão para Mini Prova | Aula expositiva |
Argüição aos alunos |
2/12 |
21/01/2013 |
||
|
Mini prova
|
|
Aula expositiva |
Argüição aos alunos |
2/14 |
23/01/2013 |
|
| Correção da Mini prova |
Aula expositiva | Argüição aos alunos | 2/16 |
28/01/2013 |
||
|
Relações semânticas entre os conectivos da Lógica Proposicional
|
- Alfabeto simplificado da lógica proposicional - Formas Normais
|
Aula expositiva |
Argüição aos alunos |
2/18 |
30/01/2013 |
|
| Dedução Natural e Apresentação do sistema axiomático formal | - Regras clássicas de inferência | Aula expositiva | Argüição aos alunos | 2/20 Aula |
04/02/2013 |
|
|
Apresentação de Tableaux semântico
|
- Tableaux semântico |
Aula expositiva |
Argüição aos alunos |
2/22
|
06/02/2013 |
|
|
Revisão da prova 1
|
Revisão da prova 1
|
Aula expositiva |
Argüição aos alunos |
2/24 |
18/02/2013 |
|
|
Prova 1
|
|
|
|
2/26
|
20/02/2013 |
|
|
Correção da prova 1
|
Correção da prova 1
|
|
|
2/28
|
25/02/2013 |
|
|
Apresentação da Sintaxe – Lógica de primeira ordem
|
- Alfabeto da lógica - Variáveis - Funções e predicados - Constantes e símbolos - Conectivos - Elementos básicos da linguagem - Fórmulas
|
Aula expositiva |
Argüição aos alunos |
|
27/02/2013 |
|
|
Apresentação da Sintaxe – Lógica de primeira ordem |
- Alfabeto da lógica - Variáveis - Funções e predicados - Constantes e símbolos - Conectivos - Elementos básicos da linguagem - Fórmulas
|
Aula expositiva |
Argüição aos alunos |
2/32
|
04/03/2013 |
|
|
Apresentação da Semântica - Lógica de primeira Ordem |
- Interpretação de funções, variáveis e predicados - Regras semânticas da interpretação |
Aula expositiva |
Argüição aos alunos |
2/34 |
06/03/2013 |
|
|
Apresentação da Prolog - Introdução a programação em lógica
|
Introdução a Prolog |
Aula expositiva |
Argüição aos alunos |
2/36
|
11/03/2013 |
|
|
Aula Pratica de Programação Lógica
|
Prática Prolog |
Aula expositiva |
Argüição aos alunos |
2/38
|
13/03/2013 |
|
|
Revisão da prova 2
|
Revisão da prova 2 |
Aula expositiva |
Argüição aos alunos |
2/40 |
18/03/2013 |
|
|
Prova 2
|
|
Aula expositiva |
Argüição aos alunos |
2/42 |
20/03/2013 |
|
|
Correção da prova 2 |
|
Aula expositiva |
Argüição aos alunos |
2/44 |
25/03/2013 |
|
|
Aula Pratica de Programação Lógica - Construção dos projetos
|
|
|
|
2/46 |
27/03/2013 |
|
|
Aula Pratica de Programação Lógica - Construção dos projetos
|
|
|
|
2/48 |
01/04/2013 |
|
|
|
|
Aula expositiva |
Argüição aos alunos |
2/50 |
03/04/2013 |
|
Apresentação dos projetos Prolog |
|
Aula expositiva |
Argüição aos alunos |
2/52 |
08/04/2013 |
|
Seminários |
|
Aula expositiva |
|
2/54 |
10/04/2013 |
|
|
Seminários
|
|
Aula expositiva |
Argüição aos alunos |
2/56 |
15/04/2013 |
|
|
2ª Chamada Acumulativa
|
|
Aula expositiva |
Argüição aos alunos |
2/58 |
17/04/2013 |
|
|
Prova final |
|
Aula expositiva |
Argüição aos alunos
|
2/60 |
22/04/2013 |
|