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

IF673 - Lógica para Computação

Primeiro Semestre de 2005

Horário e local

Turmas 2C e 2E (Sala 8)
  3a Feira, de 14h às 16h
  5a Feira, de 16h às 18h

Professor

Ruy José Guerra Barretto de Queiroz.

Monitores

André Luiz Loureiro de Carvalho (allc)
Eduardo Wagner Marques de Almeida (ewma)
Guilherme Augusto de Morais e S. Dantas (gamsd)
João Henrique Correia Pimentel (jhcp)
José Benito Fernandes de Araújo Neto (jbfan)
Nancy de Lyra Lino (nll)
Nicole Barbosa Sultanum (nbs2)
Pablo Alessandro Barbosa Viana (pabv)
Roberto Cássio Silva do Nascimento Júnior (rcsdnj)
Rodrigo Silva Campos (rsc3)

Regras gerais para condução da disciplina

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, CSLI Publications, 2002, ISBN 157586374X. (Acompanha o software educativo Tarski's World)

    Programação de Aulas

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

    ATENÇÃO: Newsgroup

    Todas as mensagens relativas à disciplina são veiculadas no grupo de notícias depto.cursos.grad.if673.

    Última atualização: 1 de Julho de 2005, 08:29hs