L'objectiu bàsic d'aquest llibre és argumentar els elements de judici dels programadors i afinar llur intuïció a fi i efecte que puguin produir programes més correctes, per mitjà de l'entrenament en la programació i verificació de mecanismes de computació senzills, com ara els autòmats finits i amb pila, i els programes en un llenguatge de programació molt simple, però suficients per simular qualsevol altre llenguatge. Aquest llibre cobreix les nocions bàsiques de la teoria d'autòmats i llenguatges formals, com ara els autòmats finits, les expressions regulars, les gramàtiques incontextuals, els autòmats amb pila, els programes deterministes i indeterministes i la indecidibilitat. Els temes i el nivell són similars als d'altres llibres orientats a introduir aquestes matèries en una assignatura d'enginyeria informàtica. Ara bé, aquest llibre no és un llibre típic d'autòmats i llenguatges formals per tres motius: l'èmfasi en verificació, la sintaxi estructurada per a programes i autòmats amb pila i l'aplicació del paradigma indeterminista als programes.
Palma: Edicions UIB, 2005 · Materials Didàctics, 115
310 p. · 17 x 24 cm · · ISBN 978-84-7632-942-9 · 15 €
Matèria: Matemàtiques i ciències : Matemàtiques
L'òptica geomètrica és suficient per comprendre fenòmens i dispositius òptics interessants. A tall d'exemple, la reflexió i la refracció de la llum en una esfera permet...
(Edicions UIB, 2012) · 211 pàg. · 15 €
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) · 112 pàg. · 10 €
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) · 102 pàg. · 8 €
Aquest material didàctic està adreçat principalment als alumnes de segon curs del grau en Administració i Direcció d'Empreses i del grau d'Economia. L'alumne hi trobarà ...
(Edicions UIB, 2012) · 195 pàg. · 12 €
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