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 2014

Horário e local

Turma 2C (Sala D-005) 

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

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

Professores

Anjolina Grisi de Oliveira.

ATENÇÃO: Rede Social

Monitores

Heitor Fonseca de Araujo(Coordenador)

Andrea Brandao Duque

Artur da Nova Franco

Gabriel de Franca Medeiros

Isabela Goes Rangel

Larissa Lages de Oliveira

Tatiana Viana Padrao

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 Set
Apresentação do Curso
Preliminares Matemáticos

22 Set
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 Set
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

29 Set
Conjuntos Indutivamente Definidos

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

06 Out
Conjuntos Livremente Gerados

08 Out
Teorema da Extensão Homomórfica Única

13 Out
Definição por Recursão sobre Conjuntos Indutivos

15 Out
Provas por Indução sobre Conjuntos Indutivos

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

22 Out
Busca de Valoração: Método dos Tableaux

27 Out
Método da Resolução

29 Out
Método da Resolução

03 Nov
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

05 Nov
Dedução Natural

10 Nov
Normalização de Provas

12 Nov
Cálculo de Seqüentes

17 Nov
Cálculo de Seqüentes

19 Nov
Primeira Prova (10-13h ANFITEATRO)

24 Nov
Lógica de Primeira Ordem

26 Nov
Lógica de Primeira Ordem: Estruturas

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

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

08 Dez
Feriado

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

15 Dez
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

17 Dez
Forma Normal de Skolem

19 Jan
Revisao

21 Jan
Algoritmo da Unificação

26 Jan
Resolução para Primeira Ordem

28 Jan
Resolução para Primeira Ordem

02 Fev
Teorema de Herbrand

04 Fev
Segunda Prova

09 Fev
Entrega dos Exercícios do Tarski's World

11 Fev
Segunda Chamada

25 Fev
Prova Final 

Última atualização: 22 de Setembro de 2014, 11:12am GMT-3