Rocha Cárdenas, Jairo

Teoria de la computació

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

Teoria de la computació
Rocha Cárdenas, Jairo

Introducció a l'estadística descriptiva
Alberich Martí, Ricardo; Mir Torres, Arnau

Aquest llibre és el resultat de cinc anys de docència, per part dels autors, en els estudis de Tècnic d'Empreses i Activitats Turístiques de la Universitat de les Illes Ba...
(Edicions UIB, 1996) · 106 pàg. · 7 €

Una aproximación a la economía del medio ambiente
Tirado Bennasar, Dolores; Aguiló Segura, Paula M.

(Edicions UIB, 2004) · 88 pàg. · 6 €

Con lentes de microeconomista
Aguiló Fuster, Josep Ignasi

A vegades al realitzar problemes numèrics o algebraics de teoria econòmica, es diu que s'està fent pràctica; res més lluny de la realitat, si és que per pràctica entene...
(Edicions UIB, 1997) · 173 pàg. · 10 €

ActivaR
Alberich Martí, Ricardo; Mir Torres, Arnau; Rosselló Llompart, Francesc

Este manual es un curso de introducción a R, uno en torno a programación multiplataforma libre muy popular y que cada día es más utilizado en empresas y universidades. El ...
(Edicions UIB, 2012) · 308 pàg. · 20 €