Portada del llibre






 [+]

Rocha Crdenas, Jairo
Teoria de la computaci

El llibre cobreix les nocions tpiques, com ara la indecidibilitat, els programes indeterministes, els problemes NP-complets, els autmats finits, les expressions regulars, les gramtiques incontextuals i els autmats amb pila. Ara b, aquest llibre no s un llibre tpic, per tres motius: la sintaxi estructurada per a programes i autmats amb pila (evitant les transicions entre estats de les mquines de Turing), l'aplicaci d'un paradigma estructurat a l'indeterminisme dels programes (una introducci a la concurrncia) i l'mfasi en la verificaci d'autmats finits (amb una metodologia prctica) i d'autmats amb pila (com a introducci a la verificaci de programes fent servir invariants). L'objectiu del llibre s crear als estudiants d'informtica l'hbit durador d'escriure programes que respectin escrupolosament les relacions entre els smbols usats.

Palma: Edicions UIB, 2017 Materials didctics, 158 248 p. 17 x 24 cm rstica, butxaca ISBN 978-84-8384-352-9 15

Comprar!
Comprar a Libelista


Portada del llibre






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

Portada del llibre






Programaci I.
Alsinet Bernad, Teresa;Argelich Roma, Josep;Vila Almenara, Sergi
(Edicions de la Universitat de Lleida, 2017) 166 p. 18

Portada del llibre






Fundamentos de electrnica analgica
Camps Valls, Gustavo;Esp Lpez, Jos;Muoz Mar, Jordi
(Publicacions de la Universitat de Valncia, 2006) 402 p. 20

MS CONSULTATS

Portada del llibre






digital: Interuniversity Style Guide for Writing Institutional Texts in English
Varios autores
(Publicacions URV, 2017) 142 p. 3

Portada del llibre






Formacin del profesorado. Tradicin. Teora. Prctica
Varios autores
(Publicacions de la Universitat de Valncia, 1990) 304 p. 20

Portada del llibre






Termodinmica qumica
Movilla Rosell, Jos Luis;Rajadell Viciano, Fernando
(Universitat Jaume I. Servei de Comunicaci i Publicacions, 2005) 336 p. 15

Portada del llibre






Les teories de la recepci literria
Guzman Pitarch, J. Roderic
(Publicacions de la Universitat de Valncia, 1995) 130 p. 9

Portada del llibre






INGENIERIA DEL MEDIO RURAL: CONSTRUCCIN
Turegano Pastor, Jos Vicente
(Universitat Politcnica de Valncia, 2009) 242 p. 26

Portada del llibre






Blaquerna. Edici facsmil
Llull, Ramon
(Publicacions i Edicions de la Universitat de Barcelona, 2016) 320 p. 38

Portada del llibre






Infraestructuras hidrulico-sanitarias I. Abastecimiento y distribucin de agua
Trapote Jaume, Arturo
(Universitat d' Alacant (Publicacions), 2011) 268 p. 21

Portada del llibre






digital: Padres y madres en serie
Visa Barbosa, Mariona
(Editorial UOC, S.L., 2016) 246 p. 8

Portada del llibre






Investigacin en enfermera: teora y prctica
Varios autores
(Publicacions URV, 2017) 265 p. 20

Portada del llibre






El ltimo vuelo y otras piezas (2003 - 2008)
Montalbn Kroebel, Pedro
(Publicacions de la Universitat de Valncia, 2008) 160 p. 12