Download Teoria de la computació (Materials didàctics) (pdf) Jairo Rocha Cárdenas

Descargar PDF Leer en línea

El llibre cobreix les nocions típiques, com ara la indecidibilitat, els programes indeterministes, els problemes NP-complets, els autòmats finits, les expressions regulars, les gramàtiques incontextuals i els autòmats amb pila. Ara bé, aquest llibre no és un llibre típic, per tres motius: la sintaxi estructurada per a programes i autòmats amb pila (evitant les transicions entre estats de les màquines de Turing), l'aplicació d'un paradigma estructurat a l'indeterminisme dels programes (una introducció a la concurrència) i l'èmfasi en la verificació d'autòmats finits (amb una metodologia pràctica) i d'autòmats amb pila (com a introducció a la verificació de programes fent servir invariants). L'objectiu del llibre és crear als estudiants d'informàtica l'hàbit durador d'escriure programes que respectin escrupolosament les relacions entre els símbols usats.
Teoria de la computació (Materials didàctics) - PDF eBooks Online Free Download
libro Teoria de la computació (Materials didàctics) gratis
Teoria de la computació (Materials didàctics) libro Jairo Rocha Cárdenas
libro Teoria de la computació (Materials didàctics) gratis