Lógica aplicada à computação

Código: CPTA004
Carga horária teórica: 60
Carga horária prática: 0

Ementa: Desenvolvimento de habilidades no campo da Lógica Matemática. Estudo de sistemas formais: linguagem, sintaxe e semântica. Estudo da Lógica Proposicional e da Lógica de 1ª Ordem como linguagens de modelagem e especificação. Aplicações do Sistema de Dedução Natural e Método do Tableau Analítico. Uso do Teorema de Herbrand. Uso das linguagens formais para a Prova Automática de Teoremas. Introdução à especificação formal de sistemas de software usando Lógica Temporal.

Bibliografia:
Bibliografia básica:
SOUZA, J. N. de. Lógica para Ciência da Computação. ISBN 8535210938. Editora: Campus. 2008.
CHANG, C. et al. Symbolic Logic and Mechanical Theorem Proving. ISBN 0121703509. Academic Press. 1973
SOARES, F. S. C. da S. et al. Lógica para Computação. Editora Thomson. ISBN 8522105170. 2006.
ENDERTON, H.. A Mathematical Introduction to Logic. 2nd edition. Academic Press. ISBN 0122384520. 2001.
CLOCKSIN, W. F.. Clause and Effect: Prolog Programming for the Working Programmer. 1st edition. Springer Verlag. ISBN 3540629718. 2003

Bibliografia complementar:
HUTH, Michael; RYAN, Mark. Logic in Computer Science: Modelling and Reasoning about Systems. 2 edition. Cambridge University Press. ISBN 052154310X. 2004.
COVINGTON, M. A. et al. Prolog Programming in Depth. Prentice Hall. ISBN 013138645X. 1996.

Pré-requisitos: Nenhum.

<<< Voltar para grade curricular