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 2010

Horário e local

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

Professores

Ruy José Guerra Barretto de Queiroz.

ATENÇÃO: Rede Social

Tudo sobre a disciplina estará circulando na rede social http://logicaparacomputacao.ning.com.

Monitores

Renato Parente (rp2) (Coordenador)
(a confirmar)

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:
    Tarski's World - Revised and Expanded, Dave Barker-Plummer, Jon Barwise and John Etchemendy In collaboration with Albert Liu, CSLI Publications, 2007, ISBN 1575864843. (Acompanha o software educativo Tarski's World)

    Programação de Aulas

    09-Mar
    Apresentação do Curso
    Preliminares Matemáticos

    11-Mar
    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

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

    18-Mar
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    25-Mar
    (Mini-Prova)
    Conjuntos Livremente Gerados

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

    06-Abr
    Definição por Recursão sobre Conjuntos Indutivos

    08-Abr
    Provas por Indução sobre Conjuntos Indutivos

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

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

    20-Abr
    Método da Resolução

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

    27-Abr
    Normalizaçção de Provas

    29-Abr
    Teorema da Compaccidade (Finitude)

    04-Mai
    Primeira Prova

    06-Mai
    Lógica de Primeira Ordem
    Estruturas

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

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

    20-Mai
    Lógica de Primeira Ordem: Sintaxe e Semântica
    Forma Prenex

    25-Mai
    Forma Normal de Skolem

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

    01-Jun
    Resolução para Primeira Ordem

    08-Jun
    Teorema de Herbrand

    10-Jun
    Teorema de Löwenheim-Skolem

    15-Jun
    Sistemas Axiomáticos (Euclides, Hilbert)
    Completude, Incompletude

    17-Jun
    Aritmética de Peano

    22-Jun
    Funções recursivas primitivas

    29-Jun
    Funções recursivas parciais

    01-Jul
    (Mini-Prova)
    Conjuntos recursivamente enumeráveis

    06-Jul
    Incompletude da Aritmética (Gödel)

    08-Jul
    Segunda Prova e entrega dos Exercícios do Tarski's World

    13-Jul
    Segunda Chamada

    15-Jul
    Prova Final

    Última atualização: 23 Mar 2010, 09:33pm GMT-3