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

IF673 - Lógica para Computação

Primeiro Semestre de 2007

Horário e local

Turmas 2C e 2E (Sala D-005)
  3a Feira, de 14h às 16h
  5a Feira, de 16h às 18h

Professor

Ruy José Guerra Barretto de Queiroz.

Monitores

Eduardo Wagner Marques de Almeida (ewma) (Coordenador)
Andre Melo (afpm)
Flávia Renata Costa Chaves (frcc)
Yane Wanderley dos Santos Rodrigues (ywsr)
Victor Hugo Queiroz da Rocha (vhqr)

Regras gerais para condução da disciplina

aqui

Charadas

de Smullyan: aqui

Bibliografia (tradução (parcial) para o português de alguns itens da bibliografia)

  • 1a. Unidade: Lógica e Estrutura (em pdf), Dirk van Dalen
  • 2a. Unidade: Uma Teoria de Modelos mais Curta (em pdf), Wilfrid Hodges
  • Livro e CD (software) para aulas práticas:
    Language, Proof and Logic, Jon Barwise & John Etchemendy, CSLI Publications, 2002, ISBN 157586374X. (Acompanha o software educativo Tarski's World)

    Programação de Aulas

    26-Abr
    Apresentação do Curso
    Preliminares Matemáticos

    03-Mai
    Preliminares Conceituais: Objetos e Predicados
    A Lógica de Aristóteles: Silogismos

    08-Mai
    A Abordagem Algébrica de Boole
    A Lógica Simbólica de Frege

    10-Mai
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

    15-Mai
    Fecho Indutivo
    (Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)

    17-Mai
    (Mini-Prova)
    Provas por Indução sobre Conjuntos Indutivos
    Conjuntos Livremente Gerados
    Teorema da Extensão Homomórfica Única

    22-Mai
    Lógica Proposicional: Sintaxe
    Lógica Proposicional: Semântica
    Valoração-Verdade
    Tabela-Verdade

    24-Mai
    O Conceito de Satisfatibilidade

    29-Mai
    O Problema SAT e correlatos

    31-Mai
    (Mini-Prova)
    Busca de Valoração: Método dos Tableaux

    05-Jun
    Busca de Valoração: Método dos Tableaux (cont.)

    12-Jun
    Método da Resolução

    14-Jun
    (Mini-Prova)
    Dedução Natural (Gentzen)

    19-Jun
    Noção de Prova Formal (Gentzen)

    21-Jun
    Teorema da Compaccidade (Finitude)

    26-Jun
    Primeira Prova

    28-Jun
    Funções entre Estruturas: Homomorfismos, Imersões
    A Noção de Subestrutura

    03-Jul
    Termos e Fórmulas Atômicas
    Linguagem vs Estruturas: Diagramas e Modelos Canônicos

    05-Jul
    Lógica de Primeira Ordem: Sintaxe e Semântica
    Forma Prenex

    10-Jul
    Forma Normal de Skolem

    12-Jul
    (Mini-Prova)
    Algoritmo da Unificação

    17-Jul
    Resolução para Primeira Ordem

    19-Jul
    Teorema de Herbrand

    24-Jul
    (Mini-Prova)
    Sistemas Axiomáticos (Euclid, Hilbert)

    26-Jul
    Completude, Incompletude

    31-Jul
    Aritmética de Peano
    Funções recursivas primitivas

    02-Ago
    Funções recursivas parciais

    07-Ago
    (Mini-Prova)
    Conjuntos recursivavemente enumeráveis
    Decidibilidade

    09-Ago
    Incompletude da Aritmética (Gödel)

    14-Ago
    Revisão

    16-Ago
    Segunda Prova e entrega do Tarski

    21-Ago
    Segunda Chamada

    23-Ago
    Prova Final

    ATENÇÃO: Newsgroup

    Todas as mensagens relativas à disciplina são veiculadas no grupo de notícias depto.cursos.grad.if673.

    Última atualização: 16 de Maio de 2007, 12:10pm GMT-3