Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação
Turma 2C (Sala D-003)
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)
07 Mar
Apresentação do Curso
Preliminares Históricos
09 Mar
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Lógica Aristotélica
14 Mar
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
16 Mar
Conjuntos Indutivamente Definidos
21 Mar
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
23 Mar
Conjuntos Livremente Gerados
24 Mar
Teorema da Extensão Homomórfica Única
28 Mar
Definição por Recursão sobre Conjuntos Indutivos
30 Mar
Provas por Indução sobre Conjuntos Indutivos
04 Abr
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
06 Abr
Busca de Valoração: Método dos Tableaux
11 Abr
Método da Resolução
13 Abr
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
18 Abr
Normalização de Provas
20 Abr
Cálculo de Seqüentes
25 Abr
Teorema da Compaccidade (Finitude)
27 Abr
Primeira Prova
02 Mai
Lógica de Primeira Ordem
Estruturas
04 Mai
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
09 Mai
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
11 Mai
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
16 Mai
Forma Normal de Skolem
18 Mai
Algoritmo da Unificação
23 Mai
Resolução para Primeira Ordem
25 Mai
Teorema de Herbrand
30 Mai
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
01 Jun
Aritmética de Peano
06 Jun
Incompletude da Aritmética (Gödel)
13 Jun
Segunda Prova e entrega dos Exercícios do Tarski's World
20 Jun
Segunda Chamada
22 Jun
Prova Final
Última atualização: 07 de Março de 2017, 12:45pm GMT-3