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

Selected passages for reading comprehension and grammar practice
López Rúa, Paula

Aquest llibre ha estat concebut per ajudar els estudiants d'anglès de nivell intermedi i avançat a desenvolupar la seva comprensió lectora i el seu coneixement gramatical d...
(Edicions UIB, 2005) · 199 pàg. · 9 €



Matemàtica discreta
García Amengual, Carles

El llibre reuneix una sèrie de capítols agrupats en dos blocs fonamentals: les relacions i els grafs, acompanyats d’una breu introducció al raonament i a l’...
(Edicions UIB, 2005) · 227 pàg. · 9 €

El impuesto sobre beneficios y la aplicación del resultado en la contabilidad de las sociedades
Jover Arbona, Gabriel; Mauleón Méndez, Emilio

Aquesta obra estudia el tancament comptable dels exercicis de les societats i l'elaboració dels Comptes Anuals. Estam davant un material que el bon professional de la comptab...
(Edicions UIB, 2004) · 248 pàg. · 12 €



Automatització industrial
Burguera Burguera, Antoni

Aquest llibre proposa un conjunt de problemes de disseny i implementació de controladors lògics, fent especial èmfasi en els autòmats programables industrials o PLC. Tots ...
(Edicions UIB, 2016) · 274 pàg. · 18 €