i temi presentati in questo testo costituiscono una parte essenziale della preparazione di uno specialista informatico. la loro trattazione si puo` svolgere in un unico corso, o anche in piu` corsi universitari di informatica, ingegneria informatica o matematica, nell`ambito sia della laurea triennale che della laurea magistrale. oltre che per gli specialisti, la conoscenza dei principi teorici dell`informatica assume anche un ruolo importante nella preparazione culturale degli insegnanti di discipline informatiche nell`ambito della scuola media superiore. in ogni caso, la conoscenza delle proprieta` di grammatiche ed automi, dei limiti del calcolo automatico, della complessita` computazionale e del problema "da un milione di dollari" p = np? ha assunto un ruolo importante anche nella cultura scientifica contemporanea, e puo` risultare interessante per chi voglia approfondire alcuni dei temi che hanno caratterizzato la logica e la matematica dell`ultimo secolo. il volume contiene anche esercizi, note storiche e bibliografiche che consentono di comprendere meglio i concetti introdotti e rinviano ad altre letture di approfondimento. questa nuova edizione, ampliata, riveduta e corretta, presenta un capitolo aggiuntivo dedicato agli algoritmi di risoluzione approssimata di problemi di ottimizzazione; inoltre, sono state aggiunge delle sezioni dedicate alle applicazioni pratiche degli argomenti trattati.