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






AUTOMATIZACIN DE PROCESOS INDUSTRIALES
Garca Moreno, Emilio
(Universitat Politcnica de Valncia, 1999) 396 p. 29

Portada del llibre






MATEMTICAS ASISTIDAS POR ORDENADOR
Snchez Prez, Enrique Alfonso;Prez Pealver, M Jos;Garca Raffi, Luis Miguel;Figueres Moreno, Miguel
(Universitat Politcnica de Valncia, 2001) 274 p. 23

Portada del llibre






RIESGO Y SEGURIDAD DE LOS SISTEMAS INFORMTICOS
Marcelo Cocho, Julian
(Universitat Politcnica de Valncia, 2003) 432 p. 34

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






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

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






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

Portada del llibre






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

Portada del llibre






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

Portada del llibre






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

Portada del llibre






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

Portada del llibre






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