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.

Palma: Edicions UIB, 2017 · Materials Didàctics, 158
248 p. · 17 x 24 cm · · ISBN 978-84-8384-352-9 · 15 €
Matèria: Computació i tecnologia de la informació : Matemàtiques per a informàtics

Comprar a Libelista

Relacionats

Contexto y estructura de los servicios sociales
Caro Blanco, Fernanda; Mestre Miquel, Joana Maria; Guillén Palomares, Juana

El llibre «Contexto y estructura de los Servicios Sociales» forma part del temari referit a la matèria Serveis Socials dels estudis de grau en Treball Social. El Sistema P...
(Edicions UIB, 2013) · 258 pàg. · 15 €



Lecciones de derecho ambiental civil
Llodrà Grimalt, Francesca

Aquestes lliçons tenen com a objectiu mostrar de manera pedagògica i ordenada els temes juridicocivils que es troben connectats amb la protecció del medi ambient. «Leccion...
(Edicions UIB, 2008) · 203 pàg. · 12 €

Disseny i implantació de tipus abstractes de dades. Qüestionari resolt
Fiol Roig, Gabriel; Fiol Roig, Catalina

La present obra conté un compendi de coneixements sobre el disseny, la implementació i la implantació de tipus abstractes de dades, en un format de tipus qüestionari compo...
(Edicions UIB, 2006) · 207 pàg. · 9 €



Prácticas de las asignaturas de Economía y Organización Industrial
Escrihuela Villar, Marc; Sard Bauzà, Maria; Tugores Ques, Maria

Aquest material didàctic està adreçat principalment als alumnes de segon curs del grau en Administració i Direcció d'Empreses i del grau d'Economia. L'alumne hi trobarà ...
(Edicions UIB, 2012) · 195 pàg. · 12 €