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 2016

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

Cristiano Santos de Oliveira(Coordenador)

Andrea Brandao Duque

Larissa Lages de Oliveira

Lucas Santana da Silva

Marcos da Silva Barreto

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

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

12 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

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

19 Ago
Conjuntos Indutivamente Definidos

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

26 Ago
Conjuntos Livremente Gerados

16 Set
Teorema da Extensão Homomórfica Única

30 Ago
Definição por Recursão sobre Conjuntos Indutivos

02 Set
Provas por Indução sobre Conjuntos Indutivos

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

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

13 Set
Método da Resolução

16 Set
Método da Resolução

12 Out
Feriado

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

23 Set
Dedução Natural

27 Set
Normalização de Provas

30 Set
Cálculo de Seqüentes

04 Out
Cálculo de Seqüentes

07 Out
Primeira Prova (07:30h-10h ANFITEATRO)

11 Out
Lógica de Primeira Ordem

14 Out
Lógica de Primeira Ordem: Estruturas

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

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

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

28 Out
Feriado: dia do servidor federal

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

04 Nov
Forma Normal de Skolem

08 Nov
Algoritmo da Unificação

11 Nov
Resolução para Primeira Ordem

15 Nov
Feriado

18 Nov
Resolução para Primeira Ordem

22 Nov
Sistemas axiomaticos

25 Nov
Teorema da Incompletude de Godel

29 Nov
Exercicios

02 Dez
Segunda Prova na sala D003 a partir das 7:30h

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

06 Dez
Revisao

09 Dez
Segunda chamada na sala D003

13 Dez
Prova Final na sala D003 

Última atualização: 21 de Agosto de 2015, 11:12am GMT-3