Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

Graduação em Engenharia da Computação

IF673 - Lógica para Computação

Primeiro Semestre de 2015

Horário e local

Turmas 2C e 2E (Sala D-003) 

  3^a Feira, de 15h às 17h

  5^a Feira, de 13h às 15h

Professora

Anjolina Grisi de Oliveira.

Monitores

Cristiano Santos de Oliveira (cso@cin.ufpe.br) 

Andréa Brandão Duque (abd@cin.ufpe.br) 

Heitor Fonseca de Araújo (hfa2@cin.ufpe.br) 

Larissa Camila Ferreira da Silva (lcfs@cin.ufpe.br) 

Lucas Santana da Silva(lss5@cin.ufpe.br) 

Marcos da Silva Barreto(msb4@cin.ufpe.br) 

Página da Monitoria

aqui

Regras gerais para condução da disciplina

aqui

Charadas

de Smullyan: 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

08-Mar
Apresentação do Curso
Preliminares Matemáticos

10-Mar
A Lógica de Aristóteles: Lógica Aristotélica

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

17-Mar
(Mini-Prova)

22-Mar
Conjuntos Indutivamente Definidos

24-Mar
Ponto facultativo
Quinta-feira Santa

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

31-Mar
(Mini-Prova)
Conjuntos Livremente Gerados

05-Abr
Provas por Indução sobre Conjuntos Indutivos

07-Abr
Lógica Proposicional: Semântica
Valoração-Verdade

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

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

19-Abr
(Mini-Prova)

21-Abr
FERIADO
Tiradentes

26-Abr
Forma normal Conjuntiva e Disjuntiva

28-Abr
Método da Resolução

03-Mai
Método da Resolução

05-Mai
(Mini-Prova)
Dedução Natural (Gentzen)

10-Mai
Calculo de Sequentes

12-Mai
Primeira Prova
ANFITEATRO - na hora da aula : 15:00h às 17:30h

17-Mai
Lógica de Primeira Ordem

19-Mai
Lógica de Primeira Ordem
Estruturas

24-Mai
Lógica de Primeira Ordem
Estruturas

26-Mai
Feriado
Corpus Christ

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

02-Jun
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos

07-Jun
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex
Forma Normal de Skolem

09-Jun
Resolução para Primeira Ordem

14-Jun
Resolução para Primeira Ordem

16-Jun
Teorema de Herbrand
Teorema de Löwenheim-Skolem

21-Jun
Entrega dos Exercícios do Tarski's World

23-Jun
Feriado
São João

28-Jun
Segunda Prova
ANFITEATRO  (12:30h-15:00h).

30-Jun
Revisão

05-Jul
Entrega dos resultados

07-Jul
Segunda Chamada, na sala, no horário da aula

12-Jul
Prova Final, na sala, no horário da aula 

Última atualização: 02 Fev 2016, 12:06pam GMT-3