Portal do Ementário

A disciplina Lógica Computacional II visa aprofundar o conhecimento do acadêmico sobre a lógica proposicional e lógica de predicados, introduzindo ferramental mais formal, necessários para o entendimento de disciplinas a serem estudadas posteriormente, e apresentando a aplicabilidade prática destes conhecimentos através da programação em lógica. Ao final do curso, os acadêmicos deverão conhecer e saber formalizar matematicamente raciocínios modelados pela lógica de predicados e lógica proposicional e desenvolver programas que reproduzam estes raciocínios.

Sintaxe e semântica do cálculo de predicados de primeira ordem. Sistemas dedutivos - sistemas formais: axiomatização do cálculo de predicados. Dedução natural no cálculo de predicados. Tableaux semânticos no cálculo de predicados. Resolução no cálculo de predicados. Lógica e programação em Lógica.

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

[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.