Lógica para Computação (IF673)

Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação

IF673 - Lógica para Computação

Segundo Semestre de 2004

Horário de Aulas
Turma I2 A (Sala 8)
2^a Feira, de 10h às 12h
4^a Feira, de 08h às 10h

Professor: Ruy José Guerra Barretto de Queiroz.

Planilha Final de Notas: aqui

Monitores
Nancy de Lyra Lino (nll), José Carlos de Moura Júnior (jcmj), Roberto Cássio S. N. Júnior (rcsdnj)

Charadas de Smullyan: aqui

Bibliografia: tradução (parcial) para o português de alguns itens da bibliografia:

1a. Unidade: Lógica e Estrutura (em ps e em pdf), Dirk van Dalen

2a. Unidade: Uma Teoria de Modelos mais Curta (em ps e em pdf), Wilfrid Hodges

Livro e CD (software) para aulas práticas:

Language, Proof and Logic, Jon Barwise & John Etchemendy, Seven Bridges Press, 2000. (Acompanha o software educativo Tarski's World)

Programação de Aulas

Aula	Data	Assunto	Horas Acum.
1	10-mai	Apresentação do Curso Preliminares Matemáticos	02
2	13-mai	Preliminares Conceituais: Objetos e Predicados A Lógica de Aristóteles: Silogismos	04
3	17-mai	Conjuntos Indutivamente Definidos	06
4	20-mai	Fecho Indutivo	08
5	24-mai	Provas por Indução sobre Conjuntos Indutivos	10
6	27-mai	Conjuntos Livremente Gerados	12
7	31-mai	A Lógica Simbólica de Frege Lógica Proposicional: Sintaxe	14
8	03-jun	Lógica Proposicional: Semântica Tabela-Verdade, Satisfatibilidade	16
9	07-jun	Considerações sobre o Custo Computacional de SAT	18
	10-jun	Feriado - Corpus Christi
10	14-jun	Busca de Valoração: Método dos Tableaux	20
11	17-jun	Busca de Valoração: Método dos Tableaux (cont.)	22
12	21-jun	Método da Resolução	24
	24-jun	Feriado - São João
13	28-jun	Método da Resolução (cont.)	26
14	01-jul	Noção de Prova Formal (Gentzen) Dedução Natural	28
15	05-jul	Dedução Natural (cont.) Normalização de Provas	30
16	08-jul	Cálculo de Seqüentes	32
17	12-jul	Teorema da Compaccidade (Finitude) Decidibilidade Sistemas de Prova: Corretude, Completude	34
18	15-jul	Primeira Prova	36
19	19-jul	Estruturas de Primeira Ordem	38
20	22-jul	Funções entre Estruturas	40
21	26-jul	A Noção de Subestrutura	42
22	02-ago	Termos e Fórmulas Atômicas	44
23	05-ago	Lógica de Primeira Ordem: Sintaxe Lógica de Primeira Ordem: Semântica	46
24	09-ago	Linguagem vs Estruturas: Diagramas, Modelos Canônicos	48
25	12-ago	Forma Prenex Forma Normal de Skolem	50
26	16-ago	Resolução para Primeira Ordem Teorema de Herbrand	52
27	19-ago	Algoritmo da Unificação	54
28	23-ago	Sistemas Axiomáticos (Euclid, Hilbert) Lógica Proposicional	56
29	26-ago	Sistemas Axiomáticos Lógica de Primeira Ordem	58
30	30-ago	Teorema da Completude	60
31	02-set	Aritmética de Peano Incompletude (Gödel)	62
32	06-set	Segunda Prova e entrega do Tarski	64
	09-set	Segunda Chamada
33	13-set	Prova Final	66

Aula Data Assunto Horas Acum.

1 10-mai Apresentação do Curso
Preliminares Matemáticos 02

2 13-mai Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Silogismos 04

3 17-mai Conjuntos Indutivamente Definidos
06

4 20-mai Fecho Indutivo 08

5 24-mai Provas por Indução sobre Conjuntos Indutivos 10

6 27-mai Conjuntos Livremente Gerados 12

7 31-mai A Lógica Simbólica de Frege
Lógica Proposicional: Sintaxe 14

8 03-jun Lógica Proposicional: Semântica
Tabela-Verdade, Satisfatibilidade 16

9 07-jun Considerações sobre o Custo Computacional de SAT 18

10-jun Feriado - Corpus Christi

10 14-jun Busca de Valoração: Método dos Tableaux 20

11 17-jun Busca de Valoração: Método dos Tableaux (cont.) 22

12 21-jun Método da Resolução 24

24-jun Feriado - São João

13 28-jun Método da Resolução (cont.) 26

14 01-jul Noção de Prova Formal (Gentzen)
Dedução Natural 28

15 05-jul Dedução Natural (cont.)
Normalização de Provas 30

16 08-jul Cálculo de Seqüentes 32

17 12-jul Teorema da Compaccidade (Finitude)
Decidibilidade
Sistemas de Prova: Corretude, Completude 34

18 15-jul Primeira Prova 36

19 19-jul Estruturas de Primeira Ordem 38

20 22-jul Funções entre Estruturas
40

21 26-jul A Noção de Subestrutura 42

22 02-ago Termos e Fórmulas Atômicas 44

23 05-ago Lógica de Primeira Ordem: Sintaxe
Lógica de Primeira Ordem: Semântica 46

24 09-ago Linguagem vs Estruturas:
Diagramas, Modelos Canônicos 48

25 12-ago Forma Prenex
Forma Normal de Skolem 50

26 16-ago Resolução para Primeira Ordem
Teorema de Herbrand 52

27 19-ago Algoritmo da Unificação 54

28 23-ago Sistemas Axiomáticos (Euclid, Hilbert)
Lógica Proposicional 56

29 26-ago Sistemas Axiomáticos
Lógica de Primeira Ordem 58

30 30-ago Teorema da Completude 60

31 02-set Aritmética de Peano
Incompletude (Gödel) 62

32 06-set Segunda Prova e entrega do Tarski 64

09-set Segunda Chamada

33 13-set Prova Final 66

ATENÇÃO: Newsgroup
Todas as mensagens relativas à disciplina são veiculadas no grupo de notícias depto.cursos.grad.if673.

Última atualização: 26 de Janeiro de 2005, 10:04hs