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