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 2011

Horário e local

Turmas 2C e 2E (Sala D-005)
  3a Feira, de 13h às 15h
  5a Feira, de 15h às 17h

Professores

Ruy José Guerra Barretto de Queiroz.

ATENÇÃO: Rede Social

Tudo sobre a disciplina estará circulando na Comunidade Lógica para Computação 2011.1 no Orkut.

Monitores

Marcelo Frota (mfpp) (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

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

    03-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

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

    22-Mar
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    29-Mar
    (Mini-Prova)
    Conjuntos Livremente Gerados

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

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

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

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

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

    19-Abr
    Método da Resolução

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

    28-Abr
    Normalizaçção de Provas

    03-Mai
    Teorema da Compaccidade (Finitude)

    05-Mai
    Primeira Prova

    10-Mai
    Lógica de Primeira Ordem
    Estruturas

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

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

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

    24-Mai
    Forma Normal de Skolem

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

    31-Mai
    Resolução para Primeira Ordem

    02-Jun
    Teorema de Herbrand

    07-Jun
    Teorema de Löwenheim-Skolem

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

    14-Jun
    Aritmética de Peano

    16-Jun
    Funções recursivas primitivas

    21-Jun
    Funções recursivas parciais

    28-Jun
    (Mini-Prova)
    Conjuntos recursivamente enumeráveis

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

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

    07-Jul
    Segunda Chamada

    12-Jul
    Prova Final

    Última atualização: 27 Fev 2011, 06:26pm GMT-3