Algoritmi e Principi dell'Informatica

Matteo Pradella (twitter @bzoto, tag #corsoapi)


AVVISI

pagina twitter, #corsoapi

Attenzione! Vi ricordo e segnalo che i corsi Algoritmi e Principi dell'Informatica (10 crediti) e Progetto di Algoritmi e Strutture Dati (1 credito di Prova Finale) sono diversi: dovete sostenerli entrambi solo se sono nel vostro piano di studi.

21/3: ho aggiunto la dispensa sulle logiche MFO/MSO qui

7/5: ecco testo e soluzioni della prova del 17/04/19

27/5: ecco le slide sulla prova finale di quest'anno

31/5: prossimi incontri di tutorato (NON per prova finale): Martedì 11/06/2019 15:15 18:15 5.1.1; Martedì 18/06/2019 15:15 18:15 N.0.2; Lunedì 24/06/2019 15:15 18:15 N.1.6; Martedì 02/07/2019 15:15 18:15 5.0.1; Martedì 09/07/2019 15:15 18:15 5.03

4/7: ecco testo e soluzioni della prova del 27/06/19

17/7: ecco testo e soluzioni della prova del 12/07/19

9/9: ecco testo e soluzioni della prova del 09/09/19

18/9: per gli interessati, ecco l'implementazione di riferimento e i casi di test della prova finale del 2019

25/9: ecco i voti parziali dell'ultima prova. Visione compiti: per quelli marcati "A", nell'ufficio di Frigeri alla Nave mercoledì prossimo dalle 12:30 alle 13:30; per quelli marcati "M", lo stesso giorno dalle 15 alle 15:30 nel mio ufficio. Gli studenti segnati come "CONVOCATO" devono presenziare alla visione compiti.


Obiettivi

L'informatica ha subito un'evoluzione estremamente rapida dai suoi albori ai giorni d'oggi. Cio' ha prodotto notevoli benefici alla qualita' della vita ma ha anche creato problemi legati all'affidabilita' dei sistemi informatici. Spesso infatti le tecniche di progetto adottate si sono rivelate inadeguate alla complessita' dei problemi affrontati. Da piu' parti si e' individuata, tra le cause principali della scarsa affidabilita' dei sistemi informatici, la mancanza di solidi principi teorici su cui basare le tecniche di progettazione. Il corso di algoritmi e principi dell'informatica ha lo scopo di colmare questa lacuna affrontando in maniera sistematica i problemi fondamentali dell'informatica e mettendo in evidenza come un approccio rigoroso e basato sui fondamenti teorici della disciplina abbia grande rilevanza nelle applicazioni pratiche.

Programma (Modulo I - ex Informatica Teorica)

  1. I modelli dell'informatica

  2. Teoria della computazione

Programma (Modulo II - ex Informatica 3)

  1. Teoria della complessita'

  2. Strutture dati e algoritmi fondamentali

  3. Tecniche avanzate per la progettazione di algoritmi


Testi, appunti e materiale vario

Temi d'esame ed esercizi

Vecchi temi d'esame ed esercizi (Modulo I/Informatica Teorica)

Vecchi temi d'esame ed esercizi (Modulo II/Informatica 3)


Modalita' di svolgimento delle prove di verifica

Le prove d'esame assegnano 33 punti che corrispondono al voto massimo di 30 e lode, suddividendoli tra due prove in itinere. Le prove in itinere constano di una verifica scritta. Al termine del corso verra' proposto un voto basato sulla somma dei punteggi ottenuti nelle due prove in itinere. Chi non avesse ottenuto la sufficienza mediante le prove in itinere, o non avesse partecipato ad esse, o desiderasse un punteggio migliore potra' sostenere l'esame completo del corso in una delle sessioni disponibili.

Ricevimento

Martedi ore 16.30 N.B. ricevo senza problemi anche su appuntamento - contattatemi pure via email o datemi un colpo di telefono.

Esercitatore: Achille Frigeri.