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

Primeiro Semestre de 2001

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
(Infelizmente não temos monitores disponíveis neste semestre.)

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

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)

    Material sobre a proposições e provas:

  • Discrete Mathematics for CS, Papadimitriou/Russell/Sinclair

    Material sobre a revisão de alguns conceitos de álgebra aplicada:

  • Discrete Mathematics, Iain Philips

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

  • 1a. Unidade: Lógica e Estrutura, Dirk van Dalen
    (Capítulo 6: em postscript, em pdf)
  • 2a. Unidade: Uma Teoria de Modelos mais Curta (em ps, pdf), Wilfrid Hodges

    Programação de Aulas

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


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

    Última atualização: 13 de Julho de 2001, 15:44:11hs