E N G E N H A R I A  A E R O E S P A C I A L
O Curso

Matriz Curricular

Projetos de Pesquisa

Docentes

Eventos & Links


Universidade Federal do ABC

Centro de Engenharia,
Modelagem e Ciências Sociais Aplicadas


BC1502
Lógica Computacional

T P I = 4 0 4

Ementa

Introdução. Lógica proposicional. Lógica de predicados. Programação em lógica.

Bibliografia Básica

Bratko, I. Prolog Programming for Artificial Intelligence. Addison Wesley, 1986 Newton-Smith, W. H. Lógica: um curso introdutório. Lisboa: Gradiva, 1998Nolt, J., Rohatyn, D. Lógica. Schaum Macgraw-Hill, Makron Books, 1991Souza, João Nunes de. Lógica para Ciência da Computação. Rio de Janeiro: Ed. Campus Ltda. 2002.

 
¨à
ÎT‘|àà
 
ðà

Bibliografia Complementar

J. Nolt e D. Rohatyn. LógicaI. Bratko. Prolog Programming for Artificial Intelligence
-Smith, W. H. Lógica: um curso introdutório. Lisboa: Gradiva, 1998Nolt, J., Rohatyn, D. Lógica. Schaum Macgraw-Hill, Makron Books, 1991Souza, João Nunes de. Lógica para Ciência da Computação. Rio de Janeiro: Ed. Campus Ltda. 2002.

 
¨à
ÎT‘|àà
 
ðà

Tipo

Livre