Nome, Horário e Local de Atendimento dos Monitores
Eduardo Lourenço
Eduardo Wagner - ewma
Eduardo Franklin - ehcf
André Feitozaz - afm4
Danilo Lima Veras - dlv
Fernando Kakimoto - fvk
Icamaan Viegas - ibvs
Nicole Sultanum - nbs2
Chico - fmps
dlam
Bibliografia: Livro e CD (software) pode ser usado para aulas práticas:
Programação de Aulas (sujeita a alterações):
Objetivo da disciplina;
origem e relação com a
computação Ementa; bibliografia; metodologia e método
de avaliação Conseqüência e inferência lógica
Caps 1 e 2 - Nunes
Cap. 2 -
Chang-Lee Revisão de m Cap. 1
- Guilherme Apresentação de proposta(s) de
projeto ...
Tableaux semânticos para Lógica de
Predicados Decidibilidade:
Corretude e Completude (12-14:00) (não definido)
ATENÇÃO: Newsgroup
Última atualização: 10 de Maio de 2006, 16:33hs
Material
Transps.
X
13-jun
Jogo do
Brasil (na hora da aula)
X
X
15-jun
Feriado:
Corpus Christi
X
20
X
22
Jogo do
Brasil (na hora
da aula)
X
X
27
Jogo do
Brasil (antes
da aula)
X
3
Transps.
4
Tabela-Verdade, Satisfatibilidade
Caps. 2 e 3 - Nunes
Transps.
5
Tabela-Verdade, Satisfatibilidade
Caps. 2 e 3 - Nunes
Transps
e as da aula anterior
08
6
Caps. 3 e 4 - Nunes
Transps.
X
13-jul
Mini-prova:
7
Relações semânticas entre
conectivos; formas normais
Cap. 6 - Nunes
Transps.
8
Métodos de inferência:
Cap. 7 - Nunes
Transps.
9
20
Métodos de inferência:
Cap. 7 - Nunes
aula anterior
Cap. 8 - Nunes
Transps.
18
27-jul
Cap. 8 - Nunes
aula anterior
1
Cap. 8 - Nunes
Transps.
3
Métodos de inferência
Cap. 8 - Nunes
aula anterior
Bíblia :)
Histórico (silogismos, axiomatização da matemática,
Leibnitz, Frege, Peano,
Tarski, Hilbert, Gentzen, Gödel, Robinson, programação em lógica)
Cap. 1 - Walicki
Transps.
28
15-ago
Cap. 9 - Nunes
Transps.
Cap. 10 - Nunes
Transps.
22
Aula Prática: Programação em Lógica - (Prolog)
Curso
de Jacques
19
24-ago
Sistemas de Prova: Corretude, Completude
Cap. 11 - Nunes
Transps.
Tableaux semânticos para Lógica de
Predicados
Cap. 13 - Nunes
Transps.
38
Mini-Prova: Lógica de
Predicados(Sintaxe e Semântica)
21
31
Forma Normal de Skolem
Cap. 14 - Nunes
Transps.
5
Cap. 14 - Nunes
Transps.
X
7-set
Feriado:
Dia da Independência do Brasil
X
12-set
Cap. 14 - Nunes
Transps
44
14-set
Programação em lógica
Cap. 15 - Nunes
Transps.
46
19-set
Entrega e discussão dos projetos
X
19-set
Mini-Prova: Resolução
para Lógica de Predicados
26
21
Cap. 7 e 12 - Nunes
27
26
Cap. 19 - Barwise
52
28
Bíblia :)
54
3-out
Cap. 19 - Barwise
X
5
Bíblia, Alcorão e Torá
X
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if673.