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 2013

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

Lógica para Computação 2013.1

Monitores

Diego Correia Aragão (Coordenador)

Bertha Maria Andaluz

Bruno Soares da Silva

George Harrison Álvares de Oliveira

Guilherme Palma Peixoto

Joao Gabriel Santiago Mauricio de Abreu

Maria Gabriela Cardoso

Natália Paola Vasconcelos Cometti

Pedro Henrique Tôrres Gonçalves

Rafael Acevedo de Aguiar

Rafael Farias Marinheiro

 

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

21-Mai
Apresentação do Curso
Preliminares Matemáticos

23-Mai
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

28-Mai
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

30-Mai
(Mini-Prova)
Conjuntos Indutivamente Definidos

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

06-Jun
(Mini-Prova)
Conjuntos Livremente Gerados

11-Jun
Teorema da Extensão Homomórfica Única

13-Jun
Definição por Recursão sobre Conjuntos Indutivos

18-Jun
Provas por Indução sobre Conjuntos Indutivos

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

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

02-Jul
Método da Resolução

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

09-Jul
Normalizaçção de Provas

11-Jul
Teorema da Compaccidade (Finitude)

16-Jul
Primeira Prova

18-Jul
Lógica de Primeira Ordem
Estruturas

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

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

30-Jul
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

01-Ago
Forma Normal de Skolem

06-Ago
(Mini-Prova)
Algoritmo da Unificação

08-Ago
Resolução para Primeira Ordem

13-Ago
Teorema de Herbrand

15-Ago
Teorema de Löwenheim-Skolem

20-Ago
Sistemas Axiomáticos (Euclides, Hilbert) 
Completude, Incompletude

22-Ago
Aritmética de Peano

27-Ago
Funções recursivas primitivas

29-Ago
Funções recursivas parciais

03-Set
(Mini-Prova)
Conjuntos recursivamente enumeráveis

05-Set
Incompletude da Aritmética (Gödel)

10-Set
Segunda Prova e entrega dos Exercícios do Tarski's World

12-Set
Segunda Chamada

17-Set
Prova Final 

Última atualização: 29 Mai 2013, 12:37pm GMT-3