{"product_id":"the-logical-approach-to-automatic-sequences-exploring-combinatorics-on-words-with-walnut-9781108745246","title":"El enfoque lógico para las secuencias automáticas: Explorando combinatoria en palabras con Walnut","description":"Las secuencias automáticas son secuencias sobre un alfabeto finito generadas por una máquina de estados finitos. Este libro presenta un punto de vista novedoso sobre las secuencias automáticas, y más generalmente sobre la combinatoria de palabras, al introducir un método de decisión a través del cual muchos resultados nuevos en combinatoria y teoría de números pueden ser probados o refutados automáticamente con poca o ninguna intervención humana. Este enfoque para probar teoremas es extremadamente poderoso, permitiendo que los argumentos largos y propensos a errores basados en casos sean reemplazados por cálculos simples. Los lectores aprenderán cómo expresar sus resultados deseados en lógica de primer orden, utilizando software libre para automatizar el proceso de cálculo. Los resultados que normalmente requieren pruebas de varias páginas pueden aparecer en milisegundos, lo que permite a los usuarios abordar preguntas matemáticas que de otro modo serían difíciles de resolver. Con más de 150 ejercicios incluidos, este texto es un recurso ideal para investigadores, estudiantes de posgrado y estudiantes universitarios avanzados que estudian combinatoria, secuencias y teoría de números.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-12648081\"\u003eJeffrey Shallit\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 29\/09\/2022\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 374\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.20 lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.90 alto x 5.90 ancho x 0.90 profundidad\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781108745246\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1108745245\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\"\u003eComputadoras\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM000000\"\u003eGeneral\u003c\/a\u003e\u003cbr\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":44586245390573,"sku":"9781108745246","price":141.67,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_0387563f-cc9e-462a-be6e-9e708e23ec01.jpg?v=1702176428","url":"https:\/\/sureshotbooks.com\/es\/products\/the-logical-approach-to-automatic-sequences-exploring-combinatorics-on-words-with-walnut-9781108745246","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}