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 2014

Horário e local

Turma 2C (Sala D-004) 

  3a Feira, de 13h às 15h

  5a Feira, de 15h às 17h


Professores

Ruy José Guerra Barretto de Queiroz.


ATENÇÃO: Rede Social

Lógica para Computação 2014.1


Monitores

Natália Paola de Vasconcelos Cometti (Coordenadora)

Bruno Rafael Barros de Castro

George Harrison Álvares de Oliveira

João Gabriel Santiago Mauricio de Abreu

João Pedro de Carvalho Magalhães

Maria Gabriela Toledo de Moraes Cardoso

Maria Julia Godoy Ferreira Lima

Mateus de Freitas Leite

Vinícius de Moraes Rego Cousseau


Regras gerais para condução da disciplina

aqui



Bibliografia (tradução (parcial) para o português de alguns itens da bibliografia)

1a. Unidade: Lógica e Estrutura (em pdf, Capítulo 7), Dirk van Dalen 

2a. Unidade: Uma Teoria de Modelos mais Curta (em pdf), Wilfrid Hodges

Livro e CD (software) para trabalhos práticos:
Tarski's World - Revised and Expanded, Dave Barker-Plummer, Jon Barwise and John Etchemendy In collaboration with Albert Liu, CSLI Publications, 2007, ISBN 1575864843. (Acompanha o software educativo Tarski's World)


Programação de Aulas

01 Abr
Apresentação do Curso
Preliminares Matemáticos


03 Abr
Exibição do video-clip Great Scientists: Aristotle, Allan Chapman
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Lógica Aristotélica

08 Abr
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

10 Abr
Conjuntos Indutivamente Definidos

15 Abr
Fecho Indutivo
(Ver capítulo 2, seção 2.3, do livro de J. Gallier: aqui)

17 Abr
Conjuntos Livremente Gerados

22 Abr
Teorema da Extensão Homomórfica Única

24 Abr
Definição por Recursão sobre Conjuntos Indutivos

29 Abr
Provas por Indução sobre Conjuntos Indutivos

03 Jun
Lógica Proposicional: Semântica
Valoração-Verdade
Tabela-Verdade
O Conceito de Satisfatibilidade

05 Jun
Busca de Valoração: Método dos Tableaux

10 Jun
Método da Resolução

12 Jun
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

17 Jun
Normalização de Provas

19 Jun
Cálculo de Seqüentes

26 Jun
Teorema da Compaccidade (Finitude)

01 Jul
Primeira Prova

03 Jul
Lógica de Primeira Ordem
Estruturas

08 Jul
Funções entre Estruturas: Homomorfismos, Imersões
A Noção de Subestrutura

10 Jul
Termos e Fórmulas Atômicas
Linguagem vs Estruturas: Diagramas e Modelos Canônicos

15 Jul
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

17 Jul
Forma Normal de Skolem

22 Jul
Algoritmo da Unificação

24 Jul
Resolução para Primeira Ordem

29 Jul
Teorema de Herbrand

31 Jul
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude

05 Ago
Aritmética de Peano

07 Ago
Incompletude da Aritmética (Gödel)

12 Ago
Segunda Prova e entrega dos Exercícios do Tarski's World

14 Ago
Segunda Chamada

19 Ago
Prova Final 

Última atualização: 01 de Maio de 2014, 10:02am GMT-3