000			01942nam a22003137a 4500
999			_c5758 _d5758
001			UTEA
005			20220531192329.0
006			g||||gr||||||01 nz
007			ta
008			180411b esp||||| |||| 00| 0 esp d
020			_a8497321620
040			_aUTEA
041			_aEs
044			_aESP
082			_aQA9.3 _bP23
100			_aPaniagua Arís, Enrique _eAutor
245			_aLógico Computacional _cEnrique Paniagua Arís
250			_aa edición
260			_aMadrid - España _bParaninfo S.A. _c2003
300			_a205 páginas. _bTablas y Figuras. _c17 x 24 cm.
505			_aLa sintaxis de la lógica. -- La lógica de los conceptos. -- La lógica formal. -- El lenguaje de las proposiciones. -- Los objetivos, atributos y relaciones. -- El lenguaje de los predicados. -- Objetivos y conjuntos. -- La semántica de la lógica. -- Los niveles de representación de un sistema lógico. -- Los compromisos epistemológicos de la lógica clásica. -- El método axiomático. -- Introducción. -- Demostración axiomática. -- El método interpretativo. -- Introducción. -- Estrategia de reducción al absurdo. -- La demostración automática de teoremas. -- Los agentes inteligentes y la lógica. -- Bibliografía.
520			_aEste libro trata de lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
650		0	_aLA SINTAXIS DE LA LÓGICA _927425
650		0	_aLA SEMÁNTICA DE LA LÓGICA _927426
650		0	_aLA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS _927427
653			_aINGENIERÍA DE SISTEMAS E INFORMÁTICA _aLÓGICA _aCOMPUTACIONAL
700			_aJuan Luis Sánchez González Y otros _eAutor _950914
942			_2lcc _cBK _zCirila Celinda Molina Chirinos _e2022-05-31