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