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 2008

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.

ATENÇÃO: Newsgroup

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

Monitores

Eduardo Wagner Marques de Almeida (ewma) (Coordenador)
Almir Gomes de Castro Júnior (agcj)
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, Capítulo 7), Dirk van Dalen
  • 2a. Unidade: Uma Teoria de Modelos mais Curta (em pdf), Wilfrid Hodges
  • Livro e CD (software) para trabalhos práticos:
    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-Fev
    Apresentação do Curso
    Preliminares Matemáticos

    28-Fev
    Exibição do video-clip Great Scientists: Aristotle, Allan Chapman
    Preliminares Conceituais: Objetos e Predicados
    A Lógica de Aristóteles: Lógica Aristotélica

    04-Mar
    A Abordagem Algébrica de Boole
    A Lógica Simbólica de Frege

    06-Mar
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    13-Mar
    (Mini-Prova)
    Conjuntos Livremente Gerados

    18-Mar
    Teorema da Extensão Homomórfica Única

    25-Mar
    Provas por Indução sobre Conjuntos Indutivos

    27-Mar
    (Palestra no Auditorio do CCEN)

    01-Abr
    Lógica Proposicional: Semântica
    Valoração-Verdade
    Tabela-Verdade
    O Conceito de Satisfatibilidade

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

    08-Abr
    Método da Resolução

    10-Abr
    (Mini-Prova)
    Dedução Natural (Gentzen)
    Noção de Prova Formal (Gentzen)

    15-Abr
    Teorema da Compaccidade (Finitude)

    17-Abr
    Primeira Prova

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

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

    29-Abr
    Lógica de Primeira Ordem: Sintaxe e Semântica
    Forma Prenex

    06-Mai
    Forma Normal de Skolem

    08-Mai
    (Mini-Prova)
    Algoritmo da Unificação

    15-Mai
    Resolução para Primeira Ordem

    20-Mai
    Teorema de Herbrand

    27-Mai
    Teorema da Compaccidade

    29-Mai
    Sistemas Axiomáticos (Euclides, Hilbert)
    Completude, Incompletude
    Aritmética de Peano

    03-Jun
    Funções recursivas primitivas

    05-Jun
    Funções recursivas parciais

    10-Jun
    (Mini-Prova)
    Conjuntos recursivavemente enumeráveis

    12-Jun
    Incompletude da Aritmética (Gödel)

    17-Jun
    Incompletude da Aritmética (cont.)

    19-Jun
    Segunda Prova e entrega dos Exercícios do Tarski's World

    26-Jun
    Segunda Chamada

    01-Jul
    Prova Final

    Última atualização: 1 de Abril de 2008, 02:07pm GMT-3