03-Mar
17-Mar
22-Mar
24-Mar
29-Mar
31-Mar
05-Abr
07-Abr
12-Abr
14-Abr
19-Abr
26-Abr
28-Abr
03-Mai
05-Mai
10-Mai
12-Mai
17-Mai
19-Mai
24-Mai
26-Mai
31-Mai
02-Jun
07-Jun
09-Jun
14-Jun
16-Jun
21-Jun
28-Jun
30-Jun
05-Jul
07-Jul
12-Jul
Última atualização: 27 Fev 2011, 06:26pm GMT-3
ATENÇÃO: Rede Social
Tudo sobre a disciplina estará circulando na Comunidade
Lógica para Computação 2011.1 no Orkut.
Monitores
Marcelo Frota (mfpp) (Coordenador)
(a confirmar)
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)
Tarski's World - Revised and Expanded, Dave Barker-Plummer, Jon Barwise and John Etchemendy
In collaboration with Albert Liu, CSLI Publications, 2007, ISBN 1575864843. (Acompanha o software educativo Tarski's World)
Programação de Aulas
01-Mar
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)
Segunda Prova
e entrega dos Exercícios do Tarski's World
Segunda Chamada
Prova Final