{"product_id":"9788498494754","title":"Apuntes y problemas de lógica matemática","description":"\u003ch2\u003eApuntes y problemas de lógica matemática\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual ofrece una introducción sólida y práctica a los fundamentos de la Lógica Matemática, combinando teoría esencial con una extensa colección de problemas resueltos. Diseñado para estudiantes universitarios, el libro guía al lector desde los conceptos básicos de la lógica proposicional hasta la lógica de predicados, facilitando la comprensión de los procedimientos formales y algorítmicos necesarios para el razonamiento automático y la resolución de problemas. Su enfoque didáctico y su amplio repertorio de ejercicios con soluciones completas lo convierten en una herramienta clave para quienes buscan dominar esta disciplina y aplicarla en ámbitos como la informática y las matemáticas.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa obra se estructura en dos partes principales. La primera se centra en la lógica proposicional, abordando la formalización de enunciados, tablas de verdad, tautologías, contradicciones, equivalencias lógicas y métodos de deducción. La segunda parte se dedica a la lógica de predicados, donde se estudian cuantificadores, formalización de argumentos complejos y técnicas de demostración. El libro incluye además dos capítulos preliminares: una breve introducción histórica que sitúa la lógica en relación con la filosofía, las matemáticas y la informática, y un repaso de teoría de conjuntos necesario para sentar las bases. Cada concepto teórico se refuerza con una amplia colección de problemas resueltos paso a paso, lo que permite al lector practicar y autoevaluar su progreso.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eLógica proposicional: formalización, tablas de verdad, tautologías, contradicciones y equivalencias.\u003c\/li\u003e\n\u003cli\u003eLógica de predicados: cuantificadores, formalización de argumentos y técnicas de demostración.\u003c\/li\u003e\n\u003cli\u003eMétodos de deducción y razonamiento formal.\u003c\/li\u003e\n\u003cli\u003eIntroducción histórica a la lógica y su relación con la filosofía, las matemáticas y la informática.\u003c\/li\u003e\n\u003cli\u003eRepaso de teoría de conjuntos como base conceptual.\u003c\/li\u003e\n\u003cli\u003eProcedimientos algorítmicos para el razonamiento automático y la resolución formal de problemas.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está especialmente dirigido a estudiantes universitarios de carreras técnicas como Matemáticas, Informática, Ingeniería o Filosofía que necesiten una base sólida en lógica matemática. También es útil para profesionales del desarrollo de software y la programación que deseen profundizar en los fundamentos formales del razonamiento computacional, así como para cualquier persona interesada en adquirir habilidades de razonamiento estructurado y formalización de problemas.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base teórica clara y completa sobre lógica proposicional y de predicados.\u003c\/li\u003e\n\u003cli\u003eOfrece más de 200 problemas resueltos paso a paso para practicar y consolidar los conocimientos.\u003c\/li\u003e\n\u003cli\u003eAyuda a desarrollar habilidades de razonamiento formal y resolución estructurada de problemas.\u003c\/li\u003e\n\u003cli\u003eFacilita la transición hacia el estudio de la lógica informática y los sistemas de razonamiento automático.\u003c\/li\u003e\n\u003cli\u003eIncluye un repaso de teoría de conjuntos y un contexto histórico para una comprensión más amplia.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: Gallinari Biraghi; Alessandra\u003c\/li\u003e\n\u003cli\u003eEditorial: Editorial Dykinson, S.L.\u003c\/li\u003e\n\u003cli\u003eIdioma: Español\u003c\/li\u003e\n\u003cli\u003eTema: Cálculo y análisis matemático, Programación informática\/Desarrollo de software\u003c\/li\u003e\n\u003cli\u003eColección: FONDO\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: 2009\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 274\u003c\/li\u003e\n\u003cli\u003eDimensiones: 23.5 cm x 17.0 cm\u003c\/li\u003e\n\u003cli\u003ePeso: 481.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 equilibrado entre teoría y práctica, convirtiéndose en un recurso valioso para el aprendizaje autónomo de la lógica matemática. La inclusión de una amplia colección de problemas resueltos, junto con los capítulos introductorios de contexto histórico y teoría de conjuntos, facilita la asimilación de conceptos abstractos. Aunque su fecha de publicación es de 2009, los fundamentos de la lógica que aborda siguen siendo plenamente vigentes, lo que lo convierte en una opción sólida para estudiantes que buscan una base rigurosa y aplicada en esta disciplina.\u003c\/p\u003e","brand":"EDITORIAL DYKINSON, S.L.","offers":[{"title":"Default Title","offer_id":53565432660315,"sku":"9788498494754","price":22.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978849849475.jpg?v=1783676285","url":"https:\/\/kalamobooks.com\/products\/9788498494754","provider":"Kalamo Books","version":"1.0","type":"link"}