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, 2012 · Materials Didàctics, 158
242 p. · 17 x 24 cm · · ISBN 978-84-8384-222-5 · 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

Commenting on texts. Literature, history, the media
Pérez Rodríguez, Eva María; Prieto Arranz, José Igor

Aquest manual està dissenyat per ajudar els estudiants d'anglès en la pràctica de la interpretació crítica de textos. Està especialment dirigit a estudiants d'anglès en...
(Edicions UIB, 2006) · 321 pàg. · 13 €

Contexto y estructura de los servicios sociales
Caro Blanco, Fernanda; Mestre Miquel, Joana Maria; Guillén Palomares, Juana

El llibre «Contexto y estructura de los Servicios Sociales» forma part del temari referit a la matèria Serveis Socials dels estudis de grau en Treball Social. El Sistema P...
(Edicions UIB, 2013) · 258 pàg. · 15 €

Diseño y verificación de algoritmos
Perales López, Francisco J.

Normalment, a l'inici del curs, se subministra a l'alumnat una bibliografia relacionada amb l'assignatura a impartir. Sol ser una bibliografia bastant extensa i completa que c...
(Edicions UIB, 1998) · 145 pàg. · 6 €

Material curricular: l'argila
Vázquez Alonso, Ángel; Estella Escudero, Juana

Aquesta obra presenta un material curricular per a l'àrea de ciències basat en l'estudi de l'argila que, pres com a centre d'interès, serveix per dur l'aprenentatge per div...
(Edicions UIB, 1997) · 231 pàg. · 10 €