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

Primeiro 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 do Monitor
Alexandre Figueiredo Siebra: 2a Feira, 12:30hs-14hs, no GRAD1.

Notas da Primeira Prova: aqui
Notas da Segunda Prova: aqui
Notas dos Exercícios do Tarski's World: aqui
Quadro Geral de Notas: aqui

Prêmio para o Melhor Aproveitamento na Disciplina
Despesas de passagem e hospedagem para participar do WoLLIC'2000, a ser realizado em Natal, de 15 a 18 de Agosto de 2000.
Premiados:
  André Wilson Brotto Furtado
  Ângela Figueiredo de Freitas
  Guilherme Barros Correa de Amorim
  Leonardo Sobral Cunha

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

    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: 21 de Julho de 2000, 10:53:27hs