Vista normal Vista MARC Vista ISBD

Paniagua Arís, Enrique.

Lógica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio. - Madrid : Thomson , c2003. - 205 p. : graf. ; 24 cm.

MSC 03B25, 68T05, 68Txx.

Contiene referencias bibliográficas e índice.

Índice: 1. La sintaxis de la lógica; 2. La semántica de la Lógica; 3. El método axiomático; 4. El método interpretativo; 5. LA demostración automática de teoremas; 6. Los agentes inteligentes y la Lógica. Bibliografía. Indice.

ISBN: 8497321820

Subjects--Topical Terms:
Lógica simbólica y matemática.
Demostración automática de teoremas
Inteligencia artificial.

Universal Decimal Class. No.: 510.63 004.8