Algoritmi e Sperimentazioni

Transcript

1 Algoritmi e Sperimentazioni Introduzione al corso

2 Il corso Corso del secondo anno, curriculum STISI 9 crediti tenuto da: Ugo de Liguoro (teoria), Ferruccio Damiani (laboratorio) ore di lezione/esercitazione inizio il 1/10/03 termine il 5/12/03

3 Struttura del corso Modulo 1 Corso teorico su algoritmi e strutture dati 6 CFU (de Liguoro) Modulo 2 Laboratorio in Java 3 CFU (Damiani)

4 Prerequisiti Conoscenze sulla programmazione in Java e C (corsi di Programmazione 1 e 2, e Laboratorio di Linguaggi) Conoscenza delle nozioni elementari di analisi matematica e del calcolo combinatorio

5 Obiettivi approccio astratto alla computazione e sviluppo di una visione ad alto livello di algoritmi e sistemi conoscenza delle principali tecniche di analisi e progetto di algoritmi e strutture dati conoscenza elementare delle tecniche di analisi della complessità degli algoritmi

6 Programma Analisi di algoritmi: correttezza 1. specifica con pre e post-condizioni, 2. il metodo delle asserzioni, 3. invarianti di ciclo. Analisi di algoritmi: complessità 1. Tempo di calcolo 2. ordine di grandezza delle funzioni 3. risoluzione di relazioni di ricorrenza

7 Programma Tipi di dato e strutture dati: 1. Tipi astratti di dato 2. strutture informative di base: liste, alberi, grafi 3. strutture avanzate: insiemi, dizionari, code di priorità, alberi bilanciati di ricerca

8 Programma Progetto di algoritmi fondamentali: 1. Divide et impera 2. Backtrack 3. Greedy

9 Testi Testo principale: A. Bertossi, Algoritmi e Strutture di Dati UTET Libreria, Torino, 2000

10 Testi Testo di consultazione T. H. Cormen, C. E. Leiserson, R. L. Rivest, Introduzione agli algoritmi, Jackson Libri, 1999 (disponibile in biblioteca)

11 Pagine web Il corso ha la sua pagina principale alla url: AlgESper/ Il modulo 1 ha un suo sito, accessibile dalla pagina principale

12 Pagine web Lezioni La tabella qui di seguito riporta le informazioni ed il materiale didattico relativo alle lezioni del corso. I riferimenti tra parentesi quadre [...] sono relativi ad approfondimenti, che conviene ignorare ad una prima lettura. Bert. I.7 abbrevia Bertossi, Introduzione agli algoritmi e strutture dati, paragrafo 7 del capitolo I (l'introduzione); Cor. 2.7 abbrevia Cormen et alii, Introduzione agli algoritmi, paragrafo 7 del capitolo 2, mentre Cap. 2 è l'intero capitolo 2. Titolo Date Ore Riferimenti Esercizi Introduzione 1/10/ Problemi e algoritmi /10/03 Tempo di calcolo 8-10/10/ [Correttezza.pdf] - Bert. I.7-I.10; Cor. Cap. 2 - Tipi di dato e strutture dati 13/10/

13 Come seguire il corso AlgoritmiSperimentazioni (void) Pre. Competenze di programmazione e calcolo Post. Capacità di analisi e progetto di algoritmi e strutture dati Inizializzazione: ripasso dei concetti elementari del calcolo (specialmente combinatoria, logaritmi, sommatorie, limiti) while il corso non è finito do leggi i testi che si riferiscono alla prossima lezione scarica e stampa i lucidi della prossima lezione a lezione prendi appunti in margine alla stampa dei lucidi svolgi gli esercizi proposti e confronta le soluzioni Studia sui testi gli argomenti d esame e svolgi quanti più esercizi ti riesce PRIMA di sostenere la prova scritta

14 Modalità d esame Esame scritto Consegna e discussione del laboratorio S = max 20+2, min 12 L = max 10+1, min 6 Voto finale = S + L (lode se > 30)

15 Validità delle prove Per l anno 2003/2004 ci sono 6 appelli per lo scritto e 6 appelli per la discussione del laboratorio Per superare l esame occorre avere conseguito almeno la sufficienza sia nello scritto che per il laboratorio, non importa in quale ordine I risultati ottenuti restano validi SOLTANTO per l anno accademico in corso

16 Domande?