Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

Graduação em Engenharia da Computação 

IF673ec - Lógica para Computação

Segundo Semestre de 2018

Horário e local

Turma 2E (Sala D-004) 

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

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

Professores

Anjolina Grisi de Oliveira.

Monitores

a ser atualizado

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

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

16 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

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

23 Ago
Conjuntos Indutivamente Definidos

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

30 Ago
Conjuntos Livremente Gerados

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

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

11 Set
Provas por Indução sobre Conjuntos Indutivos

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

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

20 Set
Método da Resolução

25 Set
Método da Resolução

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

02 Out
Dedução Natural

04 Out
Normalização de Provas

09 Out
Cálculo de Seqüentes

11 Out
Cálculo de Seqüentes

16 Out
Lógica de Primeira Ordem

18 Out
Lógica de Primeira Ordem: Estruturas

23 Out
Primeira Prova