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






Ejercicios de informtica bsica
Gil Mndez, David;Mora Mora, Higinio;Gimeno Morenilla, Antonio;Snchez Romero, Jos Luis
(Publicacions Universitat Alacant, 2007) 236 p. 17

Portada del llibre






DISEO E IMPLEMENTACIN DE PROGRAMAS EN LENGUAJE C
Onaindia De La Rivaherrera, Eva;Garca Granada, Fernando;Alonso Jord, Pedro
(Universitat Politcnica de Valncia, 1998) 436 p. 39

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






digital: Creacin y lanzamiento de nuevos productos en la empresa
Rivera Vilas, Luis Miguel
(Universitat Politcnica de Valncia, 2016) 250 p. 9

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






La carpeta de l'oncle: correspondncia d'exili de Joan Roura-Parella
Diversos autors
(Universitat de Girona. Servei de Publicacions, 2012) 292 p. 15

Portada del llibre






Joan Fuster, vicis de la lectura
Varios autores
(Publicacions de la Universitat de Valncia, 2005) 226 p. 12

Portada del llibre






UN FUTURO PARA EL PASADO. UN DIAGNSTICO PARA LA CIUTAT VELLA DE VALNCIA
Gaja Daz, Fernando
(Universitat Politcnica de Valncia, 2010) 352 p. 15

Portada del llibre






Botnica farmacutica. Ensenyament de farmcia (Prctiques)
Bened i Gonzlez, Carles;Barcel Mart, M. Carme
(Publicacions i Edicions de la Universitat de Barcelona, 2008) 0 p. 8