Menu
Află starea comenzii
Contactați-ne
Carte TEORIA DE LA COMPUTACIO ROCHA CARDENAS

TEORIA DE LA COMPUTACIO

Autor: ROCHA CARDENAS, JAIRO
Limbă: catalană valenciană
Legare: Carte broșată
Editura: Edicions UIB
Disponibilitate: șansă 50%
Şanse de a obține acest titlu
96.15 lei
El libro cubre las nociones típicas, como por ejemplo la indecidibilidad, los programas indeterminis...

Informații despre carte

Autor
ROCHA CARDENAS, JAIRO
Limbă
catalană valenciană
Legare
Carte - Carte broșată
Publicat
2017
Pagini
248
EAN
9788483843529
Enbook ID
36078959
Editura
Edicions UIB
Greutate
434
Dimensiuni
170 x 240

Descriere completă

El libro cubre las nociones típicas, como por ejemplo 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. Ahora bien, este libro no es un libro típico, por tres motivos: la sintaxis estructurada para programas y autómatas con pila (evitando las transiciones entre estados de las máquinas de Turing), la aplicación de un paradigma estructurado al indeterminismo de los programas (una introducción a la concurrencia) y el énfasis en la verificación de autómatas finitos (con una metodología práctica) y de autómatas con pila (como introducción a la verificación de programas usando invariantes). El objetivo del libro es crear a los estudiantes de informática el hábito duradero de escribir programas que respeten escrupulosamente las relaciones entre los símbolos usados.