il ventesimo secolo e` stato segnato dall`epifania di una rinnovata e recrudescente decadenza riguardante i modelli sociali, ecologici e tecnologici, rivelatisi fallimentari panacee dell`assurdita` umana. questo senso opprimente di disagio e devastazione si riflette lungo una duplice articolazione all`interno del volume: apocalisse e post-apocalisse. nel primo caso, la ricorrenza di modelli e paradigmi apocalittici, per lo piu` di stampo religioso, rintracciabile all`interno di una serie di testi, romanzi e racconti, di autori appartenenti alla tradizione italiana e afro-americana. calvino, buzzati, landolfi, moravia ed ellison declinano, nelle loro opere, la fine del mondo attraverso visioni e pronunce stilistiche autonome e sorprendenti. il crinale sottile su cui si muovono si distende tra le macerie del mondo perduto e le rovine stilistiche, in qualche modo quell`apocalisse della narrazione additata da benjamin, sommandosi l`angoscia della fine a quella dello stile. nel secondo, l`indagine si sposta sull`interpretazione di storie che prendono l`abbrivio da una evento catastrofico gia` verificatosi e le cui conseguenze vanno valutate alla luce di cio` che e` sopravvissuto: i resti, le rimanenze di un mondo improvvisamente sparito. vonnegut, lessing, mccarthy, morselli si aggirano tra le rovine di una civilta` autoimplosa, rivelandone segni inquietanti, ma anche esiti inaspettati.
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.