Algoritmi e Strutture Dati modulo 3
Laurea in Informatica per il Management, Università di Bologna, AA 2019/2020
Salta alle modalità d'esame
Questa è la pagina del corso di
Algoritmi e Strutture Dati modulo 3,
corso di laurea in Informatica
per il Management, AA
2019/2020, Università di Bologna.
Programma del modulo 3:
- Minimum Spanning Trees su Grafi
- Cammini minimi su grafi
- Fondamenti teorici della calcolabilità: macchine di Turing, asserzioni e invarianti
Testo adottato
Dispensa di esercizi svolti
-
Moreno Marzolla, Esercizi di Algoritmi e Strutture
Dati
[odt]
[PDF]
Questa dispensa contiene esercizi (con soluzione) relativi agli
argomenti svolti nei due moduli del corso. Per la maggior parte Si
tratta di esercizi tratti da vecchie prove d'esame. La dispensa
è soggetta a revisioni frequenti, per cui si prega di fare
sempre riferimento alla versione più recente.
La dispensa Esercizi di Algoritmi e Strutture Dati di Moreno Marzolla รจ distribuito con Licenza Creative Commons Attribuzione - Condividi allo stesso modo 4.0 Internazionale
Altri testi di consultazione
-
Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano, Algoritmi
e strutture dati 2/ed, McGraw-Hill, 2008, ISBN: 978 88 386
64687 [errata corrige]
Questo è un ottimo testo didattico sugli
algoritmi e strutture dati, the tratta essenzialmente gli stessi
argomenti del libro di Bertossi e Montresor.
-
Robert Sedgewick, Algoritmi in Java 3/Ed.,
Pearson. 2003. ISBN 9788871921693
Questo libro si distingue dagli altri per la scelta
di descrivere gli algoritmi usando codice Java funzionante,
anzihé pseudocodice. Il libro contiene molte figure che
facilitano la comprensione degli argomenti trattati. Un limite del
libro è quello di trattare in modo piuttosto superficiale gli
aspetti legati ai costi asintotici degli algoritmi.
-
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford
Stein, Introduzione agli
Algoritmi e Strutture Dati 3/ed, McGraw-Hill, 2010, ISBN:
9788838665158
Questo è uno dei testi classici sugli
algoritmi e strutture dati, che offre una trattazione approfondita
degli argomenti principali. Questo libro include molto più
materiale rispetto a quanto verrà svolto a lezione, e richiede
buone basi matematiche per comprendere le dimostrazioni. Di
conseguenza consiglio Questo libro a coloro che desiderano
approfondire gli argomenti svolti, oppure a chi sia particolarmente
appassionato alla materia.
-
Jon Bentley, Programming Pearls, 2nd edition,
Addison-Wesley, 2000, ISBN 0-201-65788-0.
Questo piccolo libro contiene numerosi casi di
studio, esempi tratti da situazioni reali, ed esercizi per
imparare come sviluppare programmi efficienti. Lo consiglio a
tutti coloro che desiderano vedere in che modo le tecniche
algoritmiche viste a lezione possono essere usate per risolvere
problemi reali.
Altro materiale
Torna in cima alla pagina.
Salta al calendario delle lezioni
Le modalità d'esame sono quelle già indicate negli
altri moduli. La prova finale consiste in un progetto seguito da una
discussione individuale sul progetto e sugli argomenti di teoria.
Torna in cima alla pagina.
Nota: I lucidi non sono da considerare come sostitutivi
né del testo di riferimento né della frequenza alle
lezioni. In particolare, lo studio sul libro di testo
è fondamentale per la comprensione degli argomenti. I lucidi
sono quelli utilizzati nei precedenti anni accademici, e saranno
probabilmente soggetti a modifiche. Si presti attenzione al fatto che
la numerazione dei capitoli fa riferimento alla seconda edizione del
libro, che è quella in mio possesso.
I lucidi delle
lezioni sono distribuiti con licenza Creative Commons (l'esatta
versione della licenza applicata è indicata nella seconda
pagina di ciascuna serie di lucidi). L'autore dei lucidi è Moreno Marzolla; in alcuni
casi il materiale originario è stato sviluppato da Alberto Montresor che l'ha
reso disponibile
con la medesima licenza.
- 7/4/2020, 11:00—13:00
- Introduzione al modulo 3; esercizi di ripasso su grafi
[ODP] [PDF] [Teams] [IOL] [Esercizi]
[Codice di esempio]
- 16/4/2020, 15:00—18:00
- Minimum Spanning Trees (Cap. 14.3 del libro di testo)
[ODP] [PDF] [Teams] [IOL] [Codice di esempio]
- 22/4/2020, 15:00—18:00
- Minimum Spanning Trees
[Teams] [IOL]
- 23/4/2020, 09:00—12:00
- Minimum Spanning Trees
[Teams] [IOL]
- 29/4/2020, 15:00—18:00
- Cammini di costo minimo (Cap. 11 del libro di testo, escluso 11.8)
[ODP] [PDF] [Teams] [IOL] [Codice di esempio]
- 30/4/2020, 09:00—12:00
- Cammini di costo minimo (cont.)
[Teams] [IOL]
- 6/5/2020, 15:00—17:00
- Cammini di costo minimo (cont.)
[Teams] [IOL]
- 7/5/2020, 09:00—12:00
- Esercizi cammini di costo minimo
[Teams] [IOL]
- 13/5/2020, 15:00—18:00
- Asserzioni e invarianti
[ODP] [PDF] [Teams] [IOL]
Approfondimenti:
- Video-esercizio
sulle invarianti (soluzione di un esercizio assegnato all'esame di
Fondamenti di Informatica per il corswo di laurea in Ingegneria
Biomedica; l'argomento è comunque stato trattato in modo
identico a quanto fatto in questo corso)
- 14/5/2020, 09:00—12:00
- Presentazione primo progetto d'esame
- 20/5/2020, 15:00—18:00
- Macchine di Turing
[ODP] [PDF] [Teams] [IOL]
Altre risorse per chi vuole approfondire:
Torna in cima alla pagina.