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

Estadística aplicada con R
Palmer Pol, Alfonso Luis

En aquesta obra s'aborda, des d'un punt de vista purament pràctic, l'anàlisi de les dades obtingudes en un disseny factorial entre grups, en l'esquema bàsic del disseny amb...
(Edicions UIB, 2013) · 156 pàg. · 12 €



Introducción a la programación
Abásolo Guerrero, María J.; Perales López, Francisco J.

Aquest material didàctic de la Universitat de les Illes Balears exposa un mètode de disseny d'algoritmes i programes que inclou des del disseny de l'algoritme fins a l'obten...
(Edicions UIB, 2011) · 273 pàg. · 20 €

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 €



Quelques lectures pour le français du tourisme
Vicens Pujol, Carlota; Figuerola Cabrol, Carme; Oliver Adrover, Maria Catalina; Medina Arjona, Encarnación

Aquesta obra vol posar a disposició dels estudiants un material complementari a les assignatures de francès que s'imparteixen en els estudis de turisme.
(Edicions UIB, 2014) · 94 pàg. · 7 €