{"product_id":"9788478976195","title":"Lógica Simbólica para Informáticos.","description":"\u003ch2\u003eLógica Simbólica para Informáticos\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual ofrece una introducción sólida y equilibrada a la lógica simbólica, centrándose en su aplicación fundamental para la informática. El lector encontrará una obra que combina el rigor matemático con técnicas prácticas de formalización y representación del conocimiento. A través de más de 85 ejemplos y 120 problemas propuestos, el libro guía al estudiante en la comprensión de los sistemas lógicos clásicos (proposiciones y predicados) y explora las lógicas no clásicas, estableciendo las bases formales necesarias para entender la relación entre la lógica y el cómputo.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa obra aborda el estudio de la lógica desde una perspectiva dual, buscando un punto de equilibrio entre la teoría matemática y la aplicación práctica. Se centra en los sistemas lógicos tradicionales: la lógica de proposiciones y la lógica de predicados. El libro no solo explica sus propiedades y características fundamentales, sino que hace especial hincapié en las técnicas de formalización y en los procesos deductivos, mostrando cómo estos cálculos pueden servir de soporte para el cómputo. Además, dedica una atención significativa a las lógicas no clásicas, como la lógica modal y las lógicas multivalentes, por su relevancia en la ciencia y la tecnología actuales. El contenido se presenta de forma gradual, con un énfasis constante en los conceptos recurrentes para facilitar el aprendizaje.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eLógica de proposiciones: sintaxis, semántica y sistemas deductivos.\u003c\/li\u003e\n\u003cli\u003eLógica de predicados de primer orden: formalización y razonamiento.\u003c\/li\u003e\n\u003cli\u003eTécnicas de representación del conocimiento mediante lógica simbólica.\u003c\/li\u003e\n\u003cli\u003eProcesos deductivos formales como base para el cómputo.\u003c\/li\u003e\n\u003cli\u003eIntroducción a lógicas no clásicas: lógica modal y lógicas multivalentes.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está dirigido principalmente a estudiantes de primer curso de Ingeniería Técnica y Superior en Informática que necesiten construir una base formal sólida. También resulta de gran utilidad para alumnos de Matemáticas u otras ingenierías que deseen comprender la aplicación práctica de la lógica en el ámbito del software y la computación.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eEstablece una base matemática sólida y práctica para entender la relación entre la lógica y el desarrollo de software.\u003c\/li\u003e\n\u003cli\u003eOfrece un enfoque equilibrado que evita tanto el excesivo formalismo matemático como una perspectiva meramente descriptiva.\u003c\/li\u003e\n\u003cli\u003eProporciona más de 85 ejemplos resueltos y 120 problemas propuestos para afianzar los conceptos de forma activa.\u003c\/li\u003e\n\u003cli\u003eFacilita la comprensión de las lógicas no clásicas, cada vez más relevantes en áreas como la inteligencia artificial y los sistemas complejos.\u003c\/li\u003e\n\u003cli\u003ePresenta los contenidos de manera gradual, reforzando conceptos recurrentes para un aprendizaje progresivo y efectivo.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: Julián Iranzo; Pascual\u003c\/li\u003e\n\u003cli\u003eEditorial: RA-MA S.A. Editorial y Publicaciones\u003c\/li\u003e\n\u003cli\u003eIdioma: Español\u003c\/li\u003e\n\u003cli\u003eTema: Lógica matemática, Computación e informática, Informática: cuestiones generales, Estilos de vida digital, Aplicaciones empresariales\u003c\/li\u003e\n\u003cli\u003eColección: Informática general\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: No especificada\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 328\u003c\/li\u003e\n\u003cli\u003eDimensiones: 24.0 cm x 17.0 cm\u003c\/li\u003e\n\u003cli\u003ePeso: 564.0 gr\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEste libro destaca por su enfoque pedagógico equilibrado, que logra tender un puente entre la teoría matemática de la lógica y su aplicación directa en la informática. Su estructura gradual y la abundancia de ejemplos y problemas lo convierten en una herramienta de estudio muy práctica para el estudiante universitario. La inclusión de las lógicas no clásicas añade un valor diferencial, preparando al lector para conceptos más avanzados. Es, sin duda, un recurso de gran utilidad para quien busca no solo aprender lógica, sino entender su papel como fundamento del software.\u003c\/p\u003e","brand":"RA-MA S.A. EDITORIAL Y PUBLICACIONES","offers":[{"title":"Default Title","offer_id":53568969507163,"sku":"9788478976195","price":20.9,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978847897619.gif?v=1783706184","url":"https:\/\/kalamobooks.com\/products\/9788478976195","provider":"Kalamo Books","version":"1.0","type":"link"}