IF312 - Lógica Aplicada à Computação

 

Pré-requisitos

1. Álgebra Aplicada à Computação, IF240

Ementa

1. Estruturas Matemáticas: definições indutivas
2. reticulados, cpo's, domínios, continuidade, ponto fixo

3. Lógica Matemática: teoria de modelos (valoração, estruturas, formas normais, método da resolução, universo de Herbrand, algoritmo da unificação)

4. teoria da prova (dedução natural, cálculo de seqüentes, inferência de tipos, sistemas axiomáticos)
5. aritmética formalizada
6. completude/incompletude
7. teorema de Gödel

Referências

1. Gallier, J.H.: `LOGIC FOR COMPUTER SCIENCE', John Wiley & Sons, 1987.
2. Girard, J.-Y., Lafont Y. & Taylor, P.: `PROOFS AND TYPES', Cambridge University Press, 1989.
3. Barwise, J. & Etchemendy, J.: `THE LANGUAGE OF FIRST ORDER LOGIC. (WITH `TARSKI'S WORLD' FOR PC-COMPATIBLE)', The University of Chicago Press, 3rd edition, 1993.
4. Chang, C.-L. & Lee, R. C.-T.: `SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING', Academic Press, 1973.
5. Davey, B. A. & Priestley, H. A: `INTRODUCTION TO LATTICES AND ORDER', Cambridge University Press, 1990.
6. Johnstone, P.: `NOTES ON SET THEORY AND LOGIC', Cambridge University Press, 1987.
7. Enderton, H.: `A MATHEMATICAL INTRODUCTION TO LOGIC'. 1972.