Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação

IF673 - Lógica para Computação

Primeiro Semestre de 2004

Horário de Aulas
Turma I2 A (Sala 8)
  2a Feira, de 16h às 18h
  5a Feira, de 14h às 16h

Professor: Ruy José Guerra Barretto de Queiroz.

Monitores
Nancy de Lyra Lino (nll), José Carlos de Moura Júnior (jcmj), Roberto Cássio S. N. Júnior (rcsdnj)

Lista de Exercícios (p/ 08/07/2004): 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, Seven Bridges Press, 2000. (Acompanha o software educativo Tarski's World)

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 10-mai Apresentação do Curso
    Preliminares Matemáticos    		 02
    2 13-mai Preliminares Conceituais: Objetos e Predicados
    A Lógica de Aristóteles: Silogismos    		 04
    3 17-mai Conjuntos Indutivamente Definidos
    		 06
    4 20-mai Fecho Indutivo 08
    5 24-mai Provas por Indução sobre Conjuntos Indutivos 10
    6 27-mai Conjuntos Livremente Gerados 12
    7 31-mai A Lógica Simbólica de Frege
    Lógica Proposicional: Sintaxe     		14
    8 03-jun Lógica Proposicional: Semântica
    Tabela-Verdade, Satisfatibilidade     		16
    9 07-jun Considerações sobre o Custo Computacional de SAT 18
      10-jun Feriado - Corpus Christi  
    10 14-jun Busca de Valoração: Método dos Tableaux 20
    11 17-jun Busca de Valoração: Método dos Tableaux (cont.) 22
    12 21-jun Método da Resolução 24
      24-jun Feriado - São João  
    13 28-jun Método da Resolução (cont.) 26
    14 01-jul Noção de Prova Formal (Gentzen)
    Dedução Natural     		28
    15 05-jul Dedução Natural (cont.)
    Normalização de Provas     		30
    16 08-jul Cálculo de Seqüentes 32
    17 12-jul Teorema da Compaccidade (Finitude)
    Decidibilidade
    Sistemas de Prova: Corretude, Completude     		34
    18 15-jul Primeira Prova 36
    19 19-jul Estruturas de Primeira Ordem 38
    20 22-jul Funções entre Estruturas
    		 40
    21 26-jul A Noção de Subestrutura 42
    22 02-ago Termos e Fórmulas Atômicas 44
    23 05-ago Lógica de Primeira Ordem: Sintaxe
    Lógica de Primeira Ordem: Semântica     		46
    24 09-ago Linguagem vs Estruturas:
    Diagramas, Modelos Canônicos     		48
    25 12-ago Forma Prenex
    Forma Normal de Skolem     		50
    26 16-ago Resolução para Primeira Ordem
    Teorema de Herbrand     		52
    27 19-ago Algoritmo da Unificação 54
    28 23-ago Sistemas Axiomáticos (Euclid, Hilbert)
    Lógica Proposicional     		56
    29 26-ago Sistemas Axiomáticos
    Lógica de Primeira Ordem     		58
    30 30-ago Teorema da Completude 60
    31 02-set Aritmética de Peano
    Incompletude (Gödel)    		 62
    32 06-set Segunda Prova e entrega do Tarski 64
      09-set Segunda Chamada  
    33 13-set Prova Final 66


    ATENÇÃO: Newsgroup
    Todas as mensagens relativas à disciplina são veiculadas no grupo de notícias depto.cursos.grad.if673.

    Última atualização: 22 de Junho de 2004, 09:46hs