Algoritmi e Sperimentazioni. Il corso. Struttura del corso. Introduzione al corso. Corso del secondo anno, curriculum STISI 9 crediti tenuto da:

Transcript

1 Algoritmi e Sperimentazioni Introduzione al corso 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 Struttura del corso Modulo 1 Corso teorico su algoritmi e strutture dati 6 CFU (de Liguoro) Modulo 2 Laboratorio in Java 3 CFU (Damiani) 1

2 Prerequisiti Conoscenze sulla programmazione in -DYD e & (corsi di Programmazione 1 e 2, e Laboratorio di Linguaggi) Conoscenza delle nozioni elementari di analisi matematica e del calcolo combinatorio 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 Programma $QDOLVLGLDOJRULWPLFRUUHWWH]]D 1. specifica con pre e post-condizioni, 2. il metodo delle asserzioni, 3. invarianti di ciclo. $QDOLVLGLDOJRULWPLFRPSOHVVLWj 1. Tempo di calcolo 2. ordine di grandezza delle funzioni 3. risoluzione di relazioni di ricorrenza 2

3 Programma 7LSLGLGDWR HVWUXWWXUHGDWL 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 Programma 3URJHWWR GLDOJRULWPL IRQGDPHQWDOL 1. Divide et impera 2. Backtrack 3. Greedy Testi Testo principale: A. Bertossi, UTET Libreria, Torino,

4 Testi Testo di consultazione T. H. Cormen, C. E. Leiserson, R. L. Rivest,!"#%$%&('*)+, & )(, +!& -.&, Jackson Libri, 1999 (disponibile in biblioteca) Pagine web Il corso ha la sua pagina principale alla url: AlgESper/ Il modulo 1 ha un suo sito, accessibile dalla pagina principale Pagine web /10( La tabella qui di segu ito riporta le inform a zioni ed il m ateriale didattico relativo alle lezioni del corso. I riferim enti tra paren tesi quadre [...] son o relativi ad approfond im enti, che convien e ign orare ad una prim a lettura. 7!8 9 : ; I.7 abbrevia Bertossi, < = A B C = EGF H I D F I D > J%D EGK >? B > > B? E A F > D, paragrafo 7 del capitolo I (l introdu zione); LNM 9 ; 2.7 abbrevia Corm en et alii, < = A B C = EGF H I D F I D > J%D O paragra fo 7 del capitolo 2, m entre Cap. 2 è l'intero capitolo 2. Titolo Date O re Riferim enti Esercizi Introduzione 1/10/ Problem i e algoritm i /10/03 Tem p o di calcolo 8-10/10/ [C orrettezza.pd f] - Bert. I.7-I.10; Cor. Cap. 2 - Tipi di dato e strutture dati 13/10/

5 S Come seguire il corso PQ RGSGT U V WXU YNZN[\T U WX[\]GV ^!_`U SG]%U (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) a b U Q [ il corso non è finito c 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 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) 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 5

6 Domande? 6