{"product_id":"9788483842225","title":"TEORIA DE LA COMPUTACIO","description":"\u003ch2\u003eTEORIA DE LA COMPUTACIO\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual ofrece una aproximación práctica y estructurada a los fundamentos de la teoría de la computación, diseñado para estudiantes de informática. A diferencia de los textos convencionales, el libro introduce una sintaxis estructurada para programas y autómatas con pila, evitando las transiciones de estado propias de las máquinas de Turing. Además, aplica un paradigma estructurado al indeterminismo de los programas como introducción a la concurrencia, y pone un énfasis especial en la verificación de autómatas finitos y con pila mediante metodologías prácticas. El objetivo principal es crear en el estudiante el hábito de escribir programas que respeten escrupulosamente las relaciones entre los símbolos utilizados.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa obra aborda las nociones clásicas de la teoría de la computación, como la indecidibilidad, los programas indeterministas, los problemas NP-completos, los autómatas finitos, las expresiones regulares, las gramáticas incontextuales y los autómatas con pila. Sin embargo, se distingue por tres enfoques innovadores: en primer lugar, emplea una sintaxis estructurada para programas y autómatas con pila, simplificando la representación habitual. En segundo lugar, aplica un paradigma estructurado al indeterminismo, ofreciendo una introducción a la concurrencia. En tercer lugar, enfatiza la verificación de autómatas finitos mediante una metodología práctica y la de autómatas con pila como introducción a la verificación de programas utilizando invariantes. El libro busca inculcar en los estudiantes de informática un hábito duradero de escritura de programas que mantengan relaciones precisas entre los símbolos.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eIndecidibilidad y problemas NP-completos\u003c\/li\u003e\n\u003cli\u003eProgramas indeterministas e introducción a la concurrencia\u003c\/li\u003e\n\u003cli\u003eAutómatas finitos, expresiones regulares y gramáticas incontextuales\u003c\/li\u003e\n\u003cli\u003eAutómatas con pila y su verificación mediante invariantes\u003c\/li\u003e\n\u003cli\u003eSintaxis estructurada para programas y autómatas\u003c\/li\u003e\n\u003cli\u003eMetodología práctica de verificación de autómatas\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEstá dirigido a estudiantes universitarios de informática que cursan asignaturas de teoría de la computación, lenguajes formales o autómatas. También es útil para profesionales que deseen profundizar en la verificación de programas y en enfoques estructurados para el indeterminismo y la concurrencia. Requiere conocimientos básicos de programación y matemáticas discretas.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eUn enfoque práctico y estructurado que facilita la comprensión de conceptos complejos como la indecidibilidad y los problemas NP-completos.\u003c\/li\u003e\n\u003cli\u003eMetodologías concretas para la verificación de autómatas finitos y con pila, aplicables a la programación real.\u003c\/li\u003e\n\u003cli\u003eUna introducción a la concurrencia desde el indeterminismo, preparando al lector para temas avanzados de computación.\u003c\/li\u003e\n\u003cli\u003eHábitos de escritura de programas que respetan relaciones simbólicas, mejorando la calidad del código.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e JAIRO ROCHA\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Edicions UIB\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Catalán\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eTema:\u003c\/strong\u003e MATEMATICAS PARA CIENTIFICOS DE LA COMPUTACION, MATERIAL DIDACTICO\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eColección:\u003c\/strong\u003e MATERIALS DIDACTICS\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEncuadernación:\u003c\/strong\u003e Bolsillo\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFecha de edición:\u003c\/strong\u003e 2012\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 242\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eDimensiones:\u003c\/strong\u003e 240.0 x 17.0 cm\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 474.0 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de un manual didáctico que destaca por su enfoque innovador y práctico dentro de la teoría de la computación. Al alejarse de la exposición teórica tradicional y centrarse en la verificación y la sintaxis estructurada, resulta especialmente útil para estudiantes que buscan aplicar los conceptos a la programación real. Su valor radica en la claridad metodológica y en la creación de hábitos de escritura rigurosos, lo que lo convierte en una herramienta complementaria ideal para cursos universitarios de informática.\u003c\/p\u003e","brand":"EDICIONS UIB","offers":[{"title":"Default Title","offer_id":53609239347547,"sku":"9788483842225","price":15.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978848384222.jpg?v=1784221252","url":"https:\/\/kalamobooks.com\/products\/9788483842225","provider":"Kalamo Books","version":"1.0","type":"link"}