Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação
Turma 2C (Sala D-004)
3a Feira, de 13h às 15h
5a Feira, de 15h às 17h
Ruy José Guerra Barretto de Queiroz.
Natália Paola de Vasconcelos Cometti (Coordenadora)
Bruno Rafael Barros de Castro
George Harrison Álvares de Oliveira
João Gabriel Santiago Mauricio de Abreu
João Pedro de Carvalho Magalhães
Maria Gabriela Toledo de Moraes Cardoso
Maria Julia Godoy Ferreira Lima
Mateus de Freitas Leite
Vinícius de Moraes Rego Cousseau
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)
01 Abr
Apresentação do Curso
Preliminares Matemáticos
03 Abr
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
08 Abr
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege
10 Abr
Conjuntos Indutivamente Definidos
15 Abr
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)
17 Abr
Conjuntos Livremente Gerados
22 Abr
Teorema da Extensão Homomórfica Única
24 Abr
Definição por Recursão sobre Conjuntos Indutivos
29 Abr
Provas por Indução sobre Conjuntos Indutivos
03 Jun
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade
05 Jun
Busca de Valoração: Método dos Tableaux
10 Jun
Método da Resolução
12 Jun
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)
17 Jun
Normalização de Provas
19 Jun
Cálculo de Seqüentes
26 Jun
Teorema da Compaccidade (Finitude)
01 Jul
Primeira Prova
03 Jul
Lógica de Primeira Ordem
Estruturas
08 Jul
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura
10 Jul
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos
15 Jul
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
17 Jul
Forma Normal de Skolem
22 Jul
Algoritmo da Unificação
24 Jul
Resolução para Primeira Ordem
29 Jul
Teorema de Herbrand
31 Jul
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude
05 Ago
Aritmética de Peano
07 Ago
Incompletude da Aritmética (Gödel)
12 Ago
Segunda Prova e entrega dos Exercícios do Tarski's World
14 Ago
Segunda Chamada
19 Ago
Prova Final
Última atualização: 01 de Maio de 2014, 10:02am GMT-3