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). Lobjectiu 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






PROBLEMAS RESUELTOS EN LENGUAJE C
De Martn Caro, Miguel ngel;Alonso balos, Jos Miguel;Gmez Adrin, Jon Ander;Molla Vaya, Ramn;Garca Garca, Inmaculada;Sebasti Tarn, Laura;Guerrero Lpez, David
(Universitat Politcnica de Valncia, 2005) 420 p. 25

Portada del llibre






AUDITORA DE LOS SISTEMAS DE INFORMACIN
Coltell Simn, scar;Bernal Montas, Rafael
(Universitat Politcnica de Valncia, 1999) 638 p. 50

Portada del llibre






ELABORACIN EFICIENTE DE DOCUMENTOS EMPLEANDO PROCESADORES DE TEXTO
Garca Granada, Fernando;Silva Galiana, Josep Francesc;Braquehais Acero, Vctor;Gil Gmez, Jos Antonio
(Universitat Politcnica de Valncia, 2008) 120 p. 13

MS CONSULTATS

Portada del llibre






digital: Etnografa para educadores
Celigueta Comerma, Gemma;Sol Blanch, Jordi
(Editorial UOC, S.L., 2016) 96 p. 5

Portada del llibre






25 anys treballant amb cura.
Varios autores
(Edicions de la Universitat de Lleida, 2011) 204 p. 25

Portada del llibre






METODOLOGA Y TECNOLOGA DE LA PROGRAMACIN
Snchez Palma, Pedro;Molina Marco, Antonio;Snchez Daz, Juan;Letelier Torres, Patricio
(Universitat Politcnica de Valncia, 1997) 276 p. 23

Portada del llibre






La Valncia d'El Flaco
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 180 p. 30

Portada del llibre






Anudar red
Varios autores
(Publicacions URV, 2017) 192 p. 16

Portada del llibre






Cuarenta aos y un da
(Publicacions de la Universitat de Valncia, 2017) 326 p. 25

Portada del llibre






El Instituto Mdico Valenciano (1898-1930)
Fresquet Febrer, Jos Luis
(Publicacions de la Universitat de Valncia, 2017) 550 p. 24

Portada del llibre






Ciencia poltica para periodistas
Rodrguez Castromil, Antn
(Editorial UOC, S.L., 2017) 214 p. 23

Portada del llibre






digital: La mirada sociolgica
Vallv Cid, Claudia
(Publicacions i Edicions de la Universitat de Barcelona, 2017) 0 p. 4

Portada del llibre






Xavier Amors o el temps recuperat
Nomen Xatruch, Antoni
(Publicacions URV, 2017) 142 p. 18