TEORIA DE LA COMPUTACIÓ

TEORIA DE LA COMPUTACIÓ

ROCHA CÁRDENAS, JAIRO

15,00 €
IVA incluido
Disponible sota comanda
Editorial:
EDICIONS UIB. UNIVERSITAT DE LES ILLES BALEARS
Año de edición:
2017
Materia
Informàtica
ISBN:
978-84-8384-352-9
Páginas:
248
Encuadernación:
Bolsillo
15,00 €
IVA incluido
Disponible sota comanda

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.

Artículos relacionados

  • FELICITAT DIGITAL
    DINARÈS, MARIOLA
    Una proposta optimista i fins i tot apassionada d’aquest món cada vegada més digital sense deixar de banda els riscos. #FelicitatDigital és un mètode efectiu per reduir l’angoixa generada pel desconeixement. Amb un llenguatge planer, divulgatiu, personal i íntim, Mariola Dinarès comparteix tot el que ha après dels experts i expertes a qui ha entrevistat al Popap de Catalunya Rà...
    Disponibilitat inmediata

    21,80 €

  • TOT EL QUE HEU DE SABER SOBRE INTERNET ABANS QUE E
    GRAU GÜELL, FRANCESC
    Reviseu de manera periòdica els contactes i les converses dels vostres fills al mòbil? Parleu amb ells sobre què miren a la tauleta? Heu pactat uns límits d'ús d'Internet ?d'horaris, d'accés a llocs web o apps?? Sigui quina sigui la resposta, segurament penseu que ho podeu fer millor. I aquest llibre us hi ajudarà. Està escrit per un pare que vol compartir amb altres pares i m...
    Disponibilitat inmediata

    13,00 €

  • EXIT A LES XARXES
    MASSAGUER, ROC
    Disponibilitat inmediata

    21,80 €

  • METAVERSO
    EDGAR MARTIN-BLAS MÉNDEZ
    BIENVENIDOS A UN VIAJE MÁS ALLÁ DE LA REALIDAD, BIENVENIDOS AL METAVERSO El metaverso es el nuevo Internet tridimensional que va a cambiarlo todo en el consumo digital. Una nueva dimensión hará que vivamos experiencias increíbles en lugares de ensueño nunca antes explorados. En ella sentiremos presencia, realizaremos actividades casi físicas y nacerán nuevos negocios y sectores...
    Disponible sota comanda

    19,95 €

  • CIBERSEGURIDAD PARA DIRECTIVOS
    VÍCTOR EDUARDO DEUTSCH FRANCO
    En un mundo dominado por los datos, la ciberseguridad o seguridad de la información es un factor clave y una de las grandes preocupaciones de los directivos de compañías que tienen el reto de convertir su digitalización en una ventaja competitiva. Los ciberataques a organizaciones de todo tipo han aumentado exponencialmente. Todos los días leemos noticias de empresas y entidad...
    Disponible sota comanda

    21,95 €

  • NFT
    GRANADOS, ÁLEX
    ¿Qué es un NFT? ¿Para qué sirve? ¿Van a cambiar realmente nuestro futuro?Álex Granados, uno de los grandes expertos en la materia, comparte toda su experiencia en este libro en el que se dan las claves para comprender en qué consisten los Non-Fungible Token, su ecosistema, las aplicaciones que tienen —económicas, culturales y sociales— y el desarrollo de estos activos digitales...
    Disponible sota comanda

    16,90 €