{"product_id":"9788479087630","title":"Introducción a la teoría de la computabilidad","description":"\u003ch2\u003eIntroducción a la teoría de la computabilidad\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEsta obra ofrece una introducción clara y rigurosa a los fundamentos de la teoría de la computabilidad, dirigida especialmente a estudiantes de ingenierías informáticas. A través de un enfoque práctico, conecta conceptos abstractos como las máquinas de Turing, las funciones recursivas y la indecibilidad con la experiencia cotidiana en lenguajes de programación. Incluye más de cien problemas resueltos que facilitan la asimilación de los contenidos y permiten al lector autoevaluar su progreso. Es un recurso esencial para quienes desean comprender los límites y capacidades de la computación.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro presenta de manera sistemática los conceptos nucleares de la teoría de la computabilidad. Comienza con los preliminares matemáticos necesarios para abordar la materia, para luego adentrarse en el estudio de las máquinas de Turing como modelo formal de computación. A continuación, explora las funciones recursivas y la computación universal, estableciendo puentes entre estos modelos y la programación real. La obra culmina con el análisis de los problemas de decibilidad e indecibilidad, mostrando qué problemas pueden resolverse algorítmicamente y cuáles no. Cada capítulo se apoya en ejemplos prácticos y ejercicios, cuyas soluciones se recogen en un apéndice, favoreciendo un aprendizaje autónomo y aplicado.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003ePreliminares matemáticos para la teoría de la computación.\u003c\/li\u003e\n\u003cli\u003eModelos de computación: máquinas de Turing y sus variantes.\u003c\/li\u003e\n\u003cli\u003eFunciones recursivas y su relación con la computabilidad.\u003c\/li\u003e\n\u003cli\u003eComputación universal y la máquina de Turing universal.\u003c\/li\u003e\n\u003cli\u003eProblemas decidibles e indecidibles: límites de la computación.\u003c\/li\u003e\n\u003cli\u003eMás de cien problemas resueltos para la práctica autónoma.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está recomendado para estudiantes de ingeniería informática y otras titulaciones afines que cursen asignaturas de teoría de la computación, computabilidad o complejidad. También es útil para profesionales del desarrollo de software que deseen comprender los fundamentos teóricos de su disciplina, así como para docentes que busquen un material didáctico con ejercicios resueltos.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eComprensión sólida de los conceptos clave de la teoría de la computabilidad.\u003c\/li\u003e\n\u003cli\u003eConexión directa entre la teoría abstracta y la práctica de la programación.\u003c\/li\u003e\n\u003cli\u003eMás de cien problemas resueltos que facilitan el estudio y la autoevaluación.\u003c\/li\u003e\n\u003cli\u003eBase teórica necesaria para abordar materias avanzadas como complejidad computacional o inteligencia artificial.\u003c\/li\u003e\n\u003cli\u003eEnfoque didáctico y progresivo, ideal para el aprendizaje autónomo.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e Gallardo López; Domingo, Arques Corrales; Pilar, Lesta Pelayo; Ignacio\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Publicaciones de la Universidad de Alicante\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Español\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eTema:\u003c\/strong\u003e Informática: cuestiones generales\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eColección:\u003c\/strong\u003e Textos Docentes\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEncuadernación:\u003c\/strong\u003e Bolsillo\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFecha de edición:\u003c\/strong\u003e 2003\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 238\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eDimensiones:\u003c\/strong\u003e 24.0 cm x 17.0 cm\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 515.0 gr\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de un manual universitario bien estructurado que cumple con su propósito de introducir la teoría de la computabilidad de forma accesible y práctica. Su principal valor reside en la abundancia de ejercicios resueltos y en el enfoque que vincula los conceptos formales con la programación real, lo que facilita la asimilación por parte de estudiantes con perfil técnico. Es una referencia adecuada para quienes necesitan dominar los fundamentos teóricos de la computación sin perder de vista su aplicación práctica.\u003c\/p\u003e","brand":"PUBLICACIONES DE LA UNIVERSIDAD DE ALICANTE","offers":[{"title":"Default Title","offer_id":53565366731099,"sku":"9788479087630","price":14.5,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978847908763.jpg?v=1783675031","url":"https:\/\/kalamobooks.com\/products\/9788479087630","provider":"Kalamo Books","version":"1.0","type":"link"}