Lógica para Computação

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

IF312 - Lógica para Computação

Segundo Semestre de 2001

Horário de Aulas
Turma I2 A (Sala 8)
  3^a Feira, de 8h às 10h
  5^a Feira, de 10h às 12h
Turma I2 B (Sala 7)
  2^a Feira, de 8h às 10h
  5^a Feira, de 8h às 10h

Professor: Ruy José Guerra Barretto de Queiroz.

Nome, Horário e Local de Atendimento dos Monitores
Fernando Raposo da Camara Silva
Atendimento: 5^as Feiras, 13:00-14:00

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	7/8-jan	Apresentação do Curso Preliminares Matemáticos	02
2	10-jan	Preliminares Conceituais: Objetos e Predicados A Lógica de Aristóteles: Silogismos	04
3	14/15-jan	Conjuntos Indutivamente Definidos Fecho Indutivo	06
4	17-jan	Conjuntos Livremente Gerados	08
5	21/22-jan	A Lógica Simbólica de Frege Lógica Proposicional: Sintaxe	10
6	24-jan	Lógica Proposicional: Semântica Tabela-Verdade, Satisfatibilidade	12
7	28/29-jan	Teorema da Compaccidade	14
8	31-jan	Busca de Valoração: Método dos Tableaux	16
9	4/5-fev	Busca de Valoração: Método dos Tableaux (cont.)	18
10	7-fev	Método da Resolução	20
11	14-fev	Método da Resolução (cont.)	22
12	18/19-fev	Noção de Prova Formal (Gentzen) Dedução Natural Normalização de Provas	24
13	21-fev	Cálculo de Seqüentes	26
14	25/26-fev	Eliminação do Corte	28
15	28-fev	Satisfatibilidade e Problemas NP-Completos Máquina de Turing. Teorema de Cook	30
16	4/5-mar	Exercícios. Revisão	32
17	7-mar	Exercícios. Revisão	34
17	09-mar	Primeira Prova	34
18	11/12-mar	Estruturas de Primeira Ordem	36
19	14/mar	Funções entre Estruturas	38
20	18/19-mar	A Noção de Subestrutura	40
21	21-mar	Termos e Fórmulas Atômicas	42
22	25/26-mar	Lógica de Primeira Ordem: Sintaxe Lógica de Primeira Ordem: Semântica	44
23	1/2-abr	Linguagem vs Estruturas: Diagramas, Modelos Canônicos	46
24	4-abr	Forma Prenex Forma Normal de Skolem	48
25	8/9-abr	Resolução para Primeira Ordem Teorema de Herbrand	50
26	11-abr	Algoritmo da Unificação	52
27	15/16-abr	Sistemas Axiomáticos (Euclid, Hilbert) Lógica Proposicional	54
28	18-abr	Sistemas Axiomáticos Lógica de Primeira Ordem	56
29	22/23-abr	Teorema da Completude	58
30	25-abr	Aritmética de Peano Incompletude (Gödel)	60
31	4-mai	Segunda Prova	62
32	9-mai	Prova Final	64

Aula Data Assunto Horas Acum.

1 7/8-jan Apresentação do Curso
Preliminares Matemáticos 02

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

3 14/15-jan Conjuntos Indutivamente Definidos
Fecho Indutivo 06

4 17-jan Conjuntos Livremente Gerados 08

5 21/22-jan A Lógica Simbólica de Frege
Lógica Proposicional: Sintaxe 10

6 24-jan Lógica Proposicional: Semântica
Tabela-Verdade, Satisfatibilidade 12

7 28/29-jan Teorema da Compaccidade 14

8 31-jan Busca de Valoração: Método dos Tableaux 16

9 4/5-fev Busca de Valoração: Método dos Tableaux (cont.) 18

10 7-fev Método da Resolução 20

11 14-fev Método da Resolução (cont.) 22

12 18/19-fev Noção de Prova Formal (Gentzen)
Dedução Natural Normalização de Provas 24

13 21-fev Cálculo de Seqüentes 26

14 25/26-fev Eliminação do Corte 28

15 28-fev Satisfatibilidade e Problemas NP-Completos
Máquina de Turing. Teorema de Cook 30

16 4/5-mar Exercícios. Revisão 32

17 7-mar Exercícios. Revisão 34

17 09-mar Primeira Prova 34

18 11/12-mar Estruturas de Primeira Ordem 36

19 14/mar Funções entre Estruturas
38

20 18/19-mar A Noção de Subestrutura 40

21 21-mar Termos e Fórmulas Atômicas 42

22 25/26-mar Lógica de Primeira Ordem: Sintaxe
Lógica de Primeira Ordem: Semântica 44

23 1/2-abr Linguagem vs Estruturas:
Diagramas, Modelos Canônicos 46

24 4-abr Forma Prenex
Forma Normal de Skolem 48

25 8/9-abr Resolução para Primeira Ordem
Teorema de Herbrand 50

26 11-abr Algoritmo da Unificação 52

27 15/16-abr Sistemas Axiomáticos (Euclid, Hilbert)
Lógica Proposicional 54

28 18-abr Sistemas Axiomáticos
Lógica de Primeira Ordem 56

29 22/23-abr Teorema da Completude 58

30 25-abr Aritmética de Peano
Incompletude (Gödel) 60

31 4-mai Segunda Prova 62

32 9-mai Prova Final 64

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

Última atualização: 14 de Fevereiro de 2002, 12:21hs