{"product_id":"9788497321822","title":"Lógica computacional","description":"\u003ch2\u003eLógica computacional\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual ofrece una introducción sólida y estructurada a los fundamentos de la lógica aplicada a la computación. Los lectores encontrarán una guía clara sobre los conceptos, componentes y enfoques esenciales del razonamiento lógico que subyace en los sistemas informáticos. La obra está diseñada para facilitar la comprensión de los principios básicos, convirtiéndose en un recurso valioso tanto para estudiantes como para profesionales que deseen afianzar sus conocimientos en esta área fundamental de la informática.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro aborda el estudio de la lógica computacional como elemento base para entender el funcionamiento de los sistemas informáticos. A través de sus páginas, se exploran los fundamentos teóricos y prácticos del razonamiento lógico, incluyendo la representación del conocimiento, la deducción y la resolución de problemas. Se analizan los componentes lógicos esenciales y se presentan los enfoques metodológicos necesarios para aplicar estos principios en el diseño y análisis de sistemas. La obra proporciona una base conceptual que permite al lector comprender cómo la lógica formal se integra en la arquitectura y el comportamiento de los sistemas computacionales.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eFundamentos de la lógica proposicional y de predicados aplicados a la informática.\u003c\/li\u003e\n\u003cli\u003eRepresentación del conocimiento y razonamiento formal en sistemas computacionales.\u003c\/li\u003e\n\u003cli\u003eMétodos de deducción y demostración automática de teoremas.\u003c\/li\u003e\n\u003cli\u003eComponentes lógicos básicos y su integración en la arquitectura de sistemas.\u003c\/li\u003e\n\u003cli\u003eEnfoques y técnicas para la resolución de problemas mediante lógica computacional.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está dirigido a estudiantes de grados universitarios en informática, ingeniería de sistemas o disciplinas afines que necesiten una base sólida en lógica computacional. También es adecuado para profesionales del sector que busquen actualizar o reforzar sus conocimientos fundamentales sobre el razonamiento lógico en el contexto de la computación. Docentes que impartan asignaturas relacionadas con la lógica o la teoría de la computación encontrarán en esta obra un recurso didáctico estructurado y accesible.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base teórica clara y bien organizada sobre los principios de la lógica computacional.\u003c\/li\u003e\n\u003cli\u003eFacilita la comprensión de cómo el razonamiento lógico sustenta el diseño y funcionamiento de los sistemas informáticos.\u003c\/li\u003e\n\u003cli\u003eOfrece un enfoque didáctico que conecta conceptos abstractos con aplicaciones prácticas en computación.\u003c\/li\u003e\n\u003cli\u003eSirve como material de estudio autónomo o como complemento para cursos universitarios de la materia.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e MARTÍN RUBIO, FERNANDO; PANIAGUA ARIS, ENRIQUE; SÁNCHEZ GONZÁLEZ, JUAN LUÍS\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Ediciones Paraninfo, S.A\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Español\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eTema:\u003c\/strong\u003e INFORMATICA: CUESTIONES GENERALES, MATERIAL DIDACTICO\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eColección:\u003c\/strong\u003e INTERNACIONAL THOMSON PUBLISHING\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEncuadernación:\u003c\/strong\u003e Otros\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFecha de edición:\u003c\/strong\u003e No especificada\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 224\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 400 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEste título se presenta como un manual de referencia para quienes inician su formación en lógica computacional. Su enfoque didáctico y estructurado, junto con la solvencia de sus autores, lo convierten en una herramienta útil para adquirir los fundamentos teóricos necesarios. Es una obra especialmente recomendada para estudiantes que buscan un texto claro y completo que les permita asentar las bases del razonamiento lógico aplicado a la informática, sin requerir conocimientos previos avanzados en la materia.\u003c\/p\u003e","brand":"EDICIONES PARANINFO, S.A","offers":[{"title":"Default Title","offer_id":53522924077403,"sku":"9788497321822","price":19.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978849732182.jpg?v=1783356196","url":"https:\/\/kalamobooks.com\/products\/9788497321822","provider":"Kalamo Books","version":"1.0","type":"link"}