{"product_id":"9788445434697","title":"Lógica formal y no formal","description":"\u003ch2\u003eLógica formal y no formal\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual ofrece una introducción completa a los conceptos fundamentales de la lógica, tanto formal como no formal, con un enfoque práctico orientado a la informática. Diseñado especialmente para estudiantes del grado de Ingeniería Informática en modalidad a distancia, el libro combina teoría rigurosa con ejercicios prácticos para ayudar al lector a aprender a razonar, formalizar y aplicar correctamente los principios lógicos. A través de nueve unidades didácticas, la obra desarrolla desde la sintaxis y semántica de la lógica formal hasta el análisis de la lógica no formal, proporcionando una visión integral de su aplicación en el ámbito informático.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro se estructura en nueve unidades didácticas que abordan de manera progresiva los fundamentos de la lógica. Las primeras unidades se centran en la lógica formal, explorando tanto su sintaxis (reglas de formación de expresiones) como su semántica (interpretación y significado). A continuación, las unidades finales se dedican a la lógica no formal, ofreciendo un enfoque práctico que permite analizar y evaluar argumentos del lenguaje cotidiano y técnico. Cada unidad incluye la teoría necesaria para la comprensión de los temas, seguida de una serie de ejercicios propuestos que invitan al lector a practicar y afianzar los conocimientos adquiridos. El objetivo es proporcionar una visión completa de cómo la lógica se aplica en la informática, desde la programación y la inteligencia artificial hasta la gestión del conocimiento.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eConceptos básicos de lógica formal: sintaxis y semántica de lenguajes lógicos.\u003c\/li\u003e\n\u003cli\u003eLógica proposicional y de predicados: reglas de inferencia y demostración.\u003c\/li\u003e\n\u003cli\u003eLógica no formal: análisis de argumentos, falacias y razonamiento cotidiano.\u003c\/li\u003e\n\u003cli\u003eAplicaciones de la lógica en informática: sistemas formales, inteligencia artificial y gestión del conocimiento.\u003c\/li\u003e\n\u003cli\u003eEjercicios prácticos para el desarrollo del razonamiento lógico y la formalización.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está especialmente recomendado para estudiantes del grado de Ingeniería Informática, particularmente aquellos que cursan estudios a distancia y necesitan un material autodidacta y estructurado. También es útil para profesionales de la informática que deseen reforzar sus conocimientos en lógica aplicada, así como para cualquier persona interesada en comprender los fundamentos del razonamiento formal y no formal desde una perspectiva práctica y accesible.\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 formal y no formal, esencial para el desarrollo de habilidades de razonamiento crítico y análisis.\u003c\/li\u003e\n\u003cli\u003eOfrece una estructura didáctica con teoría y ejercicios prácticos, facilitando el aprendizaje autónomo y a distancia.\u003c\/li\u003e\n\u003cli\u003eConecta los conceptos lógicos con aplicaciones reales en informática, como la inteligencia artificial y la ingeniería del conocimiento.\u003c\/li\u003e\n\u003cli\u003eAyuda a mejorar la capacidad de formalizar problemas y argumentos, una competencia clave en la programación y el diseño de sistemas.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: MARTINEZ REY; AURORA\u003c\/li\u003e\n\u003cli\u003eEditorial: CEF\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: Otros\u003c\/li\u003e\n\u003cli\u003eFecha de edición: 2017\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 382\u003c\/li\u003e\n\u003cli\u003eDimensiones: 24.0 cm x 17.0 cm\u003c\/li\u003e\n\u003cli\u003ePeso: 600.0 gr\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEste manual destaca por su enfoque pedagógico claro y su adaptación a las necesidades de los estudiantes a distancia. La combinación de teoría y ejercicios prácticos permite un aprendizaje progresivo y autónomo, mientras que la inclusión de la lógica no formal aporta una perspectiva aplicada que enriquece la comprensión del razonamiento en contextos reales. Es una herramienta útil para quienes buscan dominar los fundamentos lógicos necesarios en el campo de la informática, especialmente en áreas como la inteligencia artificial y la ingeniería de sistemas.\u003c\/p\u003e","brand":"CEF","offers":[{"title":"Default Title","offer_id":53555099500891,"sku":"9788445434697","price":34.84,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978844543469.jpg?v=1783641181","url":"https:\/\/kalamobooks.com\/products\/9788445434697","provider":"Kalamo Books","version":"1.0","type":"link"}