19-Fev
26-Fev
03-Mar
05-Mar
10-Mar
12-Mar
17-Mar
19-Mar
24-Mar
26-Mar
31-Mar
02-Abr
07-Abr
09-Abr
14-Abr
16-Abr
23-Abr
28-Abr
30-Abr
05-Mai
07-Mai
12-Mai
14-Mai
19-Mai
21-Mai
26-Mai
28-Mai
02-Jun
04-Jun
09-Jun
10-Jun
16-Jun
Última atualização: 17 de Fevereiro de 2009, 09:45am 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
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-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
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
Conjuntos recursivamente enumeráveis
(Mini-Prova)
Incompletude da Aritmética (Gödel)
Segunda Prova
e entrega dos Exercícios do Tarski's World
Segunda Chamada
Prova Final