{"product_id":"9788473609913","title":"Lógica matemática y computacional","description":"\u003ch2\u003eLógica matemática y computacional\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual ofrece un curso teórico-práctico que introduce al lector en los aspectos de la lógica que más han impactado en la ciencia y la tecnología puntera. Con numerosos ejemplos resueltos y ejercicios propuestos, la obra abarca desde la lógica proposicional hasta la lógica temporal, incluyendo la verificación formal de programas. Es una herramienta fundamental para quienes buscan profundizar en los mecanismos que constituyen la Inteligencia Artificial y el razonamiento formalizado.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro desarrolla un recorrido completo por los fundamentos de la lógica matemática y su aplicación computacional. Los primeros capítulos se centran en la lógica proposicional, incluyendo la definición del lenguaje y los sistemas deductivos como la deducción natural. A continuación, aborda la lógica de predicados de primer orden, explicando la semántica de las interpretaciones, las equivalencias y la resolución. La obra también incluye la lógica de Hoare, dedicada a la verificación de programas secuenciales, y concluye con una introducción a la lógica modal y la lógica temporal, que permiten razonar con conceptos de relaciones y tiempo de forma didáctica.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eLógica proposicional y sistemas deductivos\u003c\/li\u003e\n\u003cli\u003eLógica de predicados de primer orden\u003c\/li\u003e\n\u003cli\u003eVerificación formal de programas con lógica de Hoare\u003c\/li\u003e\n\u003cli\u003eLógica modal y razonamiento sobre relaciones\u003c\/li\u003e\n\u003cli\u003eLógica temporal para el razonamiento con el tiempo\u003c\/li\u003e\n\u003cli\u003eFundamentos de la Inteligencia Artificial\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEstá dirigido a estudiantes de Filosofía interesados en el arte de pensar y argumentar, así como a alumnos de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) que necesiten fomentar su capacidad de abstracción y razonamiento formalizado. También es útil para profesionales que deseen comprender los fundamentos lógicos de la computación actual.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base sólida en lógica matemática aplicada a la computación.\u003c\/li\u003e\n\u003cli\u003eOfrece numerosos ejemplos resueltos y ejercicios prácticos para afianzar conceptos.\u003c\/li\u003e\n\u003cli\u003eFacilita la comprensión de los mecanismos subyacentes de la Inteligencia Artificial.\u003c\/li\u003e\n\u003cli\u003eDesarrolla habilidades de razonamiento formalizado y verificación de programas.\u003c\/li\u003e\n\u003cli\u003ePresenta de manera didáctica sistemas lógicos avanzados como la lógica modal y temporal.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: Jiménez de Parga, Carlos\u003c\/li\u003e\n\u003cli\u003eEditorial: Editorial Tebar Flores\u003c\/li\u003e\n\u003cli\u003eIdioma: Español\u003c\/li\u003e\n\u003cli\u003eTema: ENSAYOS LITERARIOS, LOGICA MATEMATICA, DIVULGACION CIENTIFICA, TEORIA MATEMATICA DE LA COMPUTACION\u003c\/li\u003e\n\u003cli\u003eColección: MATEMATICAS\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: septiembre de 2024\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 238\u003c\/li\u003e\n\u003cli\u003ePeso: 404 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEsta obra destaca por su enfoque práctico y progresivo, combinando teoría con ejercicios que facilitan el aprendizaje autónomo. Su cobertura de temas que van desde la lógica clásica hasta la verificación de programas y la lógica temporal la convierte en un recurso valioso tanto para estudiantes de filosofía como para los de disciplinas STEM. Es una lectura recomendada para quienes buscan una comprensión rigurosa y aplicada de la lógica en el contexto computacional actual.\u003c\/p\u003e","brand":"EDITORIAL TÉBAR FLORES","offers":[{"title":"Default Title","offer_id":53502084022619,"sku":"9788473609913","price":19.5,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978847360991.jpg?v=1783096123","url":"https:\/\/kalamobooks.com\/products\/9788473609913","provider":"Kalamo Books","version":"1.0","type":"link"}