{"product_id":"9788476327630","title":"NOTES PER A UNES CLASSES DE TEORIA DE MODELS I INDECIBILITAT","description":"\u003ch2\u003eNOTES PER A UNES CLASSES DE TEORIA DE MODELS I INDECIBILITAT\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEsta obra es un manual universitario de referencia en el campo de la lógica matemática, concebido a partir de las lecciones impartidas por el autor en la Universidad de las Illes Balears. El libro ofrece una introducción rigurosa y sistemática a la teoría de modelos y a los teoremas de indecibilidad, dos pilares fundamentales de la lógica contemporánea. El lector encontrará un desarrollo formal, con demostraciones detalladas y ejemplos, que le permitirá comprender conceptos como la completitud, la compacidad y la indecibilidad de la aritmética.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl texto aborda dos áreas centrales de la lógica matemática. En primer lugar, la teoría de modelos, que estudia las relaciones entre los lenguajes formales y las estructuras matemáticas que los interpretan. Se exploran conceptos como la satisfacibilidad, la equivalencia elemental y los teoremas de compacidad y Löwenheim-Skolem. En segundo lugar, se adentra en la teoría de la indecibilidad, examinando los límites de la demostración formal y los famosos teoremas de Gödel, Church y Turing, que demuestran la existencia de problemas matemáticos que no pueden resolverse mediante algoritmos. El libro está escrito en un estilo didáctico y riguroso, ideal para un curso universitario avanzado.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eLógica de primer orden: sintaxis y semántica.\u003c\/li\u003e\n\u003cli\u003eTeoremas de completitud y compacidad de Gödel.\u003c\/li\u003e\n\u003cli\u003eTeoría de modelos: estructuras, subestructuras y extensiones elementales.\u003c\/li\u003e\n\u003cli\u003eTeoremas de Löwenheim-Skolem ascendente y descendente.\u003c\/li\u003e\n\u003cli\u003eIndecibilidad: el problema de la parada y los teoremas de incompletitud de Gödel.\u003c\/li\u003e\n\u003cli\u003eJerarquía aritmética y conjuntos recursivamente enumerables.\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 matemáticas, filosofía o informática que cursen asignaturas avanzadas de lógica matemática, teoría de modelos o fundamentos de la computación. También es una herramienta útil para investigadores y docentes que deseen profundizar en los fundamentos lógicos de la matemática y la computabilidad.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eUna exposición sistemática y detallada de la teoría de modelos y la indecibilidad, con demostraciones completas.\u003c\/li\u003e\n\u003cli\u003eUn enfoque didáctico que facilita la comprensión de conceptos abstractos y complejos.\u003c\/li\u003e\n\u003cli\u003eUn material de estudio sólido para cursos universitarios, que incluye ejercicios y ejemplos prácticos.\u003c\/li\u003e\n\u003cli\u003eUna perspectiva histórica y conceptual que conecta los resultados con el desarrollo de la lógica matemática.\u003c\/li\u003e\n\u003cli\u003eUn homenaje a la labor docente del profesor Nadal Batle i Nicolau, que inspira el rigor académico de la obra.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: PLA CARRERA; JOSE\u003c\/li\u003e\n\u003cli\u003eEditorial: Edicions UIB\u003c\/li\u003e\n\u003cli\u003eIdioma: Catalán\u003c\/li\u003e\n\u003cli\u003eTema: BASES MATEMATICAS, LOGICA MATEMATICA, TEORIA DE LOS CONJUNTOS\u003c\/li\u003e\n\u003cli\u003eColección: ALTRES OBRES\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Otros\u003c\/li\u003e\n\u003cli\u003eFecha de edición: 2002\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 398\u003c\/li\u003e\n\u003cli\u003eDimensiones: 239.0 x 179.0\u003c\/li\u003e\n\u003cli\u003ePeso: 770.0\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de un manual académico de alto nivel, imprescindible para quienes deseen dominar la teoría de modelos y la indecibilidad. Su enfoque riguroso, heredero de la ambiciosa visión del profesor Batle, lo convierte en una referencia para estudiantes y especialistas. La obra destaca por su claridad expositiva y su profundidad técnica, ofreciendo una base sólida para abordar problemas avanzados de lógica matemática. Es una herramienta valiosa para cursos universitarios y para la formación autodidacta en este campo.\u003c\/p\u003e","brand":"EDICIONS UIB","offers":[{"title":"Default Title","offer_id":53609259958619,"sku":"9788476327630","price":19.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978847632763.jpg?v=1784221607","url":"https:\/\/kalamobooks.com\/products\/9788476327630","provider":"Kalamo Books","version":"1.0","type":"link"}