Portal do Ementário

Compreender os conceitos da lógica que são fundamentais para computação. Desenvolver uma compreensão detalhada da Lógica Proposicional e aplicar os seus fundamentos na formalização e solução de problemas.

Cálculo proposicional: sintaxe e semântica. Sistemas dedutivos para o cálculo proposicional. Cálculo de predicados de primeira ordem: introdução à sintaxe e semântica.

1. MORTARI, C.A., Introdução à lógica , 1a. edição, Editora Unesp, 2001. 2. SILVA, F.; FINGER, M.; MELO, A., Lógica para computação , 1a. edição, Editora Thomson, 2006. 3. ABE, J.M.; SCALZITTI, A.; SILVA FILHO, J., Introdução à lógica para a ciência da computação , 2a. edição, Editora Arte & Ciência, 2002.

1. MENDELSON, E., Introduction to mathematical logic , 2a. edição, Editora Van Nostrand, 1979. 2. TARSKI, A., Introduction to logic and to the methodology of deductive sciences , 3a. edição, Editora Galaxy, 1965. 3. HODGES, W., Logic: an introduction to elementary logic , 2a. edição, Editora Penguin, 2001. 4. SMULLYAN, R.M., What is the name of this book? , 1a. edição, Editora Simon e Schuster, 1978. 5. ENDERTON, H.B., A mathematical introduction to logic , 2a. edição, Editora Academic Press, 2001.