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

Relacionats

Apuntes de psicometría
Sesé Abad, Albert; Palmer Pol, Alfonso Luis

La Psicometria és la disciplina científica encarregada de l'elaboració d'eines per al mesurament del psicològic. Constitueix una peça fonamental en l'engranatge de la maq...
(Edicions UIB, 2014) · 306 pàg. · 20 €



Introducción al derecho del trabajo
Monreal Bringsvaerd, Erik

Material didàctic centrat en l’origen històric del dret del treball, en les seves fonts normatives, en l’autonomia individual com a font de drets i obligacio...
(Edicions UIB, 2017) · 142 pàg. · 12 €

Tablas de Estadística
Palmer Pol, Alfonso Luis

Aquest material didàctic de la Universitat de les Illes Balears, compendi de taules estadístiques, permet disposar dels valors criteri necessaris per estudiar la significaci...
(Edicions UIB, 2021) · 174 pàg. · 10 €



Procedimientos estadísticos con SPSS y R para la comparación de dos medias
Palmer Pol, Alfonso Luis

S'analitzen totes les situacions que involucren la comparació de dos grups, des de les perspectives paramètrica, no paramètrica, robusta, exacta i de comparació de models,...
(Edicions UIB, 2011) · 316 pàg. · 16 €