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

IF312 - Lógica Aplicada a Computação

Segundo Semestre de 2000

Horário de Aulas
Turma I3 (Sala 7)
  3a Feira, de 8h às 10h
  6a Feira, de 10h às 12h

Professor: Ruy José Guerra Barretto de Queiroz.

Nome, Horário e Local de Atendimento dos Monitores
Alexandre Figueiredo Siebra: 6a Feira, 13:00hs-14:00hs, no GRAD1.
Gustavo Danzi de Andrade: 4a Feira, 12:30hs-13:30hs, no GRAD1.

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)

    Material sobre a proposições e provas:

  • Discrete Mathematics for CS, Papadimitriou/Russell/Sinclair

    Material sobre a revisão de alguns conceitos de álgebra aplicada:

  • Discrete Mathematics, Iain Philips

    Tradução (parcial) para o português de alguns itens da bibliografia:

  • 1a. Unidade: Logic and Structure, Dirk van Dalen
  • 2a. Unidade: A Shorter Model Theory, Wilfrid Hodges

    Quadro Geral de Notas: aqui

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 25/fev Apresentação do Curso
    Preliminares Matemáticos    		 02
    2 29/fev Avaliação/Revisão de Álgebra 04
    3 3/mar Definições Indutivas 06
    4 10/mar Conjuntos Livremente Gerados 08
    5 14/mar A Lógica de Aristóteles: Silogismos 10
    6 17/mar Lógica Proposicional: Sintaxe 12
    7 21/mar Lógica Proposicional: Semântica
    Tabela-Verdade, Satisfatibilidade     		14
    8 24/mar Teorema da Compaccidade 16
    9 28/mar Satisfatibilidade e Problemas NP-Completos
    Máquina de Turing. Teorema de Cook     		18
    10 31/mar Busca de Valoração: Tableaux 20
    11 4/abr Método da Resolução 22
    12 7/abr Noção de Prova Formal:
    Dedução Natural     		24
    13 11/abr Normalização de Provas 26
    14 14/abr Cálculo de Seqüentes 28
    15 18/abr Primeira Prova 30
    16 25/abr Estruturas de Primeira Ordem 32
    17 28/abr Funções entre Estruturas
    A Noção de Subestrutura     		34
    18 19/mai Lógica de Primeira Ordem: Sintaxe
    Termos e Fórmulas Atômicas     		36
    19 30/mai Lógica de Primeira Ordem: Semântica 38
    21 2/jun Exercícios 42
    22 6/jun Linguagem vs Estruturas:
    Diagramas, Modelos Canônicos     		44
    23 9/jun Resolução para Primeira Ordem
    Teorema de Herbrand     		46
    24 13/jun Algoritmo da Unificação 48
    25 16/jun Sistemas Axiomáticos
    Lógica Proposicional     		50
    26 20/jun Sistemas Axiomáticos
    Lógica de Primeira Ordem     		52
    27 27/jun Teorema da Completude 54
    28 30/jun Aritmética Formalizada
    Incompletude    		 56
    29 1/jul Segunda Prova 58
    30 7/jul Prova Final 60


    ATENÇÃO: Newsgroup
    Todas as mensagens relativas à disciplina são veiculadas no newsgroup depto.cursos.grad.if312.

    Última atualização: 18 de Setembro de 2000, 09:27:57hs