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
Palmer Pol, Alfonso Luis

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, 2020) · 220 pàg. · 15 €



Research in the field of teaching english as a foreign language
Salazar Noguera, Joana

En aquest volum es presenta un panorama general dels enfocaments de l'ensenyament de llengües estrangeres, així com algunes de les variables que han de tenir-se en compte en...
(Edicions UIB, 2012) · 160 pàg. · 12 €

Llibre d’exercicis de Treball Comunitari
Ballester Brage, Lluís; Pascual Barrio, Belén; Gomila Grau, Maria Antònia; Cortada Marín, Isabel

La pràctica del treball comunitari requereix rigor i sistematització, d'acord amb els fonaments teòrics i metodològics que guien la intervenció comunitària, i comptant a...
(Edicions UIB, 2020) · 82 pàg. · 10 €



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 €