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






ESTRUCTURA DE COMPUTADORS. VOLUM 1. UN RECORREGUT PER LA UNITAT CENTRAL DE PROCESSAMENT
Gil Salinas, Jos Antonio;Pont Sanjuan, Ana;Robles Martnez, Antonio;Pealver Herrero, Lourdes
(Universitat Politcnica de Valncia, 1998) 328 p. 16

Portada del llibre






EXERCICIS I PRCTIQUES DE XARXES DE COMPUTADORS
Nachiondo Farins, Teresa;Santonja Gisbert, Vicente;Snchez Lpez, Miguel;Baydal Cardona, Mara Elvira;Silla Jimnez, Federico;Bonastre Pina, Alberto
(Universitat Politcnica de Valncia, 2006) 256 p. 27

Portada del llibre






MANUAL PRCTIC DE PROGRAMACI DE LA FAMLIA DE MICROCONTROLADORS INTEL-MCS51
Cuesta Frau, David
(Universitat Politcnica de Valncia, 2004) 238 p. 21

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






Psicodiagnstico clnico infantil
Vives Gomila, Maria
(Publicacions i Edicions de la Universitat de Barcelona, 2008) 0 p. 17

Portada del llibre






Vetus textrinum. Textiles in the ancient world
Varios autores
(Publicacions i Edicions de la Universitat de Barcelona, 2018) 282 p. 36

Portada del llibre






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

Portada del llibre






Iniciacin a la probabilidad y la estadstica
Delgado, Rosario
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2004) 312 p. 22

Portada del llibre






La articulacin del Estado en Amrica Latina
Varios autores
(Publicacions i Edicions de la Universitat de Barcelona, 2013) 266 p. 26

Portada del llibre






digital: Introducci a la topologia (2 ed.)
Mascar Bonnin, Francisca;Monterde Garca-Pozuelo, Juan Luis;Nuo Ballesteros, Juan Jos;Sivera Villanueva, Rafael
(Publicacions de la Universitat de Valncia, 2013) 216 p. 7

Portada del llibre






Introducci histrica a l’Antropologia (I).Textos antropolgics dels clssics greco-romans
Llinares Chover, Joan Baptista
(Publicacions de la Universitat de Valncia, 1995) 316 p. 16

Portada del llibre






digital: La pilota valenciana
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 0 p. 11

Portada del llibre






Joan Brossa / Nicanor Parra
Varios autores
(Publicacions de la Universitat de Valncia, 1992) 80 p. 9