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)
8 Mar
Apresentação do Curso
Preliminares Matemáticos
10 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
15 Mar
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
17 Mar
Conjuntos Indutivamente Definidos
22 Mar
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
24 Mar
Conjuntos Livremente Gerados
29 Mar
Teorema da Extensão Homomórfica Única
31 Mar
Definição por Recursão sobre Conjuntos Indutivos
05 Abr
Provas por Indução sobre Conjuntos Indutivos
07 Abr
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
12 Abr
Busca de Valoração: Método dos Tableaux
14 Abr
Método da Resolução
19 Abr
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
26 Abr
Normalização de Provas
28 Abr
Cálculo de Seqüentes
03 Mai
Teorema da Compaccidade (Finitude)
05 Mai
Primeira Prova
10 Mai
Lógica de Primeira Ordem
Estruturas
12 Mai
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
17 Mai
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
19 Mai
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
24 Mai
Forma Normal de Skolem
31 Mai
Algoritmo da Unificação
02 Jun
Resolução para Primeira Ordem
07 Jun
Teorema de Herbrand
09 Jun
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
14 Jun
Aritmética de Peano
16 Jun
Incompletude da Aritmética (Gödel)
21 Jun
Segunda Prova e entrega dos Exercícios do Tarski's World
28 Jun
Segunda Chamada
30 Jun
Prova Final
Última atualização: 17 de Março de 2016, 06:00pm GMT-3