| Course ID | Course Name | Instructor | Room Number | Time |
|---|---|---|---|---|
| MAB778 | Lógica I |
Ementa:
Lógica Proposicional: sintaxe, semântica, Sistemas Dedutivos (dedução natural, resolução, tableaux), correção e completude.
Lógica de Primeira Ordem: sintaxe, semântica, Sistemas Dedu-tivos (dedução natural, resolução, tableaux), correção e comple-tude, teoria dos
modelos.
Bibliografia:
A Mathematical Introduction to Logic, Enderton, H. ? Academic Press, 2nd edition, 2000.
Mathematical Logic Applications and Theory, Rubin, J.E. ? Holt Rinehart & Winston, 1990.
First-Order Logic, Smullyan, R.M. ? Dover Publications, 1995.