Lógico Computacional (Registro nro. 5758)

Detalles MARC
000 -Cabecera (24)
Campo de control interno	01942nam a22003137a 4500
001 - Número de control
Campo de control	UTEA
005 - Fecha y hora de la
Campo de control	20220531192329.0
006 - Campos de control - información adicional
Campos de control	g\|\|\|\|gr\|\|\|\|\|\|01 nz
007 - Tipo material - Descripcion fisica - info general
Tipo material	ta
008 - Códigos de longitud fija (40p)
Campo de control de longitud fija	180411b esp\|\|\|\|\| \|\|\|\| 00\| 0 esp d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	8497321620
040 ## - Origen de la Catalogacion
Centro catalogador/agencia de origen	UTEA
041 ## - Código de idioma (R)
Código de lengua del texto/banda sonora o título independiente (R)	Es
044 ## - COUNTRY OF PUBLISHING/PRODUCING ENTITY CODE
MARC country code	ESP
082 ## - Número de la Clasificación
Número de la Clasificación	QA9.3
Notación Interna	P23
100 ## - Autor Personal
Autor Personal	Paniagua Arís, Enrique
Término indicativo de función (R)	Autor
245 ## - Titulo
Titulo	Lógico Computacional
Mención del autor	Enrique Paniagua Arís
250 ## - Mencion de edicion
Mencion de edicion	a edición
260 ## - Editorial
Ciudad	Madrid - España
Nombre de la Editorial	Paraninfo S.A.
Fecha	2003
300 ## - Descripcion
Páginas	205 páginas.
Otros detalles físicos	Tablas y Figuras.
Dimensiones	17 x 24 cm.
505 ## - Nota de contenido formateada
Nota de contenido formateada Índice del Libro]	La 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 ## - Resumen
Resumen	Este 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 - Temas - Descriptores
Temas - Descriptores	LA SINTAXIS DE LA LÓGICA
9 (RLIN)	27425
650 #0 - Temas - Descriptores
Temas - Descriptores	LA SEMÁNTICA DE LA LÓGICA
9 (RLIN)	27426
650 #0 - Temas - Descriptores
Temas - Descriptores	LA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS
9 (RLIN)	27427
653 ## - Palabras Claves
Palabras Claves	INGENIERÍA DE SISTEMAS E INFORMÁTICA
--	LÓGICA
--	COMPUTACIONAL
700 ## - Coautor Personal
Coautor Personal	Juan Luis Sánchez González Y otros
Término indicativo de función (R)	Autor
9 (RLIN)	50914
942 ## - Datos personalizados Koha
Esquema de Clasificacion	Library of Congress Classification
Tipo de Documento	Libros
Catalogador	Cirila Celinda Molina Chirinos
Fecha procesamiento	2022-05-31

Existencias
Estado de retiro	Estado de pérdida	Fuente de Clasificacion	Estado	No para préstamo	Escuela Profesional/ Mención de Maestría	Localización permanente	Ubicación/localización actual	Ubicación en estantería	Fecha de adquisición	Fuente de adquisición	Número de inventario	Signatura topográfica completa	Código de barras	Tipo de ítem Koha
		Library of Congress Classification			E.P. Ingeniería de Sistemas e Informática	Biblioteca Abancay UTEA	Biblioteca Abancay UTEA	Área de Ciencias Puras y Aplicada (primer piso)	06/30/2006	Compra	35475373	QA9.3 P23 2003	BABA18040322	Libros