Portal do Ementário

Promover uma melhor compreensão dos instrumentos da Lógica e suas aplicações de acordo com o estado da arte.

Formalização de Problemas usando temas de interesse e de formação complementar na área de Lógica Clássica ou Lógica não Clássica, refletindo o estado da arte em Lógica para Computação.

SILVA, F.; FINGER, M.; MELO, A., Lógica para computação , 1a. edição, Editora Thomson, 2006. SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2. ed., rev. e atual. Rio de Janeiro: Elsevier, 2008. COPI, Irving Marmer. Introdução a lógica. 3. ed. São Paulo: Mestre Jou, 1981.  HAACK, S., Filosofia das lógicas , Editora UNESP, 2002.

HUTH, M.; RYAN, M., Logic in computer science: modelling and reasoning about systems ,  ed. - Cambridge: The Mit Press, 1994. NOLT, John.; ROHATYN, Dennis. Lógica. São Paulo: Makron Books do Brasil: McGraw-Hill, 1991. SMULLYAN, R.M., What is the name of this book? , 1a. edição, Editora Simon e Schuster, 1978. ENDERTON, H.B., A mathematical introduction to logic , 2a. edição, Editora Academic Press, 2001. FREGE, Gottlob. Lógica e filosofia da linguagem: seleção, introdução, tradução e notas de Paulo Alcoforado. São Paulo: Cultrix, 1978.