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 2010

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 rede social http://logica20102.grou.ps.

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

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

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

    23-Ago
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    30-Ago
    (Mini-Prova)
    Conjuntos Livremente Gerados

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

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

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

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

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

    22-Set
    Método da Resolução

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

    29-Set
    Normalizaçção de Provas

    04-Out
    Teorema da Compaccidade (Finitude)

    06-Out
    Primeira Prova

    13-Out
    Lógica de Primeira Ordem
    Estruturas

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

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

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

    27-Out
    Forma Normal de Skolem

    03-Nov
    (Mini-Prova)
    Algoritmo da Unificação

    08-Nov
    Resolução para Primeira Ordem

    10-Nov
    Teorema de Herbrand

    15-Nov
    Teorema de Löwenheim-Skolem

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

    22-Nov
    Aritmética de Peano

    24-Nov
    Funções recursivas primitivas

    29-Nov
    Funções recursivas parciais

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

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

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

    13-Dez
    Segunda Chamada

    15-Dez
    Prova Final

    Última atualização: 11 Ago 2010, 10:23am GMT-3