{"product_id":"9788477860822","title":"Programas para deducción automatizada en lógica proposicional","description":"\u003ch2\u003eProgramas para deducción automatizada en lógica proposicional\u003c\/h2\u003e\n\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEsta obra ofrece un análisis riguroso y práctico de los fundamentos algorítmicos para la deducción automatizada en lógica proposicional. El lector encontrará una guía estructurada que combina teoría formal con implementaciones de programas, permitiendo comprender cómo se construyen sistemas capaces de realizar inferencias lógicas de forma automática. Es un recurso valioso para quienes desean profundizar en los mecanismos subyacentes a la inteligencia artificial y la computación simbólica.\u003c\/p\u003e\n\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro aborda los métodos y algoritmos esenciales para la deducción automatizada dentro del marco de la lógica proposicional. A partir de una base teórica sólida, se exploran técnicas como la resolución, el método de tableaux y otros procedimientos de decisión. Cada capítulo presenta tanto la formalización matemática como su correspondiente implementación en programas, facilitando la transición de la teoría a la práctica. Se incluyen ejemplos detallados y referencias bibliográficas que respaldan el contenido, ofreciendo una visión completa de cómo automatizar procesos de razonamiento lógico.\u003c\/p\u003e\n\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eFundamentos de la lógica proposicional y su aplicabilidad en sistemas computacionales.\u003c\/li\u003e\n\u003cli\u003eAlgoritmos de deducción automatizada, incluyendo resolución y tableaux semánticos.\u003c\/li\u003e\n\u003cli\u003eImplementación de programas para la verificación y demostración de teoremas.\u003c\/li\u003e\n\u003cli\u003eAnálisis de la eficiencia y complejidad de los métodos de inferencia.\u003c\/li\u003e\n\u003cli\u003eRelación entre la lógica formal y el desarrollo de sistemas de inteligencia artificial.\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEstá dirigido a estudiantes y profesionales del ámbito de la informática, las matemáticas computacionales y la inteligencia artificial que posean conocimientos básicos de lógica y programación. También resulta de interés para investigadores que busquen una referencia práctica sobre la implementación de sistemas de deducción automatizada. Es especialmente útil para aquellos que deseen comprender cómo se construyen herramientas de razonamiento automático desde sus fundamentos.\u003c\/p\u003e\n\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eUna comprensión profunda de los algoritmos de deducción en lógica proposicional, con aplicaciones directas en programación.\u003c\/li\u003e\n\u003cli\u003eEjemplos prácticos de implementación que facilitan la asimilación de conceptos teóricos complejos.\u003c\/li\u003e\n\u003cli\u003eUna base sólida para abordar temas avanzados en inteligencia artificial y razonamiento automatizado.\u003c\/li\u003e\n\u003cli\u003eReferencias bibliográficas que permiten ampliar el estudio de cada técnica presentada.\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: FRIAS DELGADO; ANTONIO\u003c\/li\u003e\n\u003cli\u003eEditorial: Universidad de Cadiz. Servicio de Public\u003c\/li\u003e\n\u003cli\u003eIdioma: Español\u003c\/li\u003e\n\u003cli\u003eTema: INFORMATICA: CUESTIONES GENERALES\u003c\/li\u003e\n\u003cli\u003eColección: PDTE. COLECCION\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: 1992\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 250\u003c\/li\u003e\n\u003cli\u003eDimensiones: 150.0 x 210.0\u003c\/li\u003e\n\u003cli\u003ePeso: 477.0\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de una obra especializada que, a pesar de su antigüedad, mantiene relevancia por su enfoque didáctico y práctico en la deducción automatizada. La combinación de teoría y código la convierte en un recurso útil para quienes se inician en el campo o necesitan una referencia clara sobre los fundamentos algorítmicos. Su contenido es denso pero accesible para lectores con formación técnica, y su estructura permite un estudio progresivo de los conceptos.\u003c\/p\u003e","brand":"UNIVERSIDAD DE CADIZ. SERVICIO DE PUBLIC","offers":[{"title":"Default Title","offer_id":53634197750107,"sku":"9788477860822","price":6.61,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/14785483485206.jpg?v=1784678522","url":"https:\/\/kalamobooks.com\/products\/9788477860822","provider":"Kalamo Books","version":"1.0","type":"link"}