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
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

Análisis de datos en diseños experimentales
Palmer Pol, Alfonso Luis

Aquest document fa una incursió a l'anàlisi de les dades dels dissenys factorials més comuns en la pràctica, com són els dissenys Entre, els dissenys de Bloqueig, els dis...
(Edicions UIB, 2014) · 518 pàg. · 30 €



Estadística aplicada con R
Palmer Pol, Alfonso L.

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 de bloqueig, específica...
(Edicions UIB, 2013) · 120 pàg. · 12 €

Introducción al derecho del trabajo
Monreal Bringsvaerd, Erik

El Dret del Treball neix com a resposta jurídica a les profundes transformacions socials i econòmiques associades a la industrialització i a l'anomenada qüestió social. A...
(Edicions UIB, 2017) · 142 pàg. · 12 €



Conceptos preliminares para el estudio de la teoría del conocimiento
Jaume Rodríguez, Andrés Luis

L’objecte d’aquest breu manual és dotar els alumnes de Filosofia d’una sèrie de conceptes bàsics i preliminars per a l’estudi de la Teoria d...
(Edicions UIB, 2016) · 98 pàg. · 10 €