Portal do Ementário

A disciplina Lógica Computacional I visa dotar os acadêmicos de conhecimentos da lógica proposicional e lógica de predicados necessários para o entendimento de disciplinas a serem estudadas posteriormente. Ao final do curso, os acadêmicos deverão conhecer e saber aplicar as técnicas da lógica proposicional para modelar e/ou analisar um raciocínio lógico. Além disso, espera-se que o aluno desenvolva o raciocínio lógico-matemático e possa expressar-se com mais objetividade, clareza e precisão.

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

[1] Alencar Filho, Edgar de. Iniciação à lógica matemática. Ed. Nobel, 2002. ISBN: 9788521304036 [2] Souza, João Nunes de. Lógica para Ciência da Computação: fundamentos da linguagem, semântica e sistemas de dedução. Rio de Janeiro: Elsevier, 2002. ISBN: 8535210938. [3] Mortari, C.; Introdução à Lógica. 1ed, Ed. Unesp, 2001. ISBN: 9788571393370.

[1] Krantz, S. G.; Handbook of Logic and Proof Techniques for Computer Science. 1ed, Ed. Birkhäuser, 2002. ISBN: 9780817642204. [2] Huth, M.; Ryan, M.; Logic in Computer Science: Modelling and Reasoning about Systems. 2ed, Ed. Cambridge University, 2004. ISBN: 9780521543101. [3] Ben-Ari, M.; Mathematical Logic for Computer Science. 2ed, Ed. Springer, 2003. ISBN: 9781852333195.