Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação
Turma 2C (Sala D-004)
3a Feira, de 13h às 15h
5a Feira, de 15h às 17h
Ruy José Guerra Barretto de Queiroz.
(a confirmar)
1a. Unidade: Lógica e Estrutura (em pdf, Capítulo 7), Dirk van Dalen
2a. Unidade: Uma Teoria de Modelos mais Curta (em pdf), Wilfrid Hodges
Livro e CD (software) para trabalhos práticos:
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)
17 Mar
Apresentação do Curso
Preliminares Matemáticos
19 Mar
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
24 Mar
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
26 Mar
Conjuntos Indutivamente Definidos
31 Mar
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
07 Abr
Conjuntos Livremente Gerados
09 Abr
Teorema da Extensão Homomórfica Única
14 Abr
Definição por Recursão sobre Conjuntos Indutivos
16 Abr
Provas por Indução sobre Conjuntos Indutivos
23 Abr
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
28 Abr
Busca de Valoração: Método dos Tableaux
30 Abr
Método da Resolução
05 Mai
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
07 Mai
Normalização de Provas
12 Mai
Cálculo de Seqüentes
14 Mai
Teorema da Compaccidade (Finitude)
19 Mai
Primeira Prova
21 Mai
Lógica de Primeira Ordem
Estruturas
26 Mai
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
28 Mai
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
02 Jun
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
09 Jun
Forma Normal de Skolem
11 Jun
Algoritmo da Unificação
16 Jun
Resolução para Primeira Ordem
18 Jun
Teorema de Herbrand
25 Jun
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
30 Jun
Aritmética de Peano
07 Ago
Incompletude da Aritmética (Gödel)
02 Jul
Segunda Prova e entrega dos Exercícios do Tarski's World
07 Jul
Segunda Chamada
09 Jul
Prova Final
Última atualização: 09 de Março de 2015, 10:34am GMT-3