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 2003

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

Professor: Ruy José Guerra Barretto de Queiroz.

Nome, Horário e Local de Atendimento dos Monitores
Eduardo Lourenço (ela), Ivi Souza (ibs2), Marcos Aurélio (maas), Marcelo Simões (msv2).

Planilha de Notas: 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, Seven Bridges Press, 2000. (Acompanha o software educativo Tarski's World)

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 17-nov Apresentação do Curso
    Preliminares Matemáticos
    02
    2 19-nov Preliminares Conceituais: Objetos e Predicados
    A Lógica de Aristóteles: Silogismos
    04
    3 24-nov Conjuntos Indutivamente Definidos
    06
    4 26-nov Fecho Indutivo 08
    5 01-dez Provas por Indução sobre Conjuntos Indutivos 10
    6 03-dez Conjuntos Livremente Gerados 12
    X 08-dez Feriado - Nossa Senhora Conceição  
    7 10-dez A Lógica Simbólica de Frege
    Lógica Proposicional: Sintaxe
    14
    8 15-dez Lógica Proposicional: Semântica
    Tabela-Verdade, Satisfatibilidade
    16
    9 17-dez Considerações sobre o Custo Computacional de SAT 18
    X 21-dez a

     11-jan

    Recesso acadêmico  
    10 12-jan Busca de Valoração: Método dos Tableaux 20
    11 14-jan Busca de Valoração: Método dos Tableaux (cont.) 22
    12 19-jan Método da Resolução 24
    13 21-jan Método da Resolução (cont.) 26
    14 26-jan Noção de Prova Formal (Gentzen)
    Dedução Natural
    28
    15 28-jan Dedução Natural (cont.)
    Normalização de Provas
    30
    16 02-fev Cálculo de Seqüentes 32
    17 04-fev Teorema da Compaccidade (Finitude)
    Decidibilidade
    Sistemas de Prova: Corretude, Completude
    34
    18 09-fev Primeira Prova 36
    19 11-fev Estruturas de Primeira Ordem 38
    20 16-fev Funções entre Estruturas
    40
    21 18-fev A Noção de Subestrutura 42
    X 23-fev Feriado Carnaval  
    X 25-fev Feriado carnaval  
    22 01-mar Termos e Fórmulas Atômicas 44
    23 03-mar Lógica de Primeira Ordem: Sintaxe
    Lógica de Primeira Ordem: Semântica
    46
    24 08-mar Linguagem vs Estruturas:
    Diagramas, Modelos Canônicos
    48
    25 10-mar Forma Prenex
    Forma Normal de Skolem
    50
    26 15-mar Resolução para Primeira Ordem
    Teorema de Herbrand
    52
    27 17-mar Algoritmo da Unificação 54
    28 22-mar Sistemas Axiomáticos (Euclid, Hilbert)
    Lógica Proposicional
    56
    29 24-mar Sistemas Axiomáticos
    Lógica de Primeira Ordem
    58
    30 29-mar Teorema da Completude 60
    31 31-mar Aritmética de Peano
    Incompletude (Gödel)
    62
    32 05-abr Segunda Prova e entrega do Tarski 64
    33 12-abr Prova Final 66


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

    Última atualização: 22 de Abril de 2004, 08:33hs