19-Set
24-Set
26-Set
01-Out
03-Out
08-Out
10-Out
15-Out
17-Out
22-Out
24-Out
29-Out
31-Out
05-Nov
07-Nov
12-Nov
14-Nov
19-Nov
21-Nov
26-Nov
28-Nov
03-Dez
05-Dez
10-Dez
02-Jan
07-Jan
09-Jan
14-Jan
16-Jan
21-Jan
23-Jan
28-Jan
30-Jan
Última atualização: 02 de Janeiro de 2008, 12:51pm GMT-3
ATENÇÃO: Newsgroup
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if673.
Monitores
Eduardo Wagner Marques de Almeida (ewma) (Coordenador)
Andre Melo (afpm)
Flávia Renata Costa Chaves (frcc)
Yane Wanderley dos Santos Rodrigues (ywsr)
Victor Hugo Queiroz da Rocha (vhqr)
Regras gerais para condução da disciplina
aqui
Charadas
de Smullyan: aqui
Bibliografia (tradução (parcial) para o português de alguns itens da bibliografia)
Language, Proof and Logic, Jon Barwise & John Etchemendy, CSLI Publications, 2002, ISBN 157586374X. (Acompanha o software educativo Tarski's World)
Programação de Aulas
17-Set
Apresentação do Curso
Preliminares Matemáticos
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Silogismos
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
(Mini-Prova)
Conjuntos Indutivamente Definidos
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
(Mini-Prova)
Provas por Indução sobre Conjuntos Indutivos
Conjuntos Livremente Gerados
Teorema da Extensão Homomórfica Única
Lógica Proposicional: Sintaxe
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
O Problema SAT e correlatos
(Mini-Prova)
Busca de Valoração: Método dos Tableaux
Busca de Valoração: Método dos Tableaux (cont.)
Método da Resolução
(Mini-Prova)
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
Teorema da Compaccidade (Finitude)
Primeira Prova
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
Forma Normal de Skolem
(Mini-Prova)
Algoritmo da Unificação
Resolução para Primeira Ordem
Teorema de Herbrand
Teorema da Compaccidade
Teorema da Compaccidade (cont.)
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
Aritmética de Peano
Funções recursivas primitivas
Funções recursivas parciais
(Mini-Prova)
Conjuntos recursivavemente enumeráveis
Incompletude da Aritmética (Gödel)
Incompletude da Aritmética (cont.)
Segunda Prova
e entrega do Tarski
Segunda Chamada
Prova Final