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 2011

Horário e local

Turma 2C (Sala D-005)
  2a Feira, de 08h às 10h
  5a Feira, de 08h às 10h

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.2 no Orkut.

Monitores

Renato (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

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

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

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

    22-Ago
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    29-Ago
    (Mini-Prova)
    Conjuntos Livremente Gerados

    01-Set
    Teorema da Extensão Homomórfica Única

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

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

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

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

    19-Set
    Método da Resolução

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

    26-Set
    Normalizaçção de Provas

    29-Set
    Teorema da Compaccidade (Finitude)

    03-Out
    Primeira Prova

    06-Out
    Lógica de Primeira Ordem
    Estruturas

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

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

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

    20-Out
    Forma Normal de Skolem

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

    27-Out
    Resolução para Primeira Ordem

    30-Out
    Teorema de Herbrand

    03-Nov
    Teorema de Löwenheim-Skolem

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

    10-Nov
    Aritmética de Peano

    14-Nov
    Funções recursivas primitivas

    17-Nov
    Funções recursivas parciais

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

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

    28-Nov
    Segunda Prova e entrega dos Exercícios do Tarski's World

    01-Dez
    Segunda Chamada

    05-Dez
    Prova Final

    Última atualização: 11 Ago 2011, 02:25pm GMT-3