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.
Autore:
carlucci aiello pirri
Editore:
pearson education varia
ISBN:
9788891907844
Numero di tomi:
1
Numero di pagine:
318
Anno di pubblicazione: 2018