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

Segundo Semestre de 2009

Horário e local

Turmas 2C e 2E (Sala D-005)
  2a Feira, de 08h às 10h
  4a Feira, de 10h às 12h

Professores

Anjolina Grisi de Oliveira e Ruy José Guerra Barretto de Queiroz.

ATENÇÃO: Rede Social

Tudo sobre a disciplina estará circulando na rede social http://logica20092.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:
    Language, Proof and Logic, Jon Barwise & John Etchemendy, CSLI Publications, 2002, ISBN 157586374X. (Acompanha o software educativo Tarski's World)

    Programação de Aulas

    03-Ago
    Apresentação do Curso
    Preliminares Matemáticos

    05-Ago
    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

    10-Ago
    A Abordagem Algébrica de Boole
    A Lógica Simbólica de Frege

    12-Ago
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    19-Ago
    (Mini-Prova)
    Conjuntos Livremente Gerados

    24-Ago
    Teorema da Extensão Homomórfica Única

    26-Ago
    Definição por Recursão sobre Conjuntos Indutivos

    31-Ago
    Provas por Indução sobre Conjuntos Indutivos

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

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

    14-Set
    Método da Resolução

    16-Set
    (Mini-Prova)
    Dedução Natural (Gentzen)
    Noção de Prova Formal (Gentzen)

    21-Set
    Normalizaçção de Provas

    23-Set
    Teorema da Compaccidade (Finitude)

    28-Set
    Primeira Prova

    30-Set
    Lógica de Primeira Ordem
    Estruturas

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

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

    14-Out
    Lógica de Primeira Ordem: Sintaxe e Semântica
    Forma Prenex

    19-Out
    Forma Normal de Skolem

    21-Out
    (Mini-Prova)
    Algoritmo da Unificação

    26-Out
    Resolução para Primeira Ordem

    28-Out
    Teorema de Herbrand

    04-Nov
    Teorema de Löwenheim-Skolem

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

    11-Nov
    Aritmética de Peano

    16-Nov
    Funções recursivas primitivas

    18-Nov
    Funções recursivas parciais

    23-Nov
    (Mini-Prova)
    Conjuntos recursivamente enumeráveis

    25-Nov
    Incompletude da Aritmética (Gödel)

    02-Dez
    Incompletude da Aritmética (cont.)

    07-Dez
    Segunda Prova e entrega dos Exercícios do Tarski's World

    09-Dez
    Segunda Chamada

    14-Dez
    Prova Final

    Última atualização: 7 de Agosto de 2009, 10:40am GMT-3