Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

Graduação em Ciência da Computação e Engenharia da Computação

IF673 - Lógica para Computação

Segundo Semestre de 2012

Horário e local

Turma 2C (Sala D-004) 

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

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

Professores

Ruy José Guerra Barretto de Queiroz.

ATENÇÃO: Rede Social

(a ser anunciada).

Monitores

Artur Arruda Spíndola (Coordenador)

(a confirmar)

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

03-Dez
Apresentação do Curso
Preliminares Matemáticos

06-Dez
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

10-Dez
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

13-Dez
(Mini-Prova)
Conjuntos Indutivamente Definidos

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

20-Dez
(Mini-Prova)
Conjuntos Livremente Gerados

14-Jan
Teorema da Extensão Homomórfica Única

17-Jan
Definição por Recursão sobre Conjuntos Indutivos

21-Jan
Provas por Indução sobre Conjuntos Indutivos

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

28-Jan
(Mini-Prova)
Busca de Valoração: Método dos Tableaux

31-Jan
Método da Resolução

04-Fev
(Mini-Prova)
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

07-Fev
Normalizaçção de Provas

14-Fev
Teorema da Compaccidade (Finitude)

18-Fev
Primeira Prova

21-Fev
Lógica de Primeira Ordem
Estruturas

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

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

04-Mar
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

07-Mar
Forma Normal de Skolem

11-Mar
(Mini-Prova)
Algoritmo da Unificação

14-Mar
Resolução para Primeira Ordem

18-Mar
Teorema de Herbrand

21-Mar
Teorema de Löwenheim-Skolem

25-Mar
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude

28-Mar
Aritmética de Peano

01-Abr
Funções recursivas primitivas

04-Abr
Funções recursivas parciais

08-Abr
(Mini-Prova)
Conjuntos recursivamente enumeráveis

11-Abr
Incompletude da Aritmética (Gödel)

15-Abr
Segunda Prova e entrega dos Exercícios do Tarski's World

18-Abr
Segunda Chamada

22-Abr
Prova Final 

Última atualização: 22 Nov 2012, 08:37am GMT-3