Portada del llibre






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 · rústica, butxaca · ISBN 978-84-8384-352-9 · 15 €

Comprar!
Comprar a Libelista


Portada del llibre






Desarrollo de grandes aplicaciones distribuidas sobre internet
Varios autores
(Publicacions Universitat Alacant, 2005) · 300 p. · 29 €

Portada del llibre






Sistemas electrónicos digitales
Varios autores
(Publicacions de la Universitat de València, 2002) · 516 p. · 29 €

Portada del llibre






Fundamentos de informática
Carbonell Soto, Lorenzo;Compañ Rosique, Patricia
(Publicacions Universitat Alacant, 1998) · 232 p. · 9 €

MÉS CONSULTATS


Portada del llibre






Historia de Afganistán. De los orígenes del Estado afgano a la caída del régimen talibán
Gomà Pinilla, Daniel
(Publicacions i Edicions de la Universitat de Barcelona, 2011) · 330 p. · 38 €

Portada del llibre






Gramàtica amaziga
Múrcia Sanchez, Carles
(Publicacions i Edicions de la Universitat de Barcelona, 2021) · 334 p. · 34 €

Portada del llibre






Els colors de la neu
Comellas Casanova, Pere;Junyent Figueras, M. Carme
(Eumo Editorial SAU, 2021) · 160 p. · 20 €

Portada del llibre






digital: Llengua i Estat
Tasa Fuster, Vicenta
(Publicacions de la Universitat de València, 2019) · 0 p. · 5 €

Portada del llibre






digital: El prodigi de les lletres: aproximació a l’obra de Mircea Cartarescu
Alexandrescu, Ioana;Montoliu Pauli, Xavier
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2021) · 160 p. · 5 €

Portada del llibre






Cuina, teatre i modernitat
Saumell i Olivella, Eva
(Publicacions URV, 2020) · 304 p. · 24 €