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






TRATAMIENTO Y ANLISIS DE DATOS CON HOJAS DE CLCULO DESDE UN ENFOQUE PRCTICO
Garca Granada, Fernando;Silva Galiana, Josep Francesc;Braquehais Acero, Vctor;Gil Gmez, Jos Antonio
(Universitat Politcnica de Valncia, 2008) 122 p. 13

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






Fundamentos analticos de las redes de computadores
Gil Chica, Francisco Javier
(Publicacions Universitat Alacant, 1996) 132 p. 14

MS CONSULTATS

Portada del llibre






Promocionando el bienestar.
Botella Arbona, Cristina;y otros
(Universitat Jaume I. Servei de Comunicaci i Publicacions, 2010) 219 p. 15

Portada del llibre






La teora platnica de las Ideas en Bizancio (siglos IX-XI)
Campo Echevarra, Alberto del
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2012) 422 p. 35

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






Lmits i identitat tnica: una recerca a Fraga (Osca).
Previtera, Silvio
(Edicions de la Universitat de Lleida, 2008) 136 p. 12

Portada del llibre






Coeducar i prevenir la violncia de gnere en educaci secundria obligatria
Salv Mut, Francesca;Rossell Ramon, M. Rosa;Quintana Murci, Elena
(Edicions UIB, 2018) 154 p. 18

Portada del llibre






Les dones i les professions sanitries al llarg de la histria
Jimnez Sureda, Montserrat
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2017) 132 p. 12