Rocha Cárdenas, 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: Edicions UIB, 2012 · Materials Didàctics, 158
242 p. · 17 x 24 cm · · ISBN 978-84-8384-222-5 · 15 €
Matèria: Computació i tecnologia de la informació : Matemàtiques per a informàtics

Comprar a Libelista

Relacionats

Teoria de la computació
Rocha Cárdenas, Jairo

Análisis estadístico en psicopedagogía
Casero Martínez, Antonio

En aquest llibre s'inclouen els materials necessaris per abordar amb èxit l'anàlisi estadística de les dades provinents d'investigacions de l'àmbit psicopedagògic. Consta...
(Edicions UIB, 2006) · 236 pàg. · 18 €

Estadística aplicada con R
Alfonso Luis, Palmer Pol

L’objectiu d’aquest llibre és permetre que sigui el lector qui realitzi tots els càlculs necessaris per a donar resposta a totes i cadascuna de les preguntes...
(Edicions UIB, 2019) · 110 pàg. · 10 €

Lecciones de derecho civil balear
Coca Payeras, Miquel; Munar Bernat, Pedro A.; Llodrà Grimalt, Francisca; Montserrat Quintana, Antoni; Canals Prats, Damià Antoni; Cardona Guash, Olga

Fa ara dos anys presentava «Lecciones de Derecho Civil Balear», que tenia com a finalitat proporcionar als alumnes de cinquè curs de la Facultat de Dret de la UIB per a l'e...
(Edicions UIB, 2003) · 489 pàg. · 21 €

Lecciones de derecho procesal
Tapia Fernández, Isabel

L'autora ofereix als estudiants una guia sistemàtica i clara de les nocions fonamentals de Dret processal de primer curs. És una obra escrita pensant en els alumnes i dirigi...
(Edicions UIB, 2000) · 132 pàg. · 8 €