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 2006

Horário e local

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

Professor

Ruy José Guerra Barretto de Queiroz.

Monitores

Eduardo Wagner Marques de Almeida (ewma)
Fernando Kakimoto (fvk)

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 ps e em pdf), Dirk van Dalen
  • 2a. Unidade: Uma Teoria de Modelos mais Curta (em ps e em pdf), Wilfrid Hodges
  • Livro e CD (software) para aulas práticas:
    Language, Proof and Logic, Jon Barwise & John Etchemendy, CSLI Publications, 2002, ISBN 157586374X. (Acompanha o software educativo Tarski's World)

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 13-nov Apresentação do Curso
    Preliminares Matemáticos
    		 02
    2 20-nov Preliminares Conceituais: Objetos e Predicados
    A Lógica de Aristóteles: Silogismos    		 04
    3 22-nov A Abordagem Algébrica de Boole
    A Lógica Simbólica de Frege
    Conjuntos Indutivamente Definidos     		06
    4 27-nov Mini-Prova 12-13hs
    Fecho Indutivo     		08
    5 29-nov Provas por Indução sobre Conjuntos Indutivos 10
    6 04-dez Mini-Prova 12-13hs
    Conjuntos Livremente Gerados
    Teorema da Extensão Homomórfica Única     		12
    7 06-dez Lógica Proposicional: Sintaxe
    Lógica Proposicional: Semântica
    Valoração-Verdade
    Tabela-Verdade
    		 14
    8 11-dez Entrega do Avaliador de Expressões
    O Conceito da Satisfatibilidade     		16
    9 13-dez Mini-Prova 12-13hs
    O Problema SAT e correlatos     		18
    10 18-dez Busca de Valoração: Método dos Tableaux 20
    11 20-dez Busca de Valoração: Método dos Tableaux (cont.) 22
    12 22-dez 26
    14 15-jan Método da Resolução 28
    15 17-jan Noção de Prova Formal (Gentzen)
    		 30
    16 22-jan Primeira Prova
    		 32
    17 24-jan Mini-Prova 12-13hs
    Teorema da Compaccidade (Finitude)
    Decidibilidade     		34
    18 29-jan Estruturas de Primeira Ordem
    Funções entre Estruturas: Homomorfismos, Imersões A Noção de Subestrutura     		36
    19 05-fev Mini-Prova 12-13hs
    Termos e Fórmulas Atômicas
    Linguagem vs Estruturas: Diagramas e Modelos Canônicos     		38
    20 07-fev Lógica de Primeira Ordem: Sintaxe e Semântica
    Forma Prenex
    		 40
    21 12-fev Mini-Prova 12-13hs
    Forma Normal de Skolem     		42
    22 14-fev Algoritmo da Unificação 44
    23 26-fev Resolução para Primeira Ordem 46
    24 28-fev Teorema de Herbrand 48
    25 05-mar Mini-Prova 12-13hs
    Sistemas Axiomáticos (Euclid, Hilbert)     		50
    26 07-mar Mini-Prova 12-13hs
    Completude, Incompletude     		52
    28 12-mar Aritmética de Peano 54
    28 14-mar Incompletude (Gödel) 56
    29 19-mar Segunda Prova e entrega do Tarski 58
    30 21-mar Segunda Chamada 60
    31 26-mar Prova Final 62

    ATENÇÃO: Newsgroup

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

    Última atualização: 15 de Janeiro de 2007, 09:03 GMT-3