TEORIA DE LA COMPUTACIÓ

TEORIA DE LA COMPUTACIÓ

Editorial:
EDICIONS UIB. UNIVERSITAT DE LES ILLES BALEARS
Any d'edició:
idioma:
Català
Matèria
Informàtica
ISBN:
978-84-8384-352-9
Pàgines:
248
Enquadernació:
Rústica
Disponibilitat:
Disponible en 2 setmanes

15,00 €
Comprar

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.