Portada del llibre






 [+]

Rocha, Jairo
Teoria de la computació

El llibre cobreix les nocions típiques, com ara la indecidibilitat, els programes indeterministes, els problemes NP-complets, els autòmats finits, les expressions regulars, les gramàtiques incontextuals i els autòmats amb pila. Ara bé, aquest llibre no és un llibre típic, per tres motius: la sintaxi estructurada per a programes i autòmats amb pila (evitant les transicions entre estats de les màquines de Turing), l'aplicació d'un paradigma estructurat a l'indeterminisme dels programes (una introducció a la concurrència) i l'èmfasi en la verificació d'autòmats finits (amb una metodologia pràctica) i d'autòmats amb pila (com a introducció a la verificació de programes fent servir invariants). L’objectiu del llibre és crear als estudiants d'informàtica l'hàbit durador d'escriure programes que respectin escrupolosament les relacions entre els símbols usats.

Palma de Mallorca: Edicions UIB, 2012 · Materials didàctics, 158 · 242 p. · 17 x 24 cm · rústica, butxaca · ISBN 978-84-8384-222-5 · 15 €

Comprar!
Afegir al cistell de compra


Portada del llibre






Introducción a la teoría de la computabilidad
Gallardo López , D.;Arques Corrales, P.;Lesta Pelayo, I.
(Universitat d' Alacant (Publicacions), 2003) · 238 p. · 14 €

Portada del llibre






digital: Trabajar con sonido digital en un PC
Bresó Flores, Vicente;Ibáñez Oro, M. José
(Publicacions de la Universitat de València, 2011) · 190 p. · 6 €

Portada del llibre






Fundamentos analíticos de las redes de computadores
Gil Chica, F. J.
(Universitat d' Alacant (Publicacions), 1996) · 132 p. · 14 €

MÉS 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






El medi natural del Solsonès
Guixé Coromines, David
(Publicacions i Edicions de la Universitat de Barcelona, 2008) · 0 p. · 50 €

Portada del llibre






digital: Enemigos íntimos
Sánchez Padilla, Andrés
(Publicacions de la Universitat de València, 2016) · 0 p. · 8 €

Portada del llibre






Introducción a la programación
Abásolo Guerrero, María J.;Perales López, Francisco J.
(Edicions UIB, 2011) · 273 p. · 20 €

Portada del llibre






Estudio contrastivo gramatical de campo en español como lengua extranjera
Martí Contreras, Jorge
(Publicacions de la Universitat de València, 2016) · 255 p. · 18 €

Portada del llibre






Thomas Merton's Poetics of Self-Dissolution
Petisco Martínez, Sonia
(Publicacions de la Universitat de València, 2016) · 184 p. · 14 €

Portada del llibre






Investigación e innovación en educación superior
Varios autores
(Publicacions de la Universitat de València, 2016) · 320 p. · 18 €

Portada del llibre






En defensa del raonament
Trillas Ruiz, Enric
(Publicacions de la Universitat de València, 2015) · 166 p. · 10 €

Portada del llibre






digital: Émile Durkheim
Flaquer Vilardebó, Lluís
(Editorial UOC, S.L., 2015) · 124 p. · 9 €

Portada del llibre






La Universitat de Barcelona. Història dels ensenyaments (1450-2010)
Fullola Pericot, Josep M.;Gracia Alonso, Francesc;Casassas i Ymbert, Jordi
(Publicacions i Edicions de la Universitat de Barcelona, 2012) · 208 p. · 58 €

Portada del llibre






digital: Fundamentos de electrónica analógica
Camps Valls, Gustavo;Espí López, José;Muñoz Marí, Jordi
(Publicacions de la Universitat de València, 2011) · 402 p. · 9 €

Portada del llibre






Estadística aplicada a les Ciències Socials
Molina Vila, María Dolores;Mulero González, Julio;Nueda Roldan, María José;Pascual Romero, María Aurora
(Universitat d' Alacant (Publicacions), 2015) · 264 p. · 15 €