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






Fundamentos y electrnica de las comunicaciones
Varios autores
(Publicacions de la Universitat de Valncia, 2004) 204 p. 11

Portada del llibre






PRCTICAS DE SIG CON ArcGIS
Navarro Jover, Jos Manuel;Collado Latorre, Julin Carlos
(Universitat Politcnica de Valncia, 2009) 214 p. 26

Portada del llibre






PROGRAMACIN EN SISTEMAS DE INFORMACIN GEOGRFICA. ArcObjects y VBA en ArcGIS Desktop
Palomar Vzquez, Jess
(Universitat Politcnica de Valncia, 2008) 220 p. 23

MS CONSULTATS

Portada del llibre






Estadstica aplicada a les Cincies Socials
Molina Vila, Mara Dolores;Mulero Gonzlez, Julio;Nueda Roldan, Mara Jos;Pascual Romero, Mara Aurora
(Publicacions Universitat Alacant, 2015) 264 p. 15

Portada del llibre






Curso de fsica estadstica
Ortn Rull, Jordi;Sancho Herrero, Jos M.
(Publicacions i Edicions de la Universitat de Barcelona, 2006) 0 p. 20

Portada del llibre






digital: The merchant vessel. A sociologycal analysis
Rodrguez-Martos, Ricard
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2010) 0 p. 11

Portada del llibre






La herencia de la memoria y sus representaciones
Varios autores
(Publicacions de la Universitat de Valncia, 2019) 150 p. 10

Portada del llibre






Sol cap a la fosca
Cabrera Villalonga, Carles
(Edicions UIB, 2018) 184 p. 14

Portada del llibre






Valencia indita
Garca-Wistdt, Ingrid;Gutirrez Koester, Isabel;Raposo Fernndez, Berta
(Publicacions de la Universitat de Valncia, 2019) 210 p. 15