{"product_id":"9788420678856","title":"Introducción a la teoría de la lógica","description":"\u003ch2\u003eIntroducción a la teoría de la lógica\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual ofrece una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. Escrito por José Luis Zalabardo, el libro está diseñado para lectores que desean un estudio serio de la disciplina, pero que carecen de los conocimientos matemáticos avanzados que suelen presuponerse en otros textos. La obra integra las herramientas necesarias de la teoría de conjuntos y presenta los métodos principales de definición y prueba, con especial atención a las definiciones inductivas y recursivas. Incluye cientos de ejercicios prácticos que facilitan la asimilación de los contenidos.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa obra desarrolla de forma progresiva los pilares de la lógica moderna. Comienza con la teoría básica de conjuntos como fundamento matemático indispensable. A continuación, aborda la sintaxis y semántica de la lógica proposicional y de primer orden, explicando cómo se construyen y evalúan las expresiones lógicas. Se presenta un sistema deductivo basado en el cálculo de secuentes, seguido de los teoremas de consistencia y completud, que establecen la relación entre la validez sintáctica y semántica. El libro también explora temas avanzados como la cardinalidad, las limitaciones expresivas de la lógica de primer orden (con especial atención a los teoremas de Löwenheim y Skolem), los modelos no estándar de la aritmética, la decidibilidad, las teorías completas, la categoricidad y la eliminación de cuantificadores.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eTeoría básica de conjuntos como fundamento para la lógica\u003c\/li\u003e\n\u003cli\u003eSintaxis y semántica de la lógica proposicional y de primer orden\u003c\/li\u003e\nli\u0026gt;Sistemas deductivos basados en el cálculo de secuentes\n\u003cli\u003eTeoremas de consistencia y completud\u003c\/li\u003e\n\u003cli\u003eLimitaciones expresivas de la lógica de primer orden: teoremas de Löwenheim y Skolem\u003c\/li\u003e\n\u003cli\u003eModelos no estándar de la aritmética\u003c\/li\u003e\n\u003cli\u003eDecidibilidad, teorías completas, categoricidad y eliminación de cuantificadores\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está dirigido a estudiantes universitarios de filosofía, matemáticas o ciencias de la computación que deseen iniciarse en la lógica formal con un enfoque riguroso. También es adecuado para lectores autodidactas con interés en la lógica que necesiten una base matemática sólida, pero que aún no dominen los conceptos avanzados de teoría de conjuntos. Resulta especialmente útil para quienes buscan un texto que combine teoría, demostraciones y ejercicios prácticos.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona las herramientas matemáticas necesarias (teoría de conjuntos) para comprender la lógica sin conocimientos previos avanzados\u003c\/li\u003e\n\u003cli\u003eOfrece un sistema deductivo completo basado en el cálculo de secuentes, facilitando la comprensión de la demostración formal\u003c\/li\u003e\n\u003cli\u003eIncluye cientos de ejercicios que permiten practicar y consolidar los conceptos teóricos\u003c\/li\u003e\n\u003cli\u003eAborda tanto los resultados clásicos (completud, consistencia) como temas avanzados (modelos no estándar, eliminación de cuantificadores)\u003c\/li\u003e\n\u003cli\u003ePresenta de forma clara las limitaciones de la lógica de primer orden, un aspecto crucial para entender sus alcances\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: Zalabardo, José Luis\u003c\/li\u003e\n\u003cli\u003eEditorial: Alianza Editorial\u003c\/li\u003e\n\u003cli\u003eIdioma: Español\u003c\/li\u003e\n\u003cli\u003eTema: FILOSOFIA: LOGICA\u003c\/li\u003e\n\u003cli\u003eColección: ALIANZA UNIVERSIDAD\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: septiembre de 2002\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 368\u003c\/li\u003e\n\u003cli\u003ePeso: 477 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de un manual de referencia para el estudio introductorio de la lógica formal, destacable por su capacidad para hacer accesibles conceptos técnicos complejos sin sacrificar el rigor. La inclusión de las herramientas matemáticas necesarias y la abundancia de ejercicios lo convierten en una opción sólida tanto para el aula como para el estudio individual. Su enfoque en el cálculo de secuentes y en las limitaciones expresivas de la lógica de primer orden aporta una perspectiva completa que va más allá de los textos introductorios habituales.\u003c\/p\u003e","brand":"ALIANZA EDITORIAL","offers":[{"title":"Default Title","offer_id":53486055457115,"sku":"9788420678856","price":29.95,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978842067885.jpg?v=1782964178","url":"https:\/\/kalamobooks.com\/products\/9788420678856","provider":"Kalamo Books","version":"1.0","type":"link"}