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 2019

Horário e local

Turma 2C (Sala D-003) 

  3^a Feira, de 13h às 15h

  5^a Feira, de 15h às 17h

Professora

Anjolina Grisi de Oliveira.

Monitores

Miguel Luiz Pessoa da Cruz Silva

Daniel Rodrigues Perazzo

Lucas Ambrosio

Lucio Mota

Matheus Vinicius Teotonio do Nascimento Andrade

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

19 Fev
Apresentação do Curso
Preliminares Históricos

21 Fev
Preliminares Conceituais: Objetos e Predicados
A Lógica de Aristóteles: Lógica Aristotélica

26 Fev
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

28 Fev
Conjuntos Indutivamente Definidos

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

12 Mar
Conjuntos Livremente Gerados

14 Mar
Teorema da Extensão Homomórfica Única

19 Mar
Definição por Recursão sobre Conjuntos Indutivos

21 Mar
Mini Prova

26 Mar
Provas por Indução sobre Conjuntos Indutivos

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

02 Abr
Busca de Valoração: Método dos Tableaux

04 Abr
Método da Resolução

09 Abr
Dedução Natural (Gentzen)
Noção de Prova Formal (Gentzen)

11 Abr
Normalização de Provas

16 Abr
Cálculo de Seqüentes

23 Abr
Primeira Prova

25 Abr
Lógica de Primeira Ordem
Estruturas

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

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

07 Mai
Lógica de Primeira Ordem: Sintaxe e Semântica
Forma Prenex

09 Mai
Forma Normal de Skolem

14 Mai
Algoritmo da Unificação

16 Mai
Resolução para Primeira Ordem

21 Mai
Exercícios

23 Mai
Mini Prova

28 Mai
Resolução para Primeira Ordem

30 Mai
O Teorema de Lowenheim-Skolem

04 Jun
Teorema de Herbrand

06 Jun
Sistemas Axiomáticos (Euclides, Hilbert)
Completude, Incompletude

11 Jun
Aritmética de Peano

Incompletude da Aritmética (Gödel)

13 Jun
Exercícios

18 Jun
Segunda Prova e entrega dos Exercícios do Tarski's World

27 Jun
Segunda Chamada

02 Jul
Prova Final 

Última atualização: 18 de Fevereiro de 2019, 09:18am GMT-3