Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Introduzione agli algoritmi. Modelli di calcolo e metodologie di analisi.
* A - Algoritmi fondamentali
Cammini minimi: Dijkstra, Bellman-Ford, Floyd-Warshall
* A - Algoritmi fondamentali
Alberi di copertura minimi: Kruskal e Prim. Cammini minimi: proprietà di base.
* A - Algoritmi fondamentali
Grafi e visite di grafi
SDA - Strutture di Dati Avanzate
Tavole hash. Code con priorità.
* A - Algoritmi fondamentali
Alberi di ricerca: alberi binari di ricerca, alberi AVL, B-alberi, alberi rosso-neri.
* A - Algoritmi fondamentali
Ordinamento. Ordinamento in tempo quadratico. Heapsort. Mergesort. Quicksort.
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: array, record e puntatori. Pile e code. Alberi.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Teoria della NP-completezza. Classi di complessità P e NP. Riducibilità e NP-completezza.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche algoritmiche: divide et impera, programmazione dinamica, greedy
* A - Algoritmi fondamentali
Algoritmi di pattern matching.
V - Varie
Attività di laboratorio ed esercitazioni su problemi del mondo reale.

Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
Valutazione delle prestazioni: Tempo di CPU, Throughput. CPI, Misure di prestazioni e benchmarks.
* LMP - Livello di Microprogrammazione
Progetto della CPU: ALU e Register File, Parte controllo e parte operativa dell'organizzazione a ciclo singolo e multiplo
* LII - Livello Instruction Set
Principali istruzioni MIPS
* CCS - Circuiti combinatori e sequenziali
Circuiti sequenziali sincroni
* AC - Aritmetica dei calcolatori
Rappresentazione dell'informazione, e aritmetica dei calcolatori
* CCS - Circuiti combinatori e sequenziali
Algebra booleana. Circuiti combinatori
V - Varie
Organizzazione di base di un calcolatore (CPU, memoria, I/O) e livelli di astrazione
* ASS - Linguaggio Assembler
Il processo di compilazione: Funzioni e allocazione della memoria, Strutture dati. Uso del simulatore SPIM
* ASS - Linguaggio Assembler
Esecuzione dei programmi: compilatore, assemblatore, linker, loader. Il processo di compilazione: Traduzione assembler delle principali strutture di controllo di un linguaggio ad alto livelli,
AA - Architetture Avanzate
Progetto avanzato della CPU: Parallelismo a livello di istruzioni, Organizzazione della CPU con pipeline, Dipendenze sui dati e problemi dovuti a salti e eccezioni
GIO - Gestione dell'Input/Output
Input/Output: Esempi di dispositivi, Organizzazione del sottosistema di I/O, Misure di prestazioni Programmazione dell'I/O (interruzioni, polling, DMA)
GM - Gestione della Memoria
Gerarchie di memoria: Principio di località, Memoria cache, Memoria virtuale

Sillabo dell'insegnamento

• G - Basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Cenni di ottimizzazione delle interrogazioni
LP - Linguaggi di Programmazione di Basi di Dati
Programmazione procedurale e ad oggetti per basi di dati
V - Varie
Uso di basi di dati in applicazioni web
* DBMS - Sistemi di Gestione di Basi di Dati
Creazione e gestione di basi di dati relazionali, e cenni di architettura dei Sistemi di Gestione di Basi di Dati
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggio SQL per l'uso dei dati e per l'amministrazione di Basi di Dati
NBD - Normalizzazione di Basi di Dati
Normalizzazione degli schemi relazionali
* ML - Modelli logici
Il modello relazionale dei dati
* PL - Progettazione Logica
Dallo schema concettuale allo schema relazionale
* PC - Progettazione concettuale
La progettazione di basi di dati
* ML - Modelli logici
Modelli dei dati ad oggetti ed entità-relazione
* DBMS - Sistemi di Gestione di Basi di Dati
I Sistemi per basi di dati: introduzione e funzionalità
TCR - Transazioni, Concorrenza e Recovery
Cenni di gestione delle transazioni e della concorrenza

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Trasformazioni delle grammatiche libere da contesto; forma normale di Chomsky; forma normale di Greibach; automi a pila deterministici e non; equivalenza tra automi a pila e grammatiche libere da contesto; proprietà di chiusura. Linguaggi deterministici e grammatiche LR(k).

