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

Estadística aplicada con R
Alfonso Luis, Palmer Pol

L’objectiu d’aquest llibre és permetre que sigui el lector qui realitzi tots els càlculs necessaris per a donar resposta a totes i cadascuna de les preguntes...
(Edicions UIB, 2019) · 110 pàg. · 10 €



Técnicas instrumentales en bioquímica y biología
Barceló Mairata, Francisca

La bioquímica i la biologia molecular estudien els sistemes biològics des de l'òptica molecular per aprofundir en el coneixement de l'estructura i la funció de la cèl·lu...
(Edicions UIB, 2003) · 307 pàg. · 16 €

Bases metodològiques de la investigació
Ballester Brage, Lluís

(Edicions UIB, 2004) · 72 pàg. · 4 €



Análisis estadístico en psicopedagogía
Casero Martínez, Antonio

En aquest llibre s'inclouen els materials necessaris per abordar amb èxit l'anàlisi estadística de les dades provinents d'investigacions de l'àmbit psicopedagògic. Consta...
(Edicions UIB, 2018) · 236 pàg. · 18 €