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

IF673 - Lógica para Computação

Segundo Semestre de 2002

Horário de Aulas
Turma I2 A (Sala 8)
  4a Feira, de 10h às 12h
  6a Feira, de 8h às 10h

Professor: Ruy José Guerra Barretto de Queiroz.

Nome, Horário e Local de Atendimento dos Monitores
(a confirmar)

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, 2000. (Acompanha o software educativo Tarski's World)

    Video a ser exibido (caso haja tempo)

  • The Machine that Changed the World, uma série produzida por WGBH Television em Boston (MA, EUA) em cooperação com a BBC (Inglaterra), com o apoio de ACM, NSF e UNISYS.

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 30-out Apresentação do Curso
    Preliminares Matemáticos    		 02
    2 1-nov Preliminares Conceituais: Objetos e Predicados
    A Lógica de Aristóteles: Silogismos    		 04
    3 6-nov Conjuntos Indutivamente Definidos
    Fecho Indutivo    		 06
    4 8-nov Conjuntos Livremente Gerados 08
    5 13-nov A Lógica Simbólica de Frege
    Lógica Proposicional: Sintaxe     		10
    6 20-nov Lógica Proposicional: Semântica
    Tabela-Verdade, Satisfatibilidade     		12
    7 22-nov Teorema da Compaccidade 14
    8 27-nov Busca de Valoração: Método dos Tableaux 16
    9 29-nov Busca de Valoração: Método dos Tableaux (cont.) 18
    10 4-dez Método da Resolução 20
    11 6-dez Método da Resolução (cont.) 22
    12 11-dez Noção de Prova Formal (Gentzen)
    Dedução Natural Normalização de Provas     		24
    13 13-dez Cálculo de Seqüentes 26
    14 18-dez Eliminação do Corte 28
    15 20-dez Satisfatibilidade e Problemas NP-Completos
    Máquina de Turing. Teorema de Cook     		30
    16 3-jan Exercícios. Revisão 32
    17 8-jan Exercícios. Revisão 34
    18 10-jan Primeira Prova 36
    19 15-jan Estruturas de Primeira Ordem 38
    20 17-jan Funções entre Estruturas
    		 40
    21 22-jan A Noção de Subestrutura 42
    22 24-jan Termos e Fórmulas Atômicas 44
    23 29-jan Lógica de Primeira Ordem: Sintaxe
    Lógica de Primeira Ordem: Semântica     		46
    24 31-jan Linguagem vs Estruturas:
    Diagramas, Modelos Canônicos     		48
    25 5-fev Forma Prenex
    Forma Normal de Skolem     		50
    26 7-fev Resolução para Primeira Ordem
    Teorema de Herbrand     		52
    27 12-fev Algoritmo da Unificação 54
    28 14-fev Sistemas Axiomáticos (Euclid, Hilbert)
    Lógica Proposicional     		56
    29 19-fev Sistemas Axiomáticos
    Lógica de Primeira Ordem     		58
    30 21-fev Teorema da Completude 60
    31 26-fev Aritmética de Peano
    Incompletude (Gödel)    		 62
    32 28-fev Exercícios. Revisão 64
    33 7-mar Exercícios. Revisão 66
    34 12-mar Segunda Prova 68
    35 19-mar Prova Final 70


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

    Última atualização: 30 de Outubro de 2002, 15:30hs