Portada del llibre






 [+]

Rocha, 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 de Mallorca: Edicions UIB, 2012 Materials didctics, 158 242 p. 17 x 24 cm rstica, butxaca ISBN 978-84-8384-222-5 15

Comprar!
Afegir al cistell de compra


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






Introduccin a la teora de la computabilidad
Gallardo Lpez, Domingo;Arques Corrales, Pilar;Lesta Pelayo, Ignacio
(Universitat d' Alacant (Publicacions), 2003) 238 p. 14

Portada del llibre






PROCESADORES DE LENGUAJES: UNA INTRODUCCIN A LA FASE DE ANLISIS
Bened Ruiz, Jos Miguel;Moreno Boronat, Lidia;Vivancos Rubio, Emilio;Gisbert Giner, Vicente
(Universitat Politcnica de Valncia, 2008) 250 p. 27

MS CONSULTATS

Portada del llibre






Gestin de la calidad
Griful Ponsati, Eullia;Canela Campos, Miguel ngel
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2005) 234 p. 23

Portada del llibre






Cavallers
Garca Mascarell, Purificaci
(Publicacions de la Universitat de Valncia, 2017) 80 p. 10

Portada del llibre






L'origen de les espcies
Darwin, Charles
(Publicacions de la Universitat de Valncia, 2017) 254 p. 15

Portada del llibre






Citrus
Ancillo Antn, Gema;Medina Snchez-Valladares, Alejandro
(Publicacions de la Universitat de Valncia, 2015) 152 p. 7

Portada del llibre






Lengua china para traductores
Casas Tost, Helena;Rovira Esteva, Sara;Surez Girard, Anne-Hlne
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2008) 406 p. 24

Portada del llibre






FUNDAMENTOS MATEMTICOS EN ARQUITECTURA
Bartoll Arnau, Salud;Gmez Collado, M Del Carmen;Bonet Solves, Jos
(Universitat Politcnica de Valncia, 2009) 302 p. 29

Portada del llibre






Estudio del lxico y bases de datos
Clavera, Gloria;Mancho, Mara Jess (eds.)
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2006) 156 p. 22

Portada del llibre






El medi natural del Solsons
Guix Coromines, David
(Publicacions i Edicions de la Universitat de Barcelona, 2008) 0 p. 50

Portada del llibre






La Huerta del Bajo Segura
Canales Martnez, Gregorio;De Gea Calatayud, Manuel;Diz Ardid, Emilio;Garca, Clara;Mateo Lozano, ngel
(Publicacions Institucionals UA, 2017) 2 p. 5

Portada del llibre






Las televisiones pblicas autonmicas del siglo XXI
Marzal Felici, Javier
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2015) 306 p. 20

Portada del llibre






digital: Caminos encontrados.
Varios autores
(Universitat Jaume I. Servei de Comunicaci i Publicacions, 2013) 408 p. 11

Portada del llibre






Los medios de comunicacin en la Sociedad en Red
Cardoso, Gustavo
(Editorial UOC, S.L., 2008) 576 p. 40