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 2017

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

07 Mar
Apresentação do Curso
Preliminares Históricos

09 Mar
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Lógica Aristotélica

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

16 Mar
Conjuntos Indutivamente Definidos

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

23 Mar
Conjuntos Livremente Gerados

24 Mar
Teorema da Extensão Homomórfica Única

28 Mar
Definição por Recursão sobre Conjuntos Indutivos

30 Mar
Provas por Indução sobre Conjuntos Indutivos

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

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

11 Abr
Método da Resolução

13 Abr
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

18 Abr
Normalização de Provas

20 Abr
Cálculo de Seqüentes

25 Abr
Teorema da Compaccidade (Finitude)

27 Abr
Primeira Prova

02 Mai
Lógica de Primeira Ordem
Estruturas

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

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

11 Mai
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

16 Mai
Forma Normal de Skolem

18 Mai
Algoritmo da Unificação

23 Mai
Resolução para Primeira Ordem

25 Mai
Teorema de Herbrand

30 Mai
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude

01 Jun
Aritmética de Peano

06 Jun
Incompletude da Aritmética (Gödel)

13 Jun
Segunda Prova e entrega dos Exercícios do Tarski's World

20 Jun
Segunda Chamada

22 Jun
Prova Final 

Última atualização: 07 de Março de 2017, 12:45pm GMT-3