Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

Graduação em Ciência da Computação 


IF673 - Lógica para Computação

Primeiro Semestre de 2015

Horário e local

Turma 2C (Sala D-004) 

  3a Feira, de 13h às 15h

  5a Feira, de 15h às 17h


Professores

Ruy José Guerra Barretto de Queiroz.


Monitores

(a confirmar)


Regras gerais para condução da disciplina

aqui



Bibliografia (tradução (parcial) para o português de alguns itens da bibliografia)

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)


Programação de Aulas

17 Mar
Apresentação do Curso
Preliminares Matemáticos


19 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

24 Mar
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

26 Mar
Conjuntos Indutivamente Definidos

31 Mar
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)

07 Abr
Conjuntos Livremente Gerados

09 Abr
Teorema da Extensão Homomórfica Única

14 Abr
Definição por Recursão sobre Conjuntos Indutivos

16 Abr
Provas por Indução sobre Conjuntos Indutivos

23 Abr
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade

28 Abr
Busca de Valoração: Método dos Tableaux

30 Abr
Método da Resolução

05 Mai
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

07 Mai
Normalização de Provas

12 Mai
Cálculo de Seqüentes

14 Mai
Teorema da Compaccidade (Finitude)

19 Mai
Primeira Prova

21 Mai
Lógica de Primeira Ordem
Estruturas

26 Mai
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura

28 Mai
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos

02 Jun
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

09 Jun
Forma Normal de Skolem

11 Jun
Algoritmo da Unificação

16 Jun
Resolução para Primeira Ordem

18 Jun
Teorema de Herbrand

25 Jun
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude

30 Jun
Aritmética de Peano

07 Ago
Incompletude da Aritmética (Gödel)

02 Jul
Segunda Prova e entrega dos Exercícios do Tarski's World

07 Jul
Segunda Chamada

09 Jul
Prova Final 

Última atualização: 09 de Março de 2015, 10:34am GMT-3