03-Mai
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Silogismos
08-Mai
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
10-Mai
(Mini-Prova)
Conjuntos Indutivamente Definidos
15-Mai
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
17-Mai
(Mini-Prova)
Provas por Indução sobre Conjuntos Indutivos
Conjuntos Livremente Gerados
Teorema da Extensão Homomórfica Única
22-Mai
Lógica Proposicional: Sintaxe
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
24-Mai
O Conceito de Satisfatibilidade
29-Mai
O Problema SAT e correlatos
31-Mai
(Mini-Prova)
Busca de Valoração: Método dos Tableaux
05-Jun
Busca de Valoração: Método dos Tableaux (cont.)
12-Jun
Método da Resolução
14-Jun
(Mini-Prova)
Dedução Natural (Gentzen)
19-Jun
Noção de Prova Formal (Gentzen)
21-Jun
Teorema da Compaccidade (Finitude)
26-Jun
Primeira Prova
28-Jun
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
03-Jul
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
05-Jul
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
10-Jul
Forma Normal de Skolem
12-Jul
(Mini-Prova)
Algoritmo da Unificação
17-Jul
Resolução para Primeira Ordem
19-Jul
Teorema de Herbrand
24-Jul
(Mini-Prova)
Sistemas Axiomáticos (Euclid, Hilbert)
26-Jul
Completude, Incompletude
31-Jul
Aritmética de Peano
Funções recursivas primitivas
02-Ago
Funções recursivas parciais
07-Ago
(Mini-Prova)
Conjuntos recursivavemente enumeráveis
Decidibilidade
09-Ago
Incompletude da Aritmética (Gödel)
14-Ago
Revisão
16-Ago
Segunda Prova
e entrega do Tarski
21-Ago
Segunda Chamada
23-Ago
Prova Final
Última atualização: 16 de Maio de 2007, 12:10pm GMT-3
ATENÇÃO: Newsgroup
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if673.