{"product_id":"computability-and-unsolvability-9780486614717","title":"Computabilidad e insolubilidad","description":"En este texto clásico, el Dr. Davis ofrece una clara introducción a la computabilidad, a un nivel avanzado de pregrado, que satisface las necesidades tanto de especialistas como de no especialistas.\u003cbr\u003eEn la Primera Parte (Capítulos 1-5), el Profesor Davis expone la teoría general de la computabilidad, discutiendo temas como funciones computables, operaciones sobre funciones computables, funciones recursivas, máquinas de Turing, problemas de decisión autoaplicados e irresolubles. El autor ha sido cuidadoso, especialmente en los primeros siete capítulos, de no asumir ninguna formación matemática especial por parte del lector.\u003cbr\u003eLa Segunda Parte (Capítulos 6-8) comprende un tratamiento conciso de las aplicaciones de la teoría general, incorporando material sobre problemas combinatorios, ecuaciones diofánticas (incluido el Décimo Problema de Hilbert) y lógica matemática. Los tres capítulos finales (Parte 3) presentan un desarrollo posterior de la teoría general, abarcando la jerarquía de Kleene, los funcionales computables y la clasificación de los problemas de decisión irresolubles.\u003cbr\u003eCuando se publicó por primera vez en 1958, esta obra introdujo gran parte de la terminología que desde entonces se ha convertido en estándar en la informática teórica. De hecho, la relevancia del libro es tal que muchos científicos de la computación lo consideran su introducción teórica al tema. Esta nueva edición de Dover hace que este texto pionero y ampliamente admirado esté disponible en un formato económico.\u003cbr\u003ePara la edición de Dover, el Dr. Davis ha proporcionado un nuevo Prefacio y un Apéndice, \"El décimo problema de Hilbert es irresoluble\", un importante artículo que publicó en \u003ci\u003eThe American Mathematical Monthly\u003c\/i\u003e en 1973, que fue galardonado por la American Mathematical Society y la Mathematical Association of America. Estas adiciones mejoran aún más el valor y la utilidad de una \"exposición inusualmente clara y estimulante\" (Centre National de la Recherche Scientifique, París) ahora disponible por primera vez en rústica.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-80962\"\u003eMartin Davis\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-393598\"\u003ePaul K. Davis\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 01\/12\/1985\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 288\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.65lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.46h x 5.44w x 0.57d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486614717\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486614719\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eMartin Davis: Pionero de la informática \u003cbr\u003e\u003c\/b\u003eLa relación editorial de Dover con Martin Davis, ahora jubilado de la NYU y residente en Berkeley, se remonta a 1985, cuando reimprimimos su clásico libro de 1958 \u003ci\u003eComputability and Unsolvability, \u003c\/i\u003e ampliamente considerado un clásico de la informática teórica. Graduado del City College de Nueva York, Davis recibió su doctorado de Princeton a fines de la década de 1940 y se convirtió en uno de los primeros programadores de computadoras a principios de la década de 1950, trabajando en la computadora ORDVAC en la Universidad de Illinois. Más tarde se estableció en la NYU, donde ayudó a fundar el Departamento de Ciencias de la Computación. \u003c\/p\u003e\u003cp\u003eNo muchos libros de los inicios de la informática siguen vigentes después de varias décadas, pero \u003ci\u003eComputability and Unsolvability\u003c\/i\u003e es la excepción. Y \u003ci\u003eThe Undecidable\u003c\/i\u003e es una antología de artículos fundamentales sobre indecidibilidad e irresolubilidad de figuras importantes en el campo, incluidos Godel, Church, Turing, Kleene y Post. \u003c\/p\u003e\u003cp\u003e\u003cb\u003e \u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eAclamación de la crítica para \u003ci\u003eComputability and Unsolvability\u003c\/i\u003e \u003cbr\u003e\"Este libro ofrece un relato expositivo de la teoría de las funciones recursivas y algunas de sus aplicaciones a la lógica y las matemáticas. Está bien escrito y puede ser recomendado a cualquiera interesado en este campo. No se presupone ningún conocimiento específico de otras partes de las matemáticas. Aunque no hay ejercicios, el libro es adecuado para su uso como libro de texto.\" -- J. C. E. Dekker, \u003ci\u003eBulletin of the American Mathematical Society\u003c\/i\u003e, 1959\u003cb\u003e \u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eAclamación de la crítica para \u003ci\u003eThe Undecidable\u003c\/i\u003e \u003cbr\u003e\"Una valiosa colección tanto por su material fuente original como por las formulaciones históricas de los problemas actuales.\" -- \u003ci\u003eThe Review of Metaphysics\u003c\/i\u003e \u003c\/p\u003e\u003cp\u003e\"Mucho más que una mera colección de artículos... una valiosa adición a la literatura.\" -- \u003ci\u003eMathematics of Computation\u003c\/i\u003e\u003c\/p\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Dover Publications","offers":[{"title":"Default Title","offer_id":42684029534445,"sku":"9780486614717","price":16.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_2b90a27e-f836-4a82-9e68-a798ffb2ce7a.jpg?v=1649750754","url":"https:\/\/sureshotbooks.com\/es\/products\/computability-and-unsolvability-9780486614717","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}