Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

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

IF673 - Lógica para Computação

Segundo Semestre de 2017

Horário e local

Turma 2C (Sala D-003) 

  3^a Feira, de 10h às 12h

  6^a Feira, de 08h às 10h

Professora

Anjolina Grisi de Oliveira.

ATENÇÃO: Rede Social

Monitores

Fernando de Barros Wanderley Neto(Coordenador)

Augusto Henriques Terra

Cristiano Santos de Oliveira

Daniel Pacheco Cavalcanti

Jose Ricardo Alves Figueiroa

Pamella Bezerra da Silva Ferreira

Sergio Torres Teixeira Filho

Victor Aguiar Guedes

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

08 Ago
Apresentação do Curso
Preliminares Matemáticos

11 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

15 Ago
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

18 Ago
Conjuntos Indutivamente Definidos

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

25 Ago
Conjuntos Livremente Gerados

29 Ago
Teorema da Extensão Homomórfica Única

01 Set
Definição por Recursão sobre Conjuntos Indutivos

05 Set
Provas por Indução sobre Conjuntos Indutivos

08 Set
Provas por Indução sobre Conjuntos Indutivos

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

15 Set
Busca de Valoração: Método dos Tableaux

19 Set
Busca de Valoração: Método dos Tableaux

22 Set
Método da Resolução

26 Set
Método da Resolução

29 Set
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

03 Out
Dedução Natural

06 Out
Cálculo de Seqüentes

10 Out
Cálculo de Seqüentes

13 Out
Primeira Prova (TRANSFERIDA PARA O DIA 17/10 NA HORA DA AULA)

Aula a ser reposta em 16/10: 15h-17h na D004

17 Out
Primeira Prova (NA HORA DA AULA)

20 Out
Lógica de Primeira Ordem

24 Out
Lógica de Primeira Ordem: Estruturas

27 Out
Lógica de Primeira Ordem: Estruturas

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

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

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

10 Nov
Linguagem vs Estruturas: Diagramas e Modelos Canônicos

14 Nov
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

17 Nov
Forma Normal de Skolem

21 Nov
Forma Normal de Skolem

24 Nov
Algoritmo da Unificação

28 Nov
Resolução para Primeira Ordem

01 Dez
Sistemas axiomaticos

01 Dez
Entrega dos Exercícios do Tarski's World

05 Dez
Segunda Prova na sala de aula

08 Dez
Feriado

12 Dez
Segunda chamada na sala D003

15 Dez
Prova Final na sala D003 

Última atualização: 08 de Agosto de 2017, 08:52am GMT-3