{"product_id":"9781848902961","title":"Una introducción matemática a la computabilidad","description":"El libro proporciona una introducción independiente a la teoría de la computabilidad para estudiantes universitarios avanzados o estudiantes de posgrado iniciales en matemáticas e informática. El material técnico está ilustrado con numerosos ejemplos, problemas con soluciones totalmente resueltas y una serie de ejercicios propuestos. La Parte I se centra en nociones y resultados fundamentales de computabilidad, comenzando con los conceptos fundamentales de modelo computacional (un lenguaje de programación abstracto de alto nivel), función computable, conjunto decidible y listable, función universal adecuada, problema de decisión y la técnica de reducción para transferir la decidibilidad. y propiedades de 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 la recursión. Se investigan 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 finitos. Se analiza la relación entre ellos, en particular a través del teorema de Myhill-Shepherdson. También se presenta el teorema del mínimo punto fijo de Kleene. Finalmente, la Parte I termina con una sesión informativa sobre el modelo computacional de Turing, la reducibilidad de Turing y los grados de Turing. La 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, gráficos y complejidad de Kolmogorov. Sin embargo no se requieren conocimientos previos sobre estas materias. Se proporcionan los detalles esenciales para comprender las aplicaciones.\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\n \u003cli\u003e| \u003cb\u003eAutor:\u003c\/b\u003e Amílcar Sernadas, Cristina Sernadas, Joao Rasga\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eEditorial:\u003c\/b\u003e Publicaciones universitarias\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eFecha de publicación:\u003c\/b\u003e 07 de noviembre de 2018\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eNúmero de páginas:\u003c\/b\u003e 280 páginas\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eIdioma:\u003c\/b\u003e inglés\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eEncuadernación:\u003c\/b\u003e Tapa blanda\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eISBN-10:\u003c\/b\u003e 1848902964\u003c\/li\u003e\n\n\u003cli\u003e | \u003cb\u003eISBN-13:\u003c\/b\u003e 9781848902961\u003c\/li\u003e\n\n\n\u003c\/ul\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":46701803667761,"sku":"9781848902961","price":26.08,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/files\/9781848902961.jpg?v=1690356780","url":"https:\/\/www.recomparo.com\/es\/products\/9781848902961","provider":"ReComparo.com","version":"1.0","type":"link"}