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
Miguel Luiz Pessoa da Cruz Silva
Daniel Rodrigues Perazzo
Lucas Ambrosio
Lucio Mota
Matheus Vinicius Teotonio do Nascimento Andrade
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)
03 Mar
Apresentação do Curso
Preliminares Históricos
05 Mar
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Lógica Aristotélica
10 Mar
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
12 Mar
Conjuntos Indutivamente Definidos
17 Mar
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
19 Mar
Conjuntos Livremente Gerados
24 Mar
Teorema da Extensão Homomórfica Única
26 Mar
Definição por Recursão sobre Conjuntos Indutivos
31 Mar
Provas por Indução sobre Conjuntos Indutivos
02 Abr
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
07 Abr
Mini Prova
09 Abr
Ponto facultativo (quinta-feira da semana santa)
14 Abr
Busca de Valoração: Método dos Tableaux
16 Abr
Método da Resolução
21 Abr
Feriado: Tiradentes
23 Abr
Revisão dos Método estudados
28 Abr
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
30 Abr
Normalização de Provas
05 Mai
Cálculo de Seqüentes
07 Mai
Primeira Prova
12 Mai
Lógica de Primeira Ordem
Estruturas
14 mai
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
19 Mai
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
21 Mai
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
26 Mai
Forma Normal de Skolem
28 Mai
Algoritmo da Unificação
02 Jun
Resolução para Primeira Ordem
04 Jun
Resolução para Primeira Ordem
09 Jun
Mini Prova
11 Jun
Feriado: Corpus Christ
16 Jun
O Teorema de Lowenheim-Skolem
18 Jun
Teorema de Herbrand
25 Jun
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
Incompletude da Aritmética (Gödel)
30 Jun
Segunda Prova e entrega dos Exercícios do Tarski's World
02 Jul
Exercícios
07 Jul
Entrega das provas. Revisao. Exercícios
09 Jul
Segunda Chamada
14 Jul
Prova Final
Última atualização: 18 de Fevereiro de 2019, 09:18am GMT-3