{"product_id":"9788483843529","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 estructurada y práctica a los fundamentos de la teoría de la computación. A través de un enfoque innovador, el autor presenta los conceptos clásicos de indecidibilidad, autómatas y gramáticas, pero con un énfasis especial en la verificación y el diseño estructurado de programas. El lector encontrará una metodología aplicada para comprender los problemas NP-completos, las expresiones regulares y los autómatas con pila, desarrollando un hábito riguroso en la escritura de código que respete las relaciones simbólicas.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa obra aborda las nociones esenciales de la teoría de la computación desde una perspectiva no convencional. Se examinan la indecidibilidad, los programas indeterministas y los problemas NP-completos, pero el texto se distingue por tres aportaciones clave: una sintaxis estructurada para programas y autómatas con pila que evita las transiciones entre estados típicas de las máquinas de Turing; la aplicación de un paradigma estructurado al indeterminismo de los programas, funcionando como una introducción a la concurrencia; y un énfasis práctico en la verificación de autómatas finitos y autómatas con pila, utilizando invariantes como herramienta de validación.\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\u003eAutómatas finitos y expresiones regulares\u003c\/li\u003e\n\u003cli\u003eGramáticas incontextuales y autómatas con pila\u003c\/li\u003e\n\u003cli\u003eProgramas indeterministas y concurrencia\u003c\/li\u003e\n\u003cli\u003eVerificación de autómatas mediante metodología práctica e invariantes\u003c\/li\u003e\n\u003cli\u003eSintaxis estructurada para programas y autómatas\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está dirigido a estudiantes de informática que deseen profundizar en los fundamentos teóricos de la computación con un enfoque aplicado y riguroso. También es útil para profesionales que busquen reforzar su comprensión de la verificación de programas y el diseño estructurado de autómatas.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eUna metodología práctica para la verificación de autómatas finitos y con pila.\u003c\/li\u003e\n\u003cli\u003eUn enfoque estructurado que evita las transiciones clásicas de las máquinas de Turing.\u003c\/li\u003e\n\u003cli\u003eUna introducción a la concurrencia a través del indeterminismo de los programas.\u003c\/li\u003e\n\u003cli\u003eEl desarrollo de un hábito riguroso en la escritura de código basado en relaciones simbólicas.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: ROCHA CARDENAS, JAIRO\u003c\/li\u003e\n\u003cli\u003eEditorial: Edicions UIB\u003c\/li\u003e\n\u003cli\u003eIdioma: cat\u003c\/li\u003e\n\u003cli\u003eTema: MATEMATICAS PARA CIENTIFICOS DE LA COMPUTACION\u003c\/li\u003e\n\u003cli\u003eColección: MATERIALS DIDACTICS\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: julio de 2017\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 248\u003c\/li\u003e\n\u003cli\u003ePeso: 434 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEste manual destaca por su enfoque didáctico y estructurado, que facilita la comprensión de conceptos complejos de la teoría de la computación. La propuesta de evitar las transiciones entre estados y aplicar un paradigma estructurado al indeterminismo resulta especialmente valiosa para estudiantes que buscan una base sólida en verificación y diseño de programas. Es una obra recomendable para quienes quieran ir más allá de los planteamientos tradicionales y adquirir un método práctico y riguroso.\u003c\/p\u003e","brand":"EDICIONS UIB","offers":[{"title":"Default Title","offer_id":53453621821787,"sku":"9788483843529","price":15.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978848384352.jpg?v=1782535361","url":"https:\/\/kalamobooks.com\/products\/9788483843529","provider":"Kalamo Books","version":"1.0","type":"link"}