Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em
Ciência da Computação e Engenharia da Computação
Ruy José Guerra Barretto de
Queiroz.
Diego Correia Aragão (Coordenador)
George Harrison
Álvares de Oliveira
Joao Gabriel
Santiago Mauricio de Abreu
Natália Paola
Vasconcelos Cometti
Pedro Henrique Tôrres Gonçalves
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
21-Mai
Apresentação do Curso
Preliminares Matemáticos
28-Mai
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
30-Mai
(Mini-Prova)
Conjuntos Indutivamente Definidos
04-Jun
Fecho Indutivo
(Ver
capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
06-Jun
(Mini-Prova)
Conjuntos Livremente Gerados
11-Jun
Teorema da Extensão Homomórfica
Única
13-Jun
Definição por Recursão sobre Conjuntos Indutivos
18-Jun
Provas por Indução sobre Conjuntos Indutivos
27-Jun
(Mini-Prova)
Busca de Valoração: Método dos Tableaux
02-Jul
Método da Resolução
04-Jul
(Mini-Prova)
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
09-Jul
Normalizaçção
de Provas
11-Jul
Teorema da Compaccidade
(Finitude)
18-Jul
Lógica de Primeira Ordem
Estruturas
23-Jul
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
25-Jul
Termos e Fórmulas Atômicas
Linguagem vs Estruturas:
Diagramas e Modelos Canônicos
30-Jul
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
06-Ago
(Mini-Prova)
Algoritmo da Unificação
08-Ago
Resolução para Primeira Ordem
15-Ago
Teorema de Löwenheim-Skolem
20-Ago
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
27-Ago
Funções recursivas primitivas
29-Ago
Funções recursivas parciais
03-Set
(Mini-Prova)
Conjuntos recursivamente enumeráveis
05-Set
Incompletude da Aritmética (Gödel)
10-Set
Segunda
Prova e entrega dos Exercícios do Tarski's World