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

IF673 - Lógica para Computação

Pré-Requisitos:

IF670 - Matemática Discreta

Ementa

Estruturas Matemáticas: definições indutivas; ordenações parciais, reticulados, ideais, filtros.
Lógica Matemática: teoria de modelos (valoração, estruturas, formas normais, método da resolução, universo de Herbrand, algoritmo da unificação), teoria da prova (dedução natural, cálculo de seqüentes, sistemas axiomáticos), aritmética formalizada, completude/incompletude, teorema de Gödel.

Fontes Bibliográficas:

Básicas

[1] Gallier, J.H.: Logic for Computer Science (Capítulos 1, 2, 3(até 3.3.5 inclusive), 5(até 5.3.9 inclusive)), John Wiley & Sons, 1987.
[2] Van Dalen, D.: Logic and Structure (Capítulos 1 (1.5 a 1.7 inclusive), 2 (2.8 a 2.10 inclusive), e 6), Springer-Verlag, 3rd edition (2nd printing), 1994.
[3] Hodges, W. A Shorter Model Theory (Capítulos 1 e 2), Cambridge University Press, 1997.
[4] Girard, J.-Y., Lafont Y. & Taylor, P.: Proofs and Types (Capítulos 5 e 13), Cambridge University Press, 1989.
[5] Barwise, J. & Etchemendy, J.: Language, Proof and Logic, CSLI Publications, 2000. (Acompanha o software educativo Tarski's World)

Auxiliares

[5] Johnstone, P.: Notes on Set Theory and Logic (Capítulos 2, 3 e 9), Cambridge University Press, 1987.
[6] Enderton, H.: A Mathematical Introduction to Logic (Capítulos 1 e 2), Academic Press, 1972.

Última atualização: 21 de Outubro de 2002, 09:19:33hs