Portal do Ementário

Compreender o uso da lógica como mecanismo de representação de teorias. Entender os conceitos da lógica que são fundamentais para computação. Aplicar os fundamentos da lógica na formalização e solução de problemas e desenvolver uma compreensão detalhada da Lógica de Predicados de Primeira Ordem.

Sintaxe e semântica do Cálculo de Predicados de Primeira Ordem. Sistemas dedutivos para o Cálculo de Predicados de Primeira Ordem. Resolução no Cálculo de Predicados de Primeira Ordem. Lógica e Programação em Lógica. Noções de Lógicas não clássicas.

1. MORTARI, C.A., Introdução à lógica , 1a. edição, Editora Unesp, 2001. 2. SOUZA, J.N., Lógica para ciência da computação: fundamentos de linguagem, semântica e sistemas de dedução , 1a. edição, Editora Campus, 2002. 3. SILVA, F.; FINGER, M.; MELO, A., Lógica para computação , 1a. edição, Editora Thomson, 2006.

1. SMULLYAN, R.M., First-order logic , 1a. edição, Editora Springer, 1971. 2. HUTH, M.; RYAN, M., Logic in computer science: modelling and reasoning about systems , 2a. edição, Editora Cambridge, 2004. 3. LLOYD, J. W., Foundations of logic programming , 2a. edição, Editora Springer, 1987. 4. CHANG, C.-L.; LEE, R., Symbolic logic and mechanical theorem proving , 1a. edição, Editora Academic Press, 1987. 5. GABBAY, D.M.; ROBINSON, J. A., Handbook of logic in artificial intelligence and logic programming , 1a. edição, Editora Clarendon, 1993. 6. HAACK, S., Filosofia das lógicas , Editora UNESP, 2002.