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
Aquest material didà ctic va dirigit, principalment, als alumnes d'Història del Dret de la Universitat de les Illes Balears. A la primera part s'estudia l'evolució general i...
(Edicions UIB, 2014) · 216 pàg. · 15 €
El volum «Habilitats lingüÃstiques. Una introducció» ha estat creat amb la intenció de proveir l’alumnat d’un material docent útil per a iniciar l’estudi sobre el...
(Edicions UIB, 2019) · 130 pàg. · 12 €
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 €
La topografia i els replantejaments aplicats al món de la construcció són una de les parts més importants dins l'execució d'una obra, tant en obra civil com en edificaciÃ...
(Edicions UIB, 2014) · 376 pàg. · 22 €
Xarxa Vives d'Universitats
e-buc@vives.org
+34 964 72 89 93
Universitat Abat Oliba CEU • Universitat d'Alacant • Universitat d'Andorra • Universitat Autònoma de Barcelona • Universitat de Barcelona • Universitat CEU Cardenal Herrera • Universitat de Girona • Universitat de les Illes Balears • Universitat Internacional de Catalunya • Universitat Jaume I • Universitat de Lleida • Universitat Miguel Hernández d'Elx • Universitat Oberta de Catalunya • Universitat de Perpinyà Via Domitia • Universitat Politècnica de Catalunya • Universitat Politècnica de València • Universitat Pompeu Fabra • Universitat Ramon Llull • Universitat Rovira i Virgili • Universitat de Sàsser • Universitat de València • Universitat de Vic - Universitat Central de Catalunya
