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 2008

Horário e local

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

Professores

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

ATENÇÃO: Newsgroup

Todas as mensagens relativas à disciplina são veiculadas no grupo de notícias depto.cursos.grad.if673.

Monitores

Yane Wanderley dos Santos Rodrigues (ywsr) (Coordenadora)
Almir Gomes de Castro Júnior (agcj)
Flávia Renata Costa Chaves (frcc)
Victor Hugo Queiroz da Rocha (vhqr)

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

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

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

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

    13-Ago
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    20-Ago
    (Mini-Prova)
    Conjuntos Livremente Gerados

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

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

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

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

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

    08-Set
    Método da Resolução

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

    15-Set
    Normalizaçção de Provas

    17-Set
    Teorema da Compaccidade (Finitude)

    22-Set
    Primeira Prova

    24-Set
    Lógica de Primeira Ordem
    Estruturas

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

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

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

    08-Out
    Forma Normal de Skolem

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

    15-Out
    Resolução para Primeira Ordem

    20-Out
    Teorema de Herbrand

    22-Out
    Teorema de Löwenheim-Skolem

    27-Out
    Sistemas Axiomáticos (Euclides, Hilbert)
    Completude, Incompletude

    29-Out
    Aritmética de Peano

    03-Nov
    Funções recursivas primitivas

    05-Nov
    Funções recursivas parciais

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

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

    17-Nov
    Incompletude da Aritmética (cont.)

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

    26-Nov
    Segunda Chamada

    01-Dez
    Prova Final

    Última atualização: 04 de Agosto de 2008, 11:59am GMT-3