06-Ago
11-Ago
13-Ago
18-Ago
20-Ago
25-Ago
27-Ago
27-Ago
01-Set
03-Set
08-Set
10-Set
15-Set
17-Set
22-Set
24-Set
29-Set
01-Out
06-Out
08-Out
13-Out
15-Out
20-Out
22-Out
27-Out
29-Out
03-Nov
05-Nov
10-Nov
12-Nov
17-Nov
24-Nov
26-Nov
01-Dez
Última atualização: 04 de Agosto de 2008, 11:59am GMT-3
ATENÇÃO: Newsgroup
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if673.
Monitores
Yane Wanderley dos Santos Rodrigues (ywsr) (Coordenadora)
Almir Gomes de Castro Júnior (agcj)
Flávia Renata Costa Chaves (frcc)
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
04-Ago
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
Definição por Recursão sobre Conjuntos Indutivos
Provas por Indução sobre Conjuntos Indutivos
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)
Normalizaçção de Provas
Teorema da Compaccidade (Finitude)
Primeira Prova
Lógica de Primeira Ordem
Estruturas
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 de Löwenheim-Skolem
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
Aritmética de Peano
Funções recursivas primitivas
Funções recursivas parciais
(Mini-Prova)
Conjuntos recursivamente 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