Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação
Turma 2C (Sala D-005)
2a Feira, de 08h às 10h
4a Feira, de 10h às 12h
Heitor Fonseca de Araujo(Coordenador)
Andrea Brandao Duque
Artur da Nova Franco
Gabriel de Franca Medeiros
Isabela Goes Rangel
Larissa Lages de Oliveira
Tatiana Viana Padrao
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)
24 Ago
Apresentação do Curso
Preliminares Matemáticos
26 Ago
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
31 Ago
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
02 Set
Conjuntos Indutivamente Definidos
09 Set
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
14 Set
Conjuntos Livremente Gerados
16 Set
Teorema da Extensão Homomórfica Única
21 Set
Definição por Recursão sobre Conjuntos Indutivos
23 Set
Provas por Indução sobre Conjuntos Indutivos
28 Set
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
30 Set
Busca de Valoração: Método dos Tableaux
05 Out
Método da Resolução
07 Out
Método da Resolução
12 Out
Feriado
14 Out
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
19 Out
Dedução Natural
21 Out
Normalização de Provas
26 Out
Cálculo de Seqüentes
28 Out
Cálculo de Seqüentes
02 Nov
Feriado
04 Nov
Primeira Prova (10-13h ANFITEATRO)
09 Nov
Lógica de Primeira Ordem
11 Nov
Lógica de Primeira Ordem:
Estruturas
16 Nov
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
18 Nov
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
23 Nov
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
25 Nov
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
30 Nov
Forma Normal de Skolem
02 Dez
Algoritmo da Unificação
07 Dez
Resolução para Primeira Ordem
09 Dez
Resolução para Primeira Ordem
14 Dez
Segunda Prova
16 Dez
Entrega dos Exercícios do Tarski's World
11 Jan
Revisao
13 Jan
Revisao
20 Jan
Prova Final
Última atualização: 21 de Agosto de 2015, 11:12am GMT-3