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). 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: Edicions UIB, 2017 Materials didctics, 158 248 p. 17 x 24 cm rstica, butxaca ISBN 978-84-8384-352-9 15

Comprar!
Afegir al cistell de compra


Portada del llibre






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

Portada del llibre






digital: Fundamentos de electrnica analgica
Camps Valls, Gustavo;Esp Lpez, Jos;Muoz Mar, Jordi
(Publicacions de la Universitat de Valncia, 2011) 402 p. 9

Portada del llibre






INTRODUCCIN A LOS COMPUTADORES
Molero Prieto, Xavier;Rodrguez Ballester, Francisco;Ors Carot, Rafael;Sahuquillo Borrs, Julio;Lemus Ziga, Lenin Guillermo;Hassan Mohamed, Houcine
(Universitat Politcnica de Valncia, 1997) 464 p. 39

MS CONSULTATS

Portada del llibre






digital: El libro impreso y el libro digital
Cavaliere, Alessandro
(Universitat d' Alacant (Publicacions), 2010) 1 p. 5

Portada del llibre






Descobrint el cervell
Rial Garca, Antonio
(Publicacions de la Universitat de Valncia, 2015) 160 p. 19

Portada del llibre






Noche sobre Amrica
Prez Ochando, Luis
(Publicacions de la Universitat de Valncia, 2017) 460 p. 20

Portada del llibre






Claves del derecho de redes empresariales
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 708 p. 28

Portada del llibre






Contabilidad financiera superior y de sociedades
Pomar Castellano, Carlos Jos;Mulet Forteza, Carlos
(Edicions UIB, 2016) 278 p. 18

Portada del llibre






Abriendo veredas
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 164 p. 12

Portada del llibre






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

Portada del llibre






Escoles, pobles i famlies.
Samper Rasero, Llus;Burrial Sancho, Xavier;Sala, Teresa
(Edicions de la Universitat de Lleida, 2017) 156 p. 15

Portada del llibre






Los crditos de los trabajadores en el concurso de acreedores
Talns Visconti, Edurardo Enrique
(Publicacions de la Universitat de Valncia, 2017) 234 p. 19

Portada del llibre






digital: Desenvolupament del microprocessador LittleProc: des de la primera porta lgica fins a una plataforma reconfigurable
Saiz, Joaquim;Portero, Antoni;Aragons, Ral
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2015) 0 p. 7

Portada del llibre






El tercer sector en Espaa y en Europa
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 274 p. 18

Portada del llibre






digital: Learning Analytics
Amo Filva, Daniel;Santiago Campin, Ral
(Editorial UOC, S.L., 2017) 216 p. 23