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 2020

Horário e local

Turma 2C (Sala D-003) 

  3a Feira, de 13h às 15h

  5a 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

03 Mar
Apresentação do Curso
Preliminares Históricos

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

10 Mar
A Abordagem Algébrica de Boole
A Lógica Simbólica de Frege

12 Mar
Conjuntos Indutivamente Definidos

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

19 Mar
Conjuntos Livremente Gerados

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

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

31 Mar
Provas por Indução sobre Conjuntos Indutivos

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

07 Abr
Mini Prova

09 Abr
Ponto facultativo (quinta-feira da semana santa)

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

16 Abr
Método da Resolução

21 Abr
Feriado: Tiradentes

23 Abr
Revisão dos Método estudados

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

30 Abr
Normalização de Provas

05 Mai
Cálculo de Seqüentes

07 Mai
Primeira Prova

12 Mai
Lógica de Primeira Ordem
Estruturas

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

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

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

26 Mai
Forma Normal de Skolem

28 Mai
Algoritmo da Unificação

02 Jun
Resolução para Primeira Ordem

04 Jun
Resolução para Primeira Ordem

Exercícios

09 Jun
Mini Prova

11 Jun
Feriado: Corpus Christ

16 Jun
O Teorema de Lowenheim-Skolem

18 Jun
Teorema de Herbrand

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

Aritmética de Peano

Incompletude da Aritmética (Gödel)

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

02 Jul
Exercícios

07 Jul
Entrega das provas. Revisao. Exercícios

09 Jul
Segunda Chamada

14 Jul
Prova Final 

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