{"product_id":"a-mathematical-primer-on-computability-9781848902961","title":"Una introducción matemática a la computabilidad","description":"\u003cp\u003eEl libro ofrece una introducción autónoma a la teoría de la computabilidad para estudiantes de último año de grado o de primer año de posgrado de matemáticas y ciencias de la computación. El material técnico se ilustra con numerosos ejemplos, problemas con soluciones completamente desarrolladas, así como una variedad de ejercicios propuestos.\u003c\/p\u003e\u003cp\u003eLa Parte I se centra en las nociones y resultados fundamentales de la computabilidad, comenzando con los conceptos pilares de modelo computacional (un lenguaje de programación abstracto de alto nivel), función computable, conjunto decidible y listable, función universal propia, problema de decisión y la técnica de reducción para transferir propiedades de decidibilidad y listabilidad. Se presentan e ilustran los resultados esenciales, a saber, el Teorema de Rice, el Teorema de Rice-Shapiro, el Teorema de Rice-Shapiro-McNaughton-Myhill, así como el Teorema de Rogers y el Teorema de Recursión. Se investiga la reducibilidad de muchos a uno y los grados de muchos a uno. También se incluye una breve introducción a la computación con oráculos. Se introducen operadores computables y no computables, así como operadores monótonos y finitarios. Se discute la relación entre ellos, en particular a través del Teorema de Myhill-Shepherdson. También se presenta el Teorema del Punto Fijo Mínimo de Kleene. Finalmente, la Parte I concluye con una breve descripción del modelo computacional de Turing, la reducibilidad de Turing y los grados de Turing.\u003c\/p\u003e\u003cp\u003eLa Parte II del libro se concentra en las aplicaciones de la computabilidad en varias áreas, a saber, en lógica (indecidibilidad de la aritmética, satisfacibilidad en lógica proposicional, decidibilidad en lógica modal), geometría euclidiana, grafos y complejidad de Kolmogorov. Sin embargo, no se requiere conocimiento previo de estos temas. Se proporcionan los detalles esenciales para comprender las aplicaciones.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-12271360\"\u003eAmilcar Sernadas\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-4125677\"\u003eCristina Sernadas\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-13695185\"\u003eJoão Rasga\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e College Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 11\/07\/2018\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 280\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.87 lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.59d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781848902961\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1848902964\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-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eCiencias de la Computación\u003c\/a\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\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":44575077859565,"sku":"9781848902961","price":28.67,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_5a6de57a-a83a-42b2-92a1-b4843f475a8e.jpg?v=1701992897","url":"https:\/\/sureshotbooks.com\/es\/products\/a-mathematical-primer-on-computability-9781848902961","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}