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

IF673 - Lógica para Computação

Primeiro Semestre de 2003

Horário de Aulas
Turma I2 A (Sala 8)
  2a Feira, de 16h às 18h
  5a Feira, de 14h às 16h

Notas: Planilha

Professor: Ruy José Guerra Barretto de Queiroz.

Nome, Horário e Local de Atendimento dos Monitores
Eduardo Lourenço (ela), Ivi Batista (ibs2), Marcos Aurélio (maas), Marcelo Simões (msv2).

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