Editore: Pearson
Autore: Carlucci Aiello Luigia, Pirri Fiora
Collana: Informatica
In commercio dal: 19 Gennaio 2018
Pagine: 336 p., Prodotto in piÃ¹ parti di diverso formato
EAN: 9788891907844

33,00 €

Quantità

Disp. in 4/5 gg lavorativi

In caso di disponibilità non immediata, i giorni indicati fanno riferimento

al tempo che si dovrà attendere prima che il prodotto venga spedito.

Descrizione

Il libro nasce dall'esperienza pluriennale di insegnamento da parte delle autrici nei corsi di Linguaggi e sistemi formali. Quasi tutti i capitoli sono stati testati durante lo svolgimento di vari corsi e raccolgono il feedback degli studenti. Molti degli esercizi proposti sono stati assegnati come esercizi d'esame. Il libro è di impianto teorico, non legato a tecnologie specifiche, destinate a diventare obsolete. Affronta tre argomenti principali: matematica discreta, logica, linguaggi formali e modelli di calcolo. In più contiene un'appendice con una veloce trattazione della calcolabilità e della complessità computazionale. Nell'edizione è compresa nel prezzo la piattaforma online MyLab, contenente la versione digitale del volume.