05-Ago
Exibição do video-clip Great Scientists: Aristotle, Allan Chapman
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Lógica Aristotélica
10-Ago
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
12-Ago
(Mini-Prova)
Conjuntos Indutivamente Definidos
17-Ago
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
19-Ago
(Mini-Prova)
Conjuntos Livremente Gerados
24-Ago
Teorema da Extensão Homomórfica Única
26-Ago
Definição por Recursão sobre Conjuntos Indutivos
31-Ago
Provas por Indução sobre Conjuntos Indutivos
02-Set
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
09-Set
(Mini-Prova)
Busca de Valoração: Método dos Tableaux
14-Set
Método da Resolução
16-Set
(Mini-Prova)
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
21-Set
Normalizaçção de Provas
23-Set
Teorema da Compaccidade (Finitude)
28-Set
Primeira Prova
30-Set
Lógica de Primeira Ordem
Estruturas
05-Out
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
07-Out
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
14-Out
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
19-Out
Forma Normal de Skolem
21-Out
(Mini-Prova)
Algoritmo da Unificação
26-Out
Resolução para Primeira Ordem
28-Out
Teorema de Herbrand
04-Nov
Teorema de Löwenheim-Skolem
09-Nov
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
11-Nov
Aritmética de Peano
16-Nov
Funções recursivas primitivas
18-Nov
Funções recursivas parciais
23-Nov
(Mini-Prova)
Conjuntos recursivamente enumeráveis
25-Nov
Incompletude da Aritmética (Gödel)
02-Dez
Incompletude da Aritmética (cont.)
07-Dez
Segunda Prova
e entrega dos Exercícios do Tarski's World
09-Dez
Segunda Chamada
14-Dez
Prova Final
Última atualização: 7 de Agosto de 2009, 10:40am GMT-3