* CAL - Calcolabilita'
Calcolabilità: Macchine di Turing e funzioni Turing calcolabili. Modelli di calcolo funzionale. Funzioni iterative e ricorsive su sequenze. Universalità dei modelli di calcolo.
* CAL - Calcolabilita'
Autoriferimento: il problema della codifica dei programmi. Funzioni non calcolabili: il metodo della diagonalizzazione e il problema della fermata. Il teorema del parametro e della funzione universale. Operazioni effettive su funzioni computabili.
* CAL - Calcolabilita'
Problemi decidibili, indecidibili e semidecidibili. Il metodo della riduzione.
* CAL - Calcolabilita'
Teoremi di Rice. Insiemi ricorsivi e ricorsivamente enumerabili. Proprietà di chiusura. Definizioni ricorsive. Ordinamenti parziali, funzioni monotone e punti fissi. Funzionali ricorsivi. Il primo teorema di ricorsione e il secondo teorema di ricorsione
* ALF - Automi e Linguaggi Formali
Linguaggi Formali: Linguaggio, sintassi e semantica, ambiguità, classificazione di Chomsky. Linguaggi sensibili al contesto e tipo 0: Grammatiche sensibili al contesto e generali; Macchina di Turing, relazione con problemi di decidibilità

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Introduzione: relazioni, relazioni di equivalenza e insieme quoziente, relazioni d'ordine; funzioni, iniettive, suriettive, composizione di funzioni e funzione inversa; numeri interi, razionali e reali e loro proprita' fondamentali; numeri complessi.
MAT/05 - Analisi Matematica
Elementi di topologia: distanza, intorni, insiemi aperti e chiusi, punti di accumulazione e punti isolati.
MAT/05 - Analisi Matematica
Calcolo integrale: teorema fondamentale del calcolo integrale, integrali elementari.
MAT/05 - Analisi Matematica
Metodi di integrazione, l'integrale definito, integrali impropri, applicazioni.
MAT/05 - Analisi Matematica
Studio del grafico di una funzione: asintoti, interpretazione geometrica della derivata, massimi e minimi, teoremi sui massimi e minimi, cuspidi, punti di flesso.
MAT/05 - Analisi Matematica
Serie: generalita', criteri di convergenza, convergenza assoluta, serie di potenze, cenni alle serie di Fourier.
MAT/05 - Analisi Matematica
Successioni: limiti e operazioni con i limiti, successioni monotone, teorema del confronto, limiti elmentari, il numero e.
MAT/05 - Analisi Matematica
Calcolo differenziale: derivata di una funzione, regole di derivazione, derivate elementari, regola di de l'Hospital, derivate di ordine superiore, formula di Taylor.
MAT/05 - Analisi Matematica
Limiti di funzioni: generalita', funzioni continue, proprieta' fondamentali delle funzioni continue, inverse di funzioni continue, limiti notevoli, discontinuita'
MAT/08 - Analisi Numerica
Matrici e sistemi lineari
MAT/08 - Analisi Numerica
Funzioni di piu' variabili
MAT/08 - Analisi Numerica
Autovalori e autovettori

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Gestione delle configurazioni software. La documentazione di progetto. Strumenti CASE.
* PSC - Progettazione del Software e Codifica
Pianificazione del progetto software. Stime di progetto. Analisi e gestione dei rischi. Pianificazione temporale.
* TVV - Testing, Verifica e Validazione
Tecniche di collaudo del software. Metriche del software.
* LMS - Linguaggi di Modellazione del Software
Introduzione ai linguaggi per la modellazione del software (Unified Process, UML)
* AR - Analisi dei Requisiti
Ingegneria dei Requisiti, Modelli di Sistema, Prototipazione
* PSS - Processi di Sviluppo del Software
Concetti di base dell'ingegneria del software. La qualità del software e Il processo di sviluppo software

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Progettazione di un'interfaccia utente
PIRV - Paradigmi di Interazione e Realtà Virtuale
Realtà virtuale e aumentata. Mondi 3D interattivi
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Regole di design. Design universale
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Tecniche di valutazione
PIRV - Paradigmi di Interazione e Realtà Virtuale
Paradigmi di Interazione. Batch e time sharing. Sistemi a finestre, WIMP. Manipolazione diretta. Linguaggi testuali e visuali. Ipertesto. Multimodalità. Informatica pervasiva. Informatica basata su sensori e contestuale
TMI - Teorie e Modelli per l'Interazione
Fondamenti della comunicazione uomo-computer. L'uomo. Il computer. L'interazione.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Trasposizioni. Contare i sottoinsiemi (combinazioni). Contare i multi-insiemi (combinazioni con ripetizione). Il teorema del binomio e il triangolo di Pascal. Il principio di inclusione-esclusione.
MAT/02 - Algebra
L'arte del contare. Il principio del 'pigeon hole'. Contare le funzioni iniettive e bigettive. Permutazioni. Composizione e inversa di permutazione. Decomposizione in cicli disgiunti.
MAT/02 - Algebra
Metodi di dimostrazione. Induzione matematica e definizioni ricorsive. Dimostrazioni per assurdo.
MAT/02 - Algebra
Numeri: naturali, interi, razionali, reali e complessi.
MAT/02 - Algebra
Insiemi: Insiemi e costruzioni insiemistiche. Funzioni, relazioni e sequenze. Insiemi infiniti. Ordinamenti parziali e totali. Buon ordinamento. Reticoli e reticoli Booleani.
MAT/02 - Algebra
Logica: predicati, connettivi e quantificatori. Il processo di formalizzazione.
MAT/02 - Algebra
Introduzione alle strutture algebriche
MAT/02 - Algebra
Grafi diretti. Reti di flusso e loro proprietà. Applicazioni.
MAT/02 - Algebra
Il problema del cammino più breve. Grafi planari. Colorazione di grafi. Alberi. Applicazioni.
MAT/02 - Algebra
Grafi. Introduzione ai grafi. Grafi connessi. Cammini Euleriani e Hamiltoniani
MAT/02 - Algebra
Aritmetica modulare. Congruenze ed equazioni in Z/nZ. Il teorema di Eulero-Fermat e il metodo di crittografia a chiave pubblica RSA.
MAT/02 - Algebra
Numeri interi e loro proprietà

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Principi di calcolo della probabilità (Definizione assiomatica di probabilità, indipendenza e probabilità condizionata, teorema di Bayes)
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie (Funzione di ripartizione e densità, Trasformazione di variabili aleatorie, Valore atteso e varianza)
MAT/06 - Probabilita' e Statistica Matematica
Vettori di variabili casuali ( densità congiunte, marginali e condizionate, correlazione e indipendenza)
MAT/06 - Probabilita' e Statistica Matematica
Convergenza di variabili casuali (Teorema del limite centrale e le leggi dei grandi numeri)
MAT/06 - Probabilita' e Statistica Matematica
Stima parametrica (Statistiche e stimatori, Stimatori dei momenti, di massima verosimiglianza e di Bayes, Regressione lineare)
MAT/06 - Probabilita' e Statistica Matematica
Stima intervallare e Test di verifica di ipotesi (intervalli di confidenza, Livelli di significatività, statistiche Normali, t di Student, del chi quadro, test di Paerson)

