Libri di Giorgio Gambosi

I temi presentati in questo testo costituiscono una parte essenziale della preparazione di uno specialista informatico. La loro trattazione si può svolgere in un unico corso, o anche in più 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 proprietà di grammatiche ed automi, dei limiti del calcolo automatico, della complessità computazionale e del problema "da un milione di dollari" P = NP? ha assunto un ruolo importante anche nella cultura scientifica contemporanea, e può 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.

Semplicità e chiarezza nella presentazione e nell'approfondimento si uniscono, in questo libro, al rigore scientifico degli argomenti. La trattazione copre i contenuti classici dei corsi introduttivi di algoritmi e strutture dati offerti nei corsi di laurea triennali e, per motivarne lo studio in stretta connessione con la programmazione nella pratica, l'approccio scelto è applicativo, rivolto alla soluzione di problemi concreti, ispirati agli "argomenti caldi" della tecnologia dell'informazione: computer graphic, data mining, information retrieval, instradamento Internet, kernel di Linux, P2P, Web searching, XML e molto altro ancora. Il libro descrive gli algoritmi utilizzando uno pseudocodice molto vicino al codice reale, ed è integrato con il sistema di visualizzazione denominato ALVIE (Aigorithm Visualization Environment) che consente di esplorare il comportamento delle strutture di dati e degli algoritmi attraverso esempi personalizzabili.