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 2009

Horário e local

Turmas 2C e 2E (Sala D-005)
  3a Feira, de 14h às 16h
  5a Feira, de 16h às 18h

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

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

    17-Fev
    Apresentação do Curso
    Preliminares Matemáticos

    19-Fev
    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

    26-Fev
    A Abordagem Algébrica de Boole
    A Lógica Simbólica de Frege

    03-Mar
    (Mini-Prova)
    Conjuntos Indutivamente Definidos

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

    10-Mar
    (Mini-Prova)
    Conjuntos Livremente Gerados

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

    17-Mar
    Definição por Recursão sobre Conjuntos Indutivos

    19-Mar
    Provas por Indução sobre Conjuntos Indutivos

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

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

    31-Mar
    Método da Resolução

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

    07-Abr
    Normalizaçção de Provas

    09-Abr
    Teorema da Compaccidade (Finitude)

    14-Abr
    Primeira Prova

    16-Abr
    Lógica de Primeira Ordem
    Estruturas

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

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

    30-Abr
    Lógica de Primeira Ordem: Sintaxe e Semântica
    Forma Prenex

    05-Mai
    Forma Normal de Skolem

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

    12-Mai
    Resolução para Primeira Ordem

    14-Mai
    Teorema de Herbrand

    19-Mai
    Teorema de Löwenheim-Skolem

    21-Mai
    Sistemas Axiomáticos (Euclides, Hilbert)
    Completude, Incompletude

    26-Mai
    Aritmética de Peano

    28-Mai
    Funções recursivas primitivas

    02-Jun
    Funções recursivas parciais
    Conjuntos recursivamente enumeráveis

    04-Jun
    (Mini-Prova)
    Incompletude da Aritmética (Gödel)

    09-Jun
    Segunda Prova e entrega dos Exercícios do Tarski's World

    10-Jun
    Segunda Chamada

    16-Jun
    Prova Final

    Última atualização: 17 de Fevereiro de 2009, 09:45am GMT-3