{"product_id":"understanding-computation-from-simple-machines-to-impossible-programs-9781449329273","title":"Comprender la computación: de las máquinas sencillas a los programas imposibles","description":"\u003cp\u003eFinalmente, puede aprender la teoría de la computación y el diseño de lenguajes de programación de una manera atractiva y práctica. Understanding Computation explica la informática teórica en un contexto que reconocerá, ayudándole a apreciar por qué estas ideas son importantes y cómo pueden influir en su programación diaria.\u003c\/p\u003e\u003cp\u003eEn lugar de utilizar notación matemática o un lenguaje de programación académico desconocido como Haskell o Lisp, este libro utiliza Ruby de manera reduccionista para presentar semántica formal, teoría de autómatas y programación funcional con el cálculo lambda. Es ideal para programadores versados en lenguajes modernos, con poca o ninguna formación formal en ciencias de la computación.\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eComprender conceptos informáticos fundamentales, como la completitud de Turing en lenguajes\u003c\/li\u003e\n\u003cli\u003eDescubrir cómo los programas usan la semántica dinámica para comunicar ideas a las máquinas\u003c\/li\u003e\n\u003cli\u003eExplorar lo que una computadora puede hacer cuando se reduce a sus elementos esenciales\u003c\/li\u003e\n\u003cli\u003eAprender cómo las máquinas universales de Turing llevaron a las computadoras de propósito general de hoy en día\u003c\/li\u003e\n\u003cli\u003eRealizar cálculos complejos, utilizando lenguajes simples y autómatas celulares\u003c\/li\u003e\n\u003cli\u003eDeterminar qué características del lenguaje de programación son esenciales para la computación\u003c\/li\u003e\n\u003cli\u003eExaminar cómo la detención y la autorreferencia hacen que algunos problemas informáticos sean irresolubles\u003c\/li\u003e\n\u003cli\u003eAnalizar programas mediante la interpretación abstracta y los sistemas de tipos\u003c\/li\u003e\n\u003c\/ul\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-6702822\"\u003eTom Stuart\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e O'Reilly Media\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 18\/06\/2013\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 332\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.17 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.03h x 7.03w x 0.77d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781449329273\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1449329276\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-COM051000\"\u003eProgramación | General\u003c\/a\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-COM051230\"\u003eDesarrollo e Ingeniería de Software | General\u003c\/a\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-COM051010\"\u003eLenguajes | General\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el Autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eTom es un informático y programador, y el fundador de Codon, una consultora de productos digitales en Londres. Trabaja como consultor, mentor y capacitador, ayudando a las empresas a mejorar la calidad y claridad de su enfoque para crear productos de software, generalmente en la web. Ha dado conferencias sobre optimización de compiladores en la Universidad de Cambridge, coorganiza la conferencia Ruby Manor y es miembro del London Ruby User Group.\u003c\/p\u003e","brand":"O'Reilly Media","offers":[{"title":"Default Title","offer_id":42663958249709,"sku":"9781449329273","price":39.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_dd02491a-7c24-44a9-b2d9-80820958e001.jpg?v=1649399028","url":"https:\/\/sureshotbooks.com\/es\/products\/understanding-computation-from-simple-machines-to-impossible-programs-9781449329273","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}