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 2016

Horário e local

Turma 2C (Sala D-003) 

  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

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