Universidade Federal de Pernambuco (UFPE)
Centro de Ciências Exatas e da Natureza (CCEN)
Departamento de Informática (DI)
Graduação em Ciência da Computação

IF312 - Lógica Aplicada a Computação

Primeiro Semestre de 1999

Horário de Aulas
Turma I3 (Sala 7)
  3a Feira, de 8h às 10h
  6a Feira, de 10h às 12h

Turma IA (Sala ?)
  4a Feira, de 16h às 18h
  6a Feira, de 14h às 16h

Professor: Ruy José Guerra Barretto de Queiroz.

Nome, Horário e Local de Atendimento dos Monitores
Adalberto Cajueiro de Farias: 2a Feira, 10hs-12hs, no GRAD1.
Alexandre Figueiredo Siebra: 2a Feira, 12:30hs-14hs, no GRAD1.
Byron Leite Dantas Bezerra: 5a Feira, 12hs-13hs, no GRAD1.

Material sobre Estruturas de Primeira Ordem: aqui

Notas da Primeira Prova: aqui
Notas da Segunda Prova: aqui
Notas do Tarski's World: aqui
Quadro Geral de Notas : aqui

Prêmio para o Melhor Aproveitamento na Disciplina

Premiados:
  Carlos Eduardo Beserra Galvão
   Prêmio: Macbeth, de William Shakespeare
  Taciana Amorim Vanderlei
   Prêmio: Uma História Lastimável, de Fiodor Dostoievski

Programação de Aulas

Aula
Data
Assunto
Horas Acum.
1 23/24/mar Apresentação do Curso
Preliminares Matemáticos
02
2 26/mar Avaliação/Revisão de Álgebra 04
3 30/31/mar Definições Indutivas 06
4 6/7/abr Conjuntos Livremente Gerados 08
5 9/abr A Lógica de Aristóteles: Silogismos 10
6 13/14/abr Lógica Proposicional: Sintaxe 12
7 16/abr Lógica Proposicional: Semântica
Tabela-Verdade, Satisfatibilidade
14
8 20/21/abr Teorema da Compaccidade 16
9 23/abr Satisfatibilidade e Problemas NP-Completos
Máquina de Turing. Teorema de Cook
18
10 27/28/abr Busca de Valoração: Tableaux 20
11 30/abr Método da Resolução 22
12 4/5/mai Noção de Prova Formal:
Dedução Natural
24
13 7/mai Normalização de Provas 26
14 11/12/mai Cálculo de Seqüentes 28
15 14/mai Primeira Prova 30
16 18/19/mai Estruturas de Primeira Ordem 32
17 21/mai Homomorfismos e Subestruturas 34
18 25/26/mai Lógica de Primeira Ordem: Sintaxe
Termos e Fórmulas Atômicas
36
19 28/mai Lógica de Primeira Ordem: Semântica 38
21 1/2/jun Exercícios 42
22 4/jun Linguagem vs Estruturas:
Diagramas, Modelos Canônicos
44
23 8/9/jun Resolução para Primeira Ordem
Teorema de Herbrand
46
24 11/jun Algoritmo da Unificação 48
25 15/16/jun Sistemas Axiomáticos
Lógica Proposicional
50
26 18/jun Sistemas Axiomáticos
Lógica de Primeira Ordem
52
27 22/jun Teorema da Completude 54
28 29/30/jun Aritmética Formalizada
Incompletude
56
29 2/jul Revisão 58
30 6/jul Segunda Prova 60


ATENÇÃO: Newsgroup
Todas as mensagens relativas à disciplina são veiculadas no newsgroup depto.cursos.grad.if312.

Última atualização: 5 de Agosto de 1999, 17:37:49hs