I temi trattati 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 specialistica.
[...]
L'organizzazione del volume consente vari percorsi di lettura. I capitoli 1-5 possono essere di riferimento per un modulo dedicato allo studio delle proprietà sintattiche dei linguaggi di programmazione; i capitoli 5, 6, 7 sono la base di un corso di teoria della calcolabilità, che può essere svolto in un primo modulo sui fondamenti teorici dell'informatica. Infine, i capitoli 5, 8, 9 possono costituire un percorso dedicato allo studio della complessità nell'ambito di un modulo avanzato di algoritmica o di un secondo modulo sui fondamenti teorici dell'informatica.
Oltre che per gli specialisti di informatica o di ingegneria informatica, 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? hanno assunto un ruolo importante anche nella cultura scientifica contemporanea e possono risultare interessanti per chi voglia approfondire alcuni dei temi che hanno caratterizzato la logica e la matematica degli ultimi cinquanta anni.
II volume contiene anche esercizi e note storiche e bibliografiche che consentono di comprendere meglio i concetti introdotti e rinviano ad altre letture di approfondimento.
La richiesta consente di riservare volumi che risultino disponibili per il prestito.
Se l’utente li vuole ritirare il giorno stesso, dovrà attendere che vengano recuperati da deposito; altrimenti i documenti richiesti saranno preparati presso il banco prestiti a partire dal mattino successivo. I volumi rimarranno riservati a nome del richiedente per tre giorni, trascorsi i quali torneranno disponibili per gli altri utenti.
Docenti e ricercatori che desiderino ricevere i volumi con consegna "sulla scrivania" sono pregati di indicare l'indirizzo di recapito nel campo note che appare in fase di conferma della richiesta (in caso di utilizzo del catalogo tradizionale comunicarlo via email alla Biblioteca: biblioteca.beg@unibs.it).
Le richieste di prestito inviate da utenti esterni si intendono per la sola consultazione in sede.