GRUPO: Núcleo de Formação Teórica

OBJETIVOS GERAIS DA DISCIPLINA: Esta disciplina tem como objetivo apresentar ao aluno os principais fundamentos da Lógica Clássica e suas aplicações em Ciência da Computação.

EMENTA DO PROGRAMA:

Parte 1 – Lógica Proposicional
- A linguagem da Lógica Proposicional
- A semântica da Lógica Proposicional
- Sistemas axiomáticos na Lógica Proposicional
- Tableaux semânticos na Lógica Proposicional
- Resolução na Lógica Proposicional
 
Parte 2 _ Lógica de Predicados
- A linguagem da Lógica de Predicados
- A semântica da Lógica de Predicados
- Sistemas axiomáticos na Lógica de Predicados
- Tableaux semânticos na Lógica de Predicados
- Resolução na Lógica de Predicados
 

DESCRIÇÃO DO PROGRAMA: 

Parte 1 – Lógica Proposicional
- A linguagem da Lógica Proposicional
- A semântica da Lógica Proposicional
- Sistemas axiomáticos na Lógica Proposicional
- Tableaux semânticos na Lógica Proposicional
- Resolução na Lógica Proposicional
 
Parte 2 _ Lógica de Predicados
- A linguagem da Lógica de Predicados
- A semântica da Lógica de Predicados
- Sistemas axiomáticos na Lógica de Predicados
- Tableaux semânticos na Lógica de Predicados
- Resolução na Lógica de Predicados
 

BIBLIOGRAFIA:

01. CHANG, C.L., Lee. R.C.T., Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
02. EBBINGHAUS, H.D., et all. Mathematical Logic, Springer Verlag, 1994.
03. EDERTON, H.B., A Mathematical Introduction to Logic, Academic Press, 1972.
04. KELLY, J., The essence of Logic, Prentice Hall, 1997
05. LLOYD, J.W., Foudations of Logic Programming, Springer Verlag, 1984.
06. MENDELSON, E., Introduction to Mathematical Logic, Wadsworth, 1987. 
07. SOUZA, J.N. Lógica para Ciência da Computação. Texto Técnico, UFU, 1999.
08. FITTING, M., First-Order Logic and Atomated Theorem Proving, Springer Verlag, 1990.