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

IF312 - Lógica Aplicada a Computação

Segundo Semestre de 1999

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

Professor: Ruy José Guerra Barretto de Queiroz.

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

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

Prêmio para o Melhor Aproveitamento na Disciplina
Premiada:
  Suzana Mesquita de Borba Maranhão
   Prêmio: Contos, de Machado de Assis.

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

  • 1a. Unidade: Logic and Structure, D. van Dalen
  • 2a. Unidade: A Shorter Model Theory, W. Hodges

    Programação de Aulas

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


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

    Última atualização: 14 de Janeiro de 1999, 09:57:27hs