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) 

  2a Feira, de 08h às 10h

  4a 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

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


26 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

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

02 Set
Conjuntos Indutivamente Definidos

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

14 Set
Conjuntos Livremente Gerados

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

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

23 Set
Provas por Indução sobre Conjuntos Indutivos

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

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

05 Out
Método da Resolução

07 Out
Método da Resolução

12 Out
Feriado

14 Out
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

19 Out
Dedução Natural

21 Out
Normalização de Provas

26 Out
Cálculo de Seqüentes

28 Out
Cálculo de Seqüentes

02 Nov
Feriado

04 Nov
Primeira Prova (10-13h ANFITEATRO)

09 Nov
Lógica de Primeira Ordem

11 Nov
Lógica de Primeira Ordem: Estruturas

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

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

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

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

30 Nov
Forma Normal de Skolem

02 Dez
Algoritmo da Unificação

07 Dez
Resolução para Primeira Ordem

09 Dez
Resolução para Primeira Ordem

Teorema de Herbrand

14 Dez
Segunda Prova

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

Segunda Chamada

11 Jan
Revisao

13 Jan
Revisao

20 Jan
Prova Final 

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