28-Fev
04-Mar
06-Mar
11-Mar
13-Mar
18-Mar
25-Mar
27-Mar
01-Abr
03-Abr
08-Abr
10-Abr
15-Abr
17-Abr
22-Abr
24-Abr
29-Abr
06-Mai
08-Mai
15-Mai
20-Mai
27-Mai
29-Mai
03-Jun
05-Jun
10-Jun
12-Jun
17-Jun
19-Jun
26-Jun
01-Jul
Última atualização: 1 de Abril de 2008, 02:07pm 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)
Almir Gomes de Castro Júnior (agcj)
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
26-Fev
Apresentação do Curso
Preliminares Matemáticos
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
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)
Conjuntos Livremente Gerados
Teorema da Extensão Homomórfica Única
Provas por Indução sobre Conjuntos Indutivos
(Palestra no Auditorio do CCEN)
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
(Mini-Prova)
Busca de Valoração: Método dos Tableaux
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
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 dos Exercícios do Tarski's World
Segunda Chamada
Prova Final