Questo testo raccoglie, raggruppati per argomento, una serie di esercizi assegnati nei temi d'esame dei corsi di Informatica 1, Informatica A e Fondamenti di Informatica al Politecnico di Milano, per i corsi di laurea in Ingegneria Informatica, Ingegneria dell'Automazione e Ingegneria Matematica.
Il testo si rivolge principalmente agli studenti dei corsi erogati per la Laurea di Primo Livello (nelle discipline dell'Ingegneria dell'Informazione). Più in generale, però, crediamo che questo testo costituisca un pratico e rapido riferimento per chi, studiando la materia, voglia vedere esempi compatti di codice che risolvono problemi relativamente semplici, ma rappresentativi delle tipiche difficoltà che si presentano nella gestione di tutte le strutture dati più classiche. Il testo include anche una breve sezione dedicata alle basi di dati relazionali e al linguaggio SQL, argomento trattato o accennato in molti corsi di informatica di base.
Per quanto riguarda le soluzioni proposte, è importante sottolineare che il progetto di una soluzione, per quanto a problemi molto semplici come quelli trattati in questo volume, non produce comunque mai risultati univoci, poiché risente inevitabilmente degli stili e delle preferenze dei singoli. Gli autori dichiarano pertanto sin d'ora che soluzioni presentate sono influenzate dal loro stile. Non sono certo le uniche soluzioni corrette, dunque; anzi, in vari casi tra i commenti alle soluzioni proposte sono discusse alcune soluzioni alternative, e a volte sono riportati alcuni errori comuni. In particolare, poi, si è cercato di mostrare soluzioni ricorsive a tutti i problemi per i quali questo potesse essere fatto in modo compatto e conciso, per contribuire a convincere gli studenti che la ricorsione è un paradigma di computazione generale, e non semplicemente una modalità di scansione di alcune particolari strutture dati.
Per semplicità di consultazione, in tutto il volume i testi degli esercizi, riportati così come comparivano nei temi d'esame assegnati, sono racchiusi all'interno di riquadri. Le nostre soluzioni, invece, sono liberamente impaginate tra tali riquadri.
Ringraziamo Davide Barbieri, Francesco Bruschi, Alessandro Campi, Carlo Alberto Furia e Gerardo Pelosi per i consigli, le idee e i suggerimenti trasferitici nel tempo in cui questo materiale è andato accumulandosi.
DANIELE BRAGA è Ricercatore al Politecnico di Milano presso la Facoltà di Ingegneria dell’Informazione, dove ha ottenuto nel 2005 il Dottorato di Ricerca studiando i linguaggi di interrogazione e manipolazione di dati semi-strutturati. Il lavoro più cospicuo in questo ambito è stato la specifica e l’implementazione di un linguaggio grafico per interrogare tali dati. Altri temi di ricerca riguardano l’integrazione di servizi Web e motori di ricerca basata su tecniche sintattiche e semantiche, la minimizzazione automatica di vincoli, l’elaborazione di stream di dati semantici, e la modellazione concettuale di applicazioni Web. È stato titolare dei corsi di Informatica I per il corso di laurea in Ingegneria dell’Automazione e Progetto di Basi di Dati per quello in Ingegneria Informatica. Ha svolto e svolge seminari didattici nell’ambito di altri corsi, anche presso altri atenei (Basi di Dati 1 e 2, Informatica II, Ingegneria del Software, Sistemi Operativi). Attualmente è titolare del corso di Fondamenti di Informatica.
DAVIDE MARTINENGHI è Ricercatore al Politecnico di Milano presso la Facoltà di Ingegneria dell’Informazione. Ha conseguito un dottorato di ricerca presso la Roskilde University (Danimarca) nel 2005 con una tesi sul controllo di consistenza nelle basi di dati deduttive. I suoi interessi di ricerca riguardano principalmente le problematiche legate ai dati, tra cui l’integrità, l’ottimizzazione delle interrogazioni, la rappresentazione e l’accesso tramite Web. E’ inoltre interessato alle tematiche riguardanti la ricerca di informazioni su Internet e la loro integrazione. E’ titolare dei corsi di Informatica Applicata e Basi di Dati 2 presso il Politecnico di Milano e del corso di Computational Logic per il Master in Computational Logic della Libera Università di Bolzano. Ha svolto e svolge seminari didattici nell’ambito di vari corsi, tra cui Fondamenti di Informatica, Informatica A, Informatica B, Informatica 3, Impianti di Elaborazione e Technologies for Information Systems.
