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

Primeiro Semestre de 2012

Horário e local

Turma 2C (Sala D-004) 

  3a Feira, de 13h às 15h

  5a Feira, de 15h às 17h


Professores

Ruy José Guerra Barretto de Queiroz.


ATENÇÃO: Rede Social

Tudo sobre a disciplina estará circulando na Comunidade Lógica para Computação 2012.1 no Orkut.


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

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

03-Mar
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

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

22-Mar
(Mini-Prova)
Conjuntos Indutivamente Definidos

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

29-Mar
(Mini-Prova)
Conjuntos Livremente Gerados

31-Mar
Teorema da Extensão Homomórfica Única

05-Abr
Definição por Recursão sobre Conjuntos Indutivos

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

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

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

19-Abr
Método da Resolução

26-Abr
(Mini-Prova)
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

28-Abr
Normalizaçção de Provas

03-Mai
Teorema da Compaccidade (Finitude)

05-Mai
Primeira Prova

10-Mai
Lógica de Primeira Ordem
Estruturas

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

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

19-Mai
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

24-Mai
Forma Normal de Skolem

26-Mai
(Mini-Prova)
Algoritmo da Unificação

31-Mai
Resolução para Primeira Ordem

02-Jun
Teorema de Herbrand

07-Jun
Teorema de Löwenheim-Skolem

09-Jun
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude

14-Jun
Aritmética de Peano

16-Jun
Funções recursivas primitivas

21-Jun
Funções recursivas parciais

28-Jun
(Mini-Prova)
Conjuntos recursivamente enumeráveis

30-Jun
Incompletude da Aritmética (Gödel)

05-Jul
Segunda Prova e entrega dos Exercícios do Tarski's World

07-Jul
Segunda Chamada

12-Jul
Prova Final 

Última atualização: 27 Fev 2011, 06:26pm GMT-3