Sillabo dell'insegnamento

• C - Programmazione
* R - Ricorsione
Procedure ricorsive, definizioni ricorsive ben fondate
* SCP - Sviluppo e Correttezza dei Programmi
Verifica della correttezza dei programmi ricorsivi attraverso dimostrazioni per induzione. Approccio iterativo e analisi della correttezza attraverso il concetto di invariante.
* SDTD - Strutture Dati e Tipi di Dati astratti
Astrazione sui dati attraverso semplici strutture. Strutture dati di base: coppie, liste e procedure che operano sulle liste.
* CB - Costrutti di Base
Formato di un programma C con una singola funzione, inclusione di libreria, funzione main. Identificatori. Tipi di dati predefiniti: int, double, char. Funzioni di libreria per l'input/output interattivo. Costanti, variabili ed espressioni
* SS - Sintassi e Semantica
Istruzione di assegnamento, istruzione sequenziale Istruzioni di selezione: if, switch. Istruzioni di ripetizione: while, for, do-while. Nozione di invariante.
* P - Procedure
Funzioni: Dichiarazione e definizione di funzione, parametri formali, invocazione di funzione e parametri attuali. Passaggio di parametri per valore e per indirizzo. Visibilità degli identificatori locali e non locali. Funzioni ricorsive. Funzioni di ordine superiore.
* SDTD - Strutture Dati e Tipi di Dati astratti
Conversioni di tipo e operatore di cast. Tipi enumerati. Array, Stringhe, Strutture e Puntatori.
* SDTD - Strutture Dati e Tipi di Dati astratti
Memoria Dinamica: allocazione e deallocazione di memoria. Tipi di dati dinamici. Liste semplici, doppie, circolari. Alberi binari.
* CB - Costrutti di Base
Input-Output: procedure di libreria sugli standard IO. Il tipo FILE. Creazione e manipolazione di files.
* PSA - Problem Solving e Algoritmi
Insertion sort, Selection sort, Bubble sort. Il divide et impera: Mergesort. Counting sort. Esercizi svolti in laboratorio.
* P - Procedure
Procedure come astrazione di istruzioni. Procedure e parametri.
* CB - Costrutti di Base
Valori numerici, booleani, caratteri e stringhe in CaML. Espressioni numeriche e non numeriche.

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Esercitazioni
* POO - Programmazione Orientata agli Oggetti
Introduzione: oggetti, classi metodi.
* SCP - Sviluppo e Correttezza dei Programmi
Progetto di classi: pre/post condizioni, invarianti asserzioni, design,by contract.
* POO - Programmazione Orientata agli Oggetti
Interfacce e polimorfismo, ereditarietà
• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchine astratte per OO
MP - Metodologie di Programmazione
Programmazione ad eventi e interfacce grafiche
ALC - Astrazioni Linguistiche e Composizionalita'
Programmazione parametrica: generics e strutture dati
MP - Metodologie di Programmazione
Design patterns di base
MP - Metodologie di Programmazione
Design patterns avanzati
• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Casi di studio
* PSC - Progettazione del Software e Codifica
Caso di studio di Progettazione
* PSC - Progettazione del Software e Codifica
Caso di studio di Codifica

Sillabo dell'insegnamento

• H - Computazione su rete
GRC - Gestione di Reti di Calcolatori
Controllo dell'errore. Gestione e controllo del flusso e della congestione. Algoritmi di routing statici e dinamici. Multiplexing. Protocolli di gestione di rete. Prestazioni dei protocolli.
DR - Dispositivi di Rete
Livello fisico e livello data-link. Mezzi trasmissivi. Interconnessione di rete.
* ARTC - Architettura delle Reti di Calcolatori
Tipologie e classificazioni di reti: topologie, tipi di rete. MAN, LAN, WAN. Tipi di connessione. -- Modello ISO/OSI. Protocolli TCP/IP. Reti LAN. Ethernet, token ring.
* PT - Protocolli
Protocolli e servizi.Protocolli a livello MAC e livello rete. Protocolli a finestra scorrevole. Stop and wait. Protocolli go-back-n e ripetizione selettiva. Protocolli a livello trasporto. Buffering. Three way handshaking.
* PT - Protocolli
Protocolli a livello applicazione. Protocollo IP. Protocolli TCP e UDP. Protocolli per reti wireless.
* MIR - Modelli di Interazione in Rete
Internetworking. Naming. Risoluzione dei nomi e name service.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Il metodo del simplesso.
MAT/09 - Ricerca Operativa
Formulazione e risoluzione grafica di problemi programmazione lineare
MAT/09 - Ricerca Operativa
Introduzione alla programmazione matematica e alla programmazione lineare
MAT/09 - Ricerca Operativa
Soluzioni di base. Teorema fondamentale della programmazione lineare
MAT/09 - Ricerca Operativa
Teoria della dualità
MAT/09 - Ricerca Operativa
Interpretazione economica del problema duale.

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
Creazione e terminazione di processi UNIX; segnali; comunicazione e sincronizzazione tramite pipe (laboratorio)
PCC - Programmazione Concorrente
I thread POSIX; sincronizzazione tramite semafori (laboratorio)
PCC - Programmazione Concorrente
I thread in Java; sincronizzazione tramite monitor (laboratorio)
• F - Sistemi operativi
* FS - File System
Attributi dei file, operazioni, metodi di accesso. Struttura logica delle directory. Implementazione del file system. Meccanismi di allocazione dei file. Gestione dello spazio libero. Implementazione delle directory.
* GM - Gestione della Memoria
pazi di indirizzamento. Rilocazione statica e dinamica. La memoria virtuale. Tecniche di paginazione e segmentazione.
* GSP - Gestione e Sincronizzazione dei Processi
tallo: definizione e condizioni necessarie; prevenzione, controllo e rilevamento dello stallo
* SCO - Struttura e Componenti di un sistema operativo
unzioni e struttura di un sistema operativo. Macchine virtuali. Componenti di un sistema operativo. Sistemi operativi a microkernel.
* GSP - Gestione e Sincronizzazione dei Processi
I sistemi a processi. Struttura e proprietà dei processi. Stato di un processo. Processi sequenziali, concorrenti e in tempo reale. I thread.
* GSP - Gestione e Sincronizzazione dei Processi
La gestione dell'unità centrale. Politiche di scheduling. Indicatori di prestazioni.
* GSP - Gestione e Sincronizzazione dei Processi
Comunicazione tra processi: modello a memoria condivisa e a scambio di messaggi; sezione critica: soluzioni software e hardware
* GSP - Gestione e Sincronizzazione dei Processi
Semafori e Monitor, definizione e realizzazione; casi di studio: produttore/consumatore, filosofi a cena, lettori/scrittori
GP - Gestione delle Periferiche
I sistemi di I/O. Driver di periferica. I dischi magnetici: struttura logica e fisica. Scheduling delle richieste di accesso al disco. Architetture RAID. Le memorie rimovibili: dischi ottici, CD-ROM, DVD.

Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
Applet, Javascript
* SR - Sicurezza delle Reti
JNDI e LDAP, Aspetti di sicurezza
PASR - Programmazione di Applicazioni e Servizi di Rete
Tag, Model View Controller, Java Bean
* MIR - Modelli di Interazione in Rete
Remote Method Invocation, JDBC e accesso alle basi di dati
* PT - Protocolli
Socket, Http, URL e HTML
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
CGI, Servlet e Java Server Pages