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 2006

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

Professor: Fred Freitas.

Nome, Horário e Local de Atendimento dos Monitores
Eduardo Lourenço

Eduardo Wagner - ewma
Eduardo Franklin - ehcf
André Feitozaz - afm4
Danilo Lima Veras - dlv
Fernando Kakimoto - fvk
Icamaan Viegas - ibvs
Nicole Sultanum - nbs2
Chico - fmps
dlam

Planilha de Notas

Bibliografia:

  • Livro-base: Lógica para Ciência da Computação,  João Nunes de Souza, Editora Campus, 2002.
  • Inteligência Artificial: Ferramentas e Teorias, Guilherme Bittencourt, Editora da UFSC, 1998 (para parte da 2a unidade).
  • First-order Logic and Automated Theorem Proving, Melvin Fitting, Springer Verlag, 1990.
  • Introduction to Logic, Michal Walicki (apenas o histórico)
  • Symbolic Logic and Mechanical Theorem Proving, C. Chang, R. Lee, Academic Press, 1973.

    Livro e CD (software) pode ser usado para aulas práticas:

  • Language, Proof and Logic, Jon Barwise & John Etchemendy, Seven Bridges Press, 2000. (Acompanha o software educativo Tarski's World - também usado na parte de argumentação)

    Programação de Aulas (sujeita a alterações):

    Aula
    Data
    Assunto
    Material Transps.
    Horas Acum.
    X 13-jun Jogo do Brasil (na hora da aula)     X
    X 15-jun Feriado: Corpus Christi     X
    1 20-jun Apresentação do Curso:

    Objetivo da disciplina; origem e relação com a computação

    Ementa; bibliografia; metodologia e método de avaliação

        02
    X 22-jun Jogo do Brasil (na hora da aula)     X
    X 27-jun Jogo do Brasil (antes da aula)     X
    3 29-jun Preliminares Conceituais: Argumentos

    Conseqüência e inferência lógica

    Lógica Proposicional: Sintaxe

     

    Caps 1 e 2 - Nunes

    Transps. 04
    4 04-jul Lógica Proposicional: Semântica
    Tabela-Verdade, Satisfatibilidade
    Caps. 2 e 3 - Nunes Transps. 06
    5 06-jul Lógica Proposicional: Semântica (cont.)
    Tabela-Verdade, Satisfatibilidade

    Considerações sobre o Custo Computacional de SAT

    Caps. 2 e 3 - Nunes Transps e as da aula anterior 08
    6 11-jul Árvore semântica: normal e por negação Caps. 3 e 4 - Nunes Transps. 10
    X 13-jul Mini-prova: Lógica Proposicional: Sintaxe, Semântica e Custo Computacional de SAT  (12-14:00)      
    7 13-jul Relações semânticas entre conectivos; formas normais Cap. 6 - Nunes

    Cap. 2 - Chang-Lee

    Transps. 12
    8 18-jul Métodos de inferência: Dedução Natural Cap. 7 - Nunes Transps. 14
    9 20-jul Métodos de inferência: Dedução Natural (cont.) Cap. 7 - Nunes aula anterior 16
    10 25-jul Métodos de inferência: Tableaux semânticos Cap. 8 - Nunes Transps. 18
    11 27-jul Métodos de inferência: Tableaux semânticos (cont.) Cap. 8 - Nunes aula anterior 20
    12 1-ago Métodos de inferência: Resolução Cap. 8 - Nunes Transps. 22
    13 3-ago Métodos de inferência: Resolução (cont.)

    Revisão de métodos de inferência

    Cap. 8 - Nunes aula anterior 24
    14 8-ago Primeira Prova Bíblia :)   26
    15 10-ago Histórico (silogismos, axiomatização da matemática, Leibnitz, Frege, Peano, Tarski, Hilbert, Gentzen, Gödel, Robinson, programação em lógica) Cap. 1 - Walicki

    Cap. 1 - Guilherme

    Transps. 28
    16 15-ago Lógica de Predicados: Sintaxe Cap. 9 - Nunes Transps. 30
    17 17-ago Lógica de Predicados: Semântica Cap. 10 - Nunes Transps. 32
    18 22-ago Aula Prática: Programação em Lógica - (Prolog)

    Apresentação de proposta(s) de projeto

    Curso de Jacques

    Sugestões de projetos

      34
    19 24-ago Decidibilidade
    Sistemas de Prova: Corretude, Completude
    Cap. 11 - Nunes

    ...

    Transps. 36
    20 29-ago Tableaux semânticos para Lógica de Predicados Cap. 13 - Nunes Transps. 38
     X 31-ago Mini-Prova: Lógica de Predicados(Sintaxe e Semântica)

    Tableaux semânticos para Lógica de Predicados

    Decidibilidade: Corretude e Completude (12-14:00)

         
    21 31-ago Forma Prenex
    Forma Normal de Skolem
    Cap. 14 - Nunes  Transps. 40
    22 5-set Teorema de Herbrand e Unificação Cap. 14 - Nunes  Transps. 42
    X 7-set Feriado: Dia da Independência do Brasil     X
    23 12-set  Resolução para Primeira Ordem Cap. 14 - Nunes Transps 44
    24 14-set Programação em lógica Cap. 15 - Nunes Transps. 46
    25 19-set Entrega e discussão dos projetos     48
    X 19-set Mini-Prova: Resolução para Lógica de Predicados

    (não definido)

         
    26 21-set Sistemas Axiomáticos Cap. 7 e 12 - Nunes   50
    27 26-set Teorema da Completude Cap. 19 - Barwise   52
    28 28-set Segunda Prova Bíblia :)   54
    29 3-out Aritmética de Peano, Incompletude (Gödel) Cap. 19 - Barwise   56
    X 5-out Prova Final Bíblia, Alcorão e Torá   X

     

     

     

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

    Última atualização: 10 de Maio de 2006, 16:33hs