Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
AL-ACC - Advanced Computational Complexity
Notazioni per l'analisi asintotica degli algoritmi. Notazione O grande, Theta e Omega. Complessita' computazionale. Classi P e NP. Linguaggi NP-completi.
* ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Macchina di Turing, Automi a stati finiti, Random Access Memory. Algoritmi deterministici/non deterministici e complessit?.
• B - Algoritmi
* ASC - Algoritmi su Strutture Combinatorie
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Algoritmi di ricerca esaustiva. Backtrack. Branch and Bound.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi greedy e di Programmazione dinamica.
SDA - Strutture di Dati Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi Red-Black: inserimento e cancellazione. Algoritmi di rotazione - Algoritmi di gestione dei RB e valutazione della loro complessit? ? Implementazione degli algoritmi per i RB.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Elementi di teoria dei grafi. Metodi di memorizzazione - Algoritmi di visita con valutazione comparativa di complessità- Ordinamento topologico ed approccio greedy ? Algoritmi di copertura minima (Kruskal e Prim)- Algoritmi di cammino minimo con sorgente singola ( Dijkstra e Bellman-Ford).
* SDF - Strutture di Dati Fondamentali
+ AL-AS - Algorithmic Strategies
Il linguaggio C++: Strutture dati fondamentali.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi fondamentali in C++.
* A - Algoritmi fondamentali
+ AL-AS - Algorithmic Strategies
Quicksort.. Heapsort.Analisi nel caso pessimo. Analisi nel caso medio.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati per insiemi disgiunti. Heap. Strutture dati dizionario: alberi di ricerca. Tavole Hash. Tabelle a indirizzamento indiretto - Tabelle Hash - Funzioni Hash ? Operazioni di dizionario nelle tabelle di hash e loro complessit
TAA - Tecniche Algoritmiche Avanzate
IAS-C - Cryptography
Sistemi di crittografia a chiave simmetrica, a chiave pubblica, sistemi ibridi - Firma digitale -Fondamenti di teoria dei numeri - Crittografia a chiave pubblica ed algoritmo RSA.
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Definizioni e proprietà dei B-Alberi . Alberi 2-3-4 - Algoritmi di ricerca, costruzione,divisione ed inserimento con valutazione della loro complessit

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Reti combinatorie. Minimizzazione dei circuiti. Progettazione di reti combinatorie. Rappresentazione in forma canonica. Esempi di reti combinatorie: half adder e full adder. Mappe di Karnaugh. Automa a stati finiti. Reti sequenziali. Elementi di memoria. Struttura e funzionamento di una rete sequenziale. I Flip-Flop. Il flip-flop D. Il flip-flop RS.
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Il sistema di numerazione posizionale. La numerazione binaria. La numerazione decimale. Rappresentazione dei numeri naturali. Rappresentazione dei numeri relativi. Complementi alla base, complementi diminuiti. Rappresentazione dei numeri reali in virgola fissa e mobile. Aritmetica dei calcolatori.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Organizzazione e principi di funzionamento di un calcolatore secondo il modello di Von Neumann. Schema di principio di un elaboratore: organi dell'unit? centrale (unit? di controllo, registri macchina - PC, MA, MB, IR, SR - e ALU). Il ciclo del processore. Data-path del processore.
* LMP - Livello di Microprogrammazione
+ AR-ALMO - Assembly Level Machine Organization
Architetture microprogrammate. Elementi architetturali di un processore microprogrammato. Microprogramma. Istruzioni macchina e microistruzioni. Funzione e organizzazione della memoria centrale. Interfacciamento processore-memoria. Tecniche sincrone ed asincrone. La fase di Interrupt nel ciclo del processore. Il sistema di Interruzione.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Introduzione al linguaggio assembly. Codici operativi elementari. Formato dell'istruzione. Modalit? di indirizzamento. Subroutine. Cenni alle problematiche di linkage e passaggio dei parametri. Processori Pentium, PowerPC e Athlon.
GIO - Gestione dell'Input/Output
+ AR-MSOA - Memory System Organization and Architecture
Modello architetturale: Struttura a bus singolo, Struttura a doppio bus, Struttura a DMA. Modelli di programmazione: I/O memory mapped, I/O con istruzioni speciali.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Definizione e propriet? dell'algebra di Boole. Funzioni booleane e tabelle di verit?. Porte logiche AND, OR, NOT, NAND e NOR. Teorema di De Morgan.
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Parametri caratteristici di una memoria. Gerarchia delle memorie. Memorie RAM e ROM. La memoria cache. Memorie di massa (CD, HD, Floppy, Tape). Architettura interna di un modulo di memoria. Schema di selezione lineare e a semi-selezione. Composizione di moduli di memoria. Collegamento in parallelo e in serie. Tecniche di verifica dell'integrit? dei dati. Memorie interleaving.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Richiami: Modello di programmazione del processore 68000; formato dell'istruzione e codici operativi. Modalit? di indirizzamento. Subroutine. Linkage e passaggio dei parametri. Assembly del processore 68000. Sviluppo di programmi assembly per il processore 68000. Assemblatore, linker, loader, librerie e supporti run time.
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Accesso in DMA. Interrupt vettorizzati. Memoria virtuale (segmentazione e paginazione) e supporti hardware alla traduzione degli indirizzi. Meccanismi di protezione e Trap. Memorie cache associative e a corrispondenza diretta. Tecniche di pipelining e tecniche di caching. CPU superscalare.
GIO - Gestione dell'Input/Output
+ AR-DLDS - Digital Logic and Digital Systems
And tri-state. Porte di parola. Bus. Or di bus.Trasferimento tramite bus unico e doppio bus. Trasferimenti monodirezionali e bidirezionali. Multiplexer e demultiplexer lineari. Registri. Registri a scorrimento. Trasferimenti seriali e paralleli.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Concetti e caratteristiche fondamentali. Insiemi di istruzioni, organizzazione ortogonale e load/store, macchine CISC e RISC. Esempio didattico: registri, set di istruzioni, pseudo-istruzioni e linguaggio assembly. Esempi di programmi.

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-IMC - Information Management Concepts
Sistemi informativi e gestione di dati. Archivi e Basi di dati: problemi e soluzioni. Sistemi di Gestione di Basi di Dati (DBMS). Modelli dei dati. Livelli di astrazione e di indipendenza dei dati. Linguaggi e utenti delle basi di dati. Requisiti di un DBMS.
* ML - Modelli logici
+ IM-DMo - Data Modeling
Struttura di una base di dati relazionale. Concetti di relazione, relazione con attributi, schema di relazione e schema di base di dati. Concetti di tupla, istanza di relazione e istanza di base di dati. Vincoli di integrit?. Chiavi interne ed esterne. Operazioni su relazioni e schemi di relazioni. Linguaggi procedurali e dichiarativi l'interrogazione dei dati. Il modello dell'algebra relazionale. Operazioni ed interrogazioni in algebra relazionale. Calcolo relazionale orientato alle tuple ed ai domini.
* LI - Linguaggi di Interrogazione di Basi di Dati
* IS-BSS - Basic Search Strategies
Il linguaggio SQL. Definizione dei dati. Modifica di schemi e istanze. Operatori ed interrogazioni in SQL. Definizione di viste. Specifica di indici. Controllo dell'accesso ai dati.
* PC - Progettazione concettuale
+ DS-SRF - Sets, Relations, and Functions
Ciclo di vita di un sistema informativo. Modello Entit?-Relazione: entit?, relazioni ed attributi. Concetti di Sottoinsieme (ISA) e di Generalizzazione. Fasi della progettazione di una base di dati: progettazione concettuale, logica e fisica. Progettazione concettuale a partire dalle specifiche utilizzando il modello Entit?-Relazione. Progettazione top-down, bottom-up e mista.
* PL - Progettazione Logica
+ IM-DMo - Data Modeling
Fasi della progettazione logica. Traduzione dal modello Entit?-Relazione al modello relazionale.
NBD - Normalizzazione di Basi di Dati
* IM-In - Indexing
Teoria relazionale della normalizzazione: criteri informali per la valutazione delle qualità di uno schema; vantaggi e svantaggi della ridondanza; dipendenze funzionali; assiomi di Armstrong; forme normali 1nf, 2nf, 3nf e BCNF.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+ IM-RDQL - Relational Databases and Query Languages
Tecnologia delle Basi di Dati e Strutture Fisiche di Memorizzazione. Struttura del file di log, gestione dei guasti. Modalità efficienti di accesso ai dati: funzioni hash, indici, B-alberi.
BDA - Basi di Dati Avanzate
* IM-TP - Transaction Processing
Basi di dati e Web, sistemi informativi su Web, tecniche e strumenti di accesso alle basi di dati tramite il Web.
TCR - Transazioni, Concorrenza e Recovery
* IM-TP - Transaction Processing
Transazioni e gestione della concorrenza: meccanismi di gestione della concorrenza; proprietà ACID delle transazioni; deadlock; serializzabilità; protocollo 2PL; commit e rollback; livello di isolamento delle transazioni in SQL92

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Introduzione al calcolo scientifico. Modelli matematici, modelli numerici, algoritmi e software scientifico - importanza delle simulazioni numeriche - la computational science - il contesto tecnologico - web e calcolo scientifico. Introduzione a MATLAB. MATLAB come linguaggio di programmazione. Programmazione a parallelismo sui dati. Visualizzazione scientifica in MATLAB. Confronto tra la programmazione in MATLAB e in C.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Fondamenti di algebra lineare numerica. Operazioni e computazioni base con vettori e matrici: prodotto scalare e angolo tra vettori, algoritmi per prodotto matrice-vettore e prodotto matrice-matrice - norme di vettori e di matrici. Risoluzione di sistemi di equazioni lineari. Algoritmi per la risoluzione di sistemi triangolari. Algoritmo di Gauss e fattorizzazione LU. Stabilit? e pivoting
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Risoluzione di equazioni. Equazioni non lineari e metodi iterativi, metodi di bisezione, di Newton, delle secanti e ibridi - convergenza, velocità di convergenza e criteri di arresto - risoluzione del problema del punto fisso e metodo del punto fisso - Calcolo di massimi e minimi di funzioni. Metodi di minimizzazione di Newton e sue varianti, del gradiente discendente, di ricerca di Fibonacci e di Golden search - convergenza, velocità di convergenza e criteri di arresto.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Interpolazione. Interpolazione lagrangiana con polinomi. Interpolazione con modelli lineari. Interpolazione con polinomi a tratti, con spline e con cubiche di Hermite. Interpolazione con curve parametriche. Applicazioni alla grafica computazionale
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Fitting di dati. Approssimazione nel senso dei minimi quadrati. minimi quadrati lineari. Equazioni normali. Applicazioni alla grafica computazionale. Applicazioni alla statistica (regressione lineare). Introduzione alla Statistica descrittiva.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Integrazione numerica. Formule di base e formule composite: rettangolare, punto medio, trapezoidale, di Simpson. Quadratura con spline e cubiche di Hermite. Quadratura Monte carlo. Analisi dell'errore. Algoritmi adattativi di quadratura

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
+ PD-PF - Parallelism Fundamentals
Il calcolo Parallelo: Metodologie e criteri per lo sviluppo di algoritmi paralleli su calcolatori MIMD-DM: Il modello message-passing.
PCC - Programmazione Concorrente
* PD-PD - Parallel Decomposition
Metodologie e criteri per lo sviluppo di algoritmi paralleli su calcolatori MIMD-DM: Il modello message-passing.
PCC - Programmazione Concorrente
* PD-PAAP - Parallel Algorithms, Analysis, and Programming
La libreria MPI. function per la definizione dell'ambiente, per le comunicazioni puntuali e collettive, per le operazioni collettive. Libreria OpenMP.
PCC - Programmazione Concorrente
PD-PP - Parallel Performance
Parametri di valutazione degli algoritmi paralleli: Concetti di Speed-up ed Efficienza; Legge di Amdahl e Legge di Ware Generalizzata; Speed-up ed Efficienza scalati, Isoefficienza; Legge di Gustafson.
• E - Architetture
AA - Architetture Avanzate
* PD-PAr - Parallel Architecture
Il calcolo Parallelo e Distribuito; Tipi di parallelismi; Classificazione delle architetture parallele; Reti di interconnessione per sistemi a memoria distribuita
• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
PD-CC - Cloud Computing
Cloud computing. Virtualizzazione di risorse.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
IM-MMS - MultiMedia Systems
Modelli e metodi di riconoscimento di forme: Modelli sintattici e strutturali. Modelli statistici supervisionati: funzioni discriminanti lineari e quadratiche. Modelli statistici non supervisionati: nearest neighbour, K-nearest neighbour, C-means
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* IS-FI - Fundamental Issues
Selezione ed estrazione di caratteristiche: Criteri di selezione delle caratteristiche. Caratteristiche del contorno, della regione e topologiche.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* IS-BSS - Basic Search Strategies
Tecniche di segmentazione: Tecniche basate sul contorno: estrazione di edge. Tecniche basate sulla regione: approcci split & merge e region growing. Stima del movimento in sequenze di immagini. Metodi basati sulla correlazione. Metodi basati sul flusso ottico. Tecniche di segmentazione che utilizzano la stima del movimento.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
GV-BR - Basic Rendering
Tecniche di analisi nel dominio delle frequenze: Tecniche di filtraggio lineari bassa-alto, bassabandae passa-basso nel dominio delle frequenze. Tecniche di windowing per la progettazione di filtri FIR.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* IS-BKRR - Basic Knowledge Representation and Reasoning
II segnale immagine: Concetti fondamentali del segnale immagine. Formazione di un'immagine: casi di studio immagine biomedica e da telerilevamento. Campionamento e quantizzazione. Richiami su Trasformate continua e discreta di Fourier.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* IS-BML - Basic Machine Learning
Tecniche di analisi nel dominio spaziale: Tecniche puntuali per il miglioramento della qualit?. Tecniche basate sull'istogramma: equalizzazione e specificazione dell'istogramma.Tecniche di filtraggio lineari passa-alto, passa-banda e passa-basso nel dominio spaziale. Tecniche di filtraggio non lineari: filtro mediano.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
teoria degli insiemi. Numeri naturali, interi, razionali, reali, complessi. La retta reale e il piano cartesiano. Funzioni reali: generalità e funzioni elementari. Definizioni di funzione, dominio, grafico; funzioni monotone, limitate, pari, dispari, periodiche, iniettive, suriettive, invertibili, funzione inversa. Funzioni elementari: funzioni affini, valore assoluto, potenze, radici, esponenziale, logaritmo, segno, scalino di Heaviside, parte intera; funzioni trigonometriche: seno, coseno, tangente e loro inverse.
MAT/02 - Algebra
MAT/02 - Algebra
Algebra lineare. Vettori applicati e liberi, somma e prodotto per uno scalare. Prodotto scalare, angolo fra vettori, norma. Prodotto vettoriale. Definizione di spazio vettoriale, sottospazi, dipendenza e indipendenza lineare, basi. Matrici: somma, prodotto per uno scalare, prodotto righe per colonne, trasposta. Matrici quadrate: determinante e matrice inversa. Rango e indipendenza lineare.
MAT/02 - Algebra
MAT/02 - Algebra
Sistemi lineari e matrici. Metodo di Cramer. Metodo di riduzione di Gauss, matrice ridotta, teorema di Rouche'-Capelli. Discussione di sistemi dipendenti da parametri.
MAT/02 - Algebra
MAT/02 - Algebra
Trasformazioni lineari e matrici. Autovalori e autovettori. Polinomio caratteristico Matrici diagonalizzabili e matrice del cambiamento di base.
MAT/03 - Geometria
MAT/03 - Geometria
Rette del piano: equazioni parametriche ed equazione cartesiana, fascio di rette per un punto e fascio di rette parallele. Distanza di un punto da una retta, angolo fra rette.
MAT/03 - Geometria
MAT/03 - Geometria
Coniche: definizione geometrica ed equazioni canoniche. Rette dello spazio: equazioni parametriche e cartesiane. Piani dello spazio: equazione cartesiana ed equazioni parametriche.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni reali: limiti e continuità. Definizioni di limite in un punto e all'infinito. Limite destro e sinistro, limite per funzioni monotone. Asintoti orizzontali, verticali e obliqui. Continuità delle funzioni elementari, composte, inverse. Punti estremanti assoluti e relativi. Teoremi sulle funzioni continue: permanenza del segno, di Weierstrass, degli zeri, dei valori intermedi. Alcuni limiti notevoli e loro utilizzo per il calcolo di limiti per forme indeterminate. Confronto fra infinitesimi e confronto fra infiniti.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni e serie. Definizione di limite per successioni, caratterizzazione sequenziale del limite. Il numero di Nepero. Serie numeriche: convergenza semplice ed assoluta, condizione necessaria di convergenza, operazioni con le serie. Serie a termini positivi: criteri del confronto, del confronto asintotico (o degli infinitesimi), della radice e del rapporto. Applicazione: condizioni sufficienti per serie infinitesime. Serie a segni alterni: criterio di Leibniz
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni reali: calcolo differenziale. Definizioni di derivata e sua interpretazione geometrica e cinematica. Retta tangente al grafico, funzioni derivabili e differenziabili, continuità delle funzioni derivabili. Derivata destra e sinistra, esempi di funzioni continue non derivabili, cuspidi e punti angolosi. Criteri per il calcolo delle derivate: derivate delle funzioni elementari, operazioni con le derivate, derivata della funzione composta e della funzione inversa. Derivate successive, polinomio di Taylor, classificazione dei punti stazionari. Cenni alla formula di Taylor con resto di Peano e di Lagrange. Criterio di convessità /concavità . Punti di flesso. Studio qualitativo del grafico di una funzione reale. Determinazione del dominio naturale, degli asintoti, degli intervalli di monotonia e di convessità, di cuspidi, punti angolosi e di flesso, di estremanti assoluti e relativi, dell'immagine. Cenni alla risoluzione di equazioni con il metodo grafico.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo integrale in una variabile. Definizione di integrale definito (Riemann) ed interpretazione geometrica. Teoremi della media, di Torricelli, fondamentale del calcolo integrale. Integrale indefinito e primitive, primitive delle funzioni elementari. Metodi di integrazione: integrazione per parti e per sostituzione. Alcune sostituzioni notevoli: integrale logaritmico, metodo del completamento del quadrato e decomposizione in fratti semplici. Definizione di integrale improprio per funzioni non limitate e per intervalli non limitati. Criteri di integrabilità in senso improprio: criterio del confronto, del confronto asintotico (o degli infinitesimi), p-test; definizione di funzione sommabile. Richiami di calcolo infinitesimale: limiti notevoli, confronto fra infinitesimi e confronto fra infiniti.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Equazioni differenziali ordinarie. Definizioni ed esempi: equazioni differenziali in forma normale, lineari e non, omogenee e non, ordine di un'equazione. Integrale generale, problemi di Cauchy e di Dirichlet. Risoluzione di equazioni del primo ordine a variabili separabili, teoremi di esistenza e unicità . Risoluzione di equazioni lineari del primo ordine omogenee e non: struttura dell'integrale generale, metodo di variazione delle costanti; problema di Cauchy.
MAT/03 - Geometria
MAT/03 - Geometria
Definizione di curva parametrizzata: sostegno, curva semplice, chiusa, regolare. Vettore e retta tangente. Lunghezza di una curva e parametro d'arco. Cenni al calcolo differenziale per vettori.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni di due o più variabili: limite e continuità. Teoremi di Weierstrass e del valore intermedio. Condizione necessaria per l'esistenza del limite, esempi di funzioni discontinue. Funzioni di due o più variabili: calcolo differenziale e ottimizzazione. Definizioni di derivata parziale, derivata direzionale, gradiente, funzione derivabille. La derivabilità non implica la continuità : esempi di funzioni derivabili e discontinue. Definizioni di piano tangente al grafico, funzione differenziabile. Derivate di ordine superiore e matrice hessiana. Alcuni problemi di ottimizzazione. Estremi liberi nel piano: punti estremanti, stazionari, di sella. Teorema di Fermat e classificazione dei punti stazionari. Cenni agli estremi vincolati ed applicazione allo studio dell'immagine.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni di due o più variabili: calcolo integrale. Applicazione dell'integrale al calcolo di aree e di lunghezze di curve, cenni ai solidi di rotazione. Definizione di integrale curvilineo e sua interpretazione geometrica. Definizione di integrale doppio e sua interpretazione geometrica. Domini normali e formule di riduzione. Cambiamento di variabili negli integrali doppi, determinante Iacobiano, coordinate polari.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie numeriche: convergenza semplice ed assoluta, condizione necessaria di convergenza, operazioni con le serie. Serie a termini positivi: criteri del confronto, del confronto asintotico (o degli infinitesimi), della radice e del rapporto. Serie a segni alterni: criterio di Leibniz.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni di funzioni: convergenza puntuale ed uniforme, continuità del limite, passaggio al limite sotto integrale e derivata. Serie di funzioni: convergenza puntuale, uniforme, assoluta, totale. Cenni alle serie di potenze: raggio di convergenza, criteri di D'Alembert e di Cauchy-Hadamard. Applicazione: serie di Taylor e funzioni analitiche; alcuni sviluppi notevoli. Cenni alle serie di Fourier: funzioni periodiche, coefficienti di Fourier, funzioni regolari a tratti, teoremi di convergenza puntuale ed uniforme per le serie di Fourier.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
lementi di probabilità. Richiami di calcolo combinatorio: disposizioni con e senza reintegro. Definizioni elementari: esperimento aleatorio, frequenza e probabilità , spazio campionario, punto campione, evento; algebra di eventi e definizione assiomatica di probabilità . Probabilità di eventi: regole di calcolo, eventi indipendenti, probabilità condizionata, correlazione fra eventi. Variabili aleatorie: variabili discrete e continue, funzione di probabilità , funzione di distribuzione e densità . Valore atteso e varianza.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Teorema di Chebyshev e legge dei grandi numeri. Esempi: distribuzioni di Bernoulli, binomiale, geometrica, uniforme, esponenziale, normale e Gaussiana.

Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Complessita' di tempo e di spazio di un algoritmo. Complessita' intrinseca di un problema
V - Varie
+ AL-AS - Algorithmic Strategies
Approccio incrementale. Approccio divide et impera.
• C - Programmazione
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
AVariabili.Tipi di dati scalari. Assegnazione, I/O. Costrutti di controllo di selezione e di ripetizione.Tipi scalari primitivi. Tipi derivati. Operatori. Espressioni.
* PSA - Problem Solving e Algoritmi
+ PL-BTS - Basic Type Systems
Algoritmi e problem solving. Criteri per lo sviluppo di algoritmi per problemi elementari.
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Linguaggio C - Sintassi e semantica. Aspetti fondamentali del linguaggio C
* P - Procedure
* PL-RS - Runtime Systems
Function e procedure - passaggio di parametri. Organizzazione modulare dei programmi
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Linguaggio C - Sintassi - Semantica. Aspetti avanzati del linguaggio C.
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Ordinamento: Selection sort. Insertion sort. Fusione. Algoritmi su file strutturati.
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi elementari con array 1D e 2D. Unione. Intersezione e altre operazioni su insiemi. Ricerca. Analisi di testi.
* R - Ricorsione
+ AL-AS - Algorithmic Strategies
Approccio ricorsivo - Tecniche di programmazione ricorsiva.
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
Generazione di numeri casuali. Simulazioni con numeri casuali. Cammini casuali.
• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialita' e WWW
* PBD-WP - Web Platforms
Il web. Browser. Html di base. Frame e Form. Creazione di pagine web per le prove di laboratorio.

Sillabo dell'insegnamento

• C - Programmazione
* R - Ricorsione
PL-APC - Advanced Programming Constructs
Classificazione delle funzioni ricorsive. Analisi della profondit? di ricorsione.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Tipi di dati dinamici lineari (lista, coda, pila).
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
Algoritmi su liste lineari.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Liste circolari, bidirezionali, multiple.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati gerarchiche. Strutture dati reticolari
* SCP - Sviluppo e Correttezza dei Programmi
+ SE-SPRE - Software Processes and Requirement Engineering
Documentazione del software. Analisi della correttezza deiprogrammi. Asserzioni.
V - Varie
+ AR-MLRD - Machine Level Representation of Data
Approfondimenti linguaggio C. Operazioni bitwise. Rappresentazione floating-point IEEE
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento: exchange sort, bubble sort, mergesort, quicksort, heapsort
* PSA - Problem Solving e Algoritmi
IS-AS - Advanced Search
Pattern matching, algoritmo di ricerca diretta, algoritmo di Knuth- Morris- Pratt

Sillabo dell'insegnamento

• C - Programmazione
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Classi astratte, interfacce.Lettura e scrittura su file, persistenza degli oggetti,
* SS - Sintassi e Semantica
* PL-EDRP - Event-Driven and Reactive Programming
introduzione ad XML. Accesso a database, Java Database Connectivity.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Java: Package, classi, specificatori di accesso, elementi di tipo statico, costruttori.Gestione delle stringhe.
* CB - Costrutti di Base
+ PL-OOP - Object-Oriented Programming
Java: Variabili, tipi di dato primitivi ed astratti, vettori, operatori.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Programmazione orientata agli oggetti: classi, oggetti, metodi, attributi, propriet
• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
+ SE-SDC - Software Design and Construction
Elementi di Ingegneria del software

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Reti: concetti generali. Cenni alla teoria dei grafi: topologie e connettivit?. Reti di calcolatori. Reti LAN, MAN e WAN. Topologie di reti LAN (ring, bus, star e tree).
* PT - Protocolli
+ NC-NA - Networked Applications
Protocolli di accesso al mezzo. Protocolli MAC e LLC. Protocolli ad accesso casuale Aloha e Aloha a slot. Protocolli a rilevamento di portante. Protocolli a prenotazione: Aloha a prenotazione, token ring, token bus. Gerarchie di protocolli e servizi. Il modello ISO-OSI. I protocolli TCP/IP.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-RDD - Reliable Data Delivery
Il livello fisico. Trasmissione dei dati. Concetto di banda e limite di Shannon. Mezzi di trasmissione: doppino,cavo coassiale, fibra ottica, radio. Il sistema telefonico. Tecniche di modulazione. Commutazione di circuito e di pacchetto. Reti Wi-Fi: caratteristiche fisiche ed architettura a livelli. Celle, Access points e terminali wireless. Protocollo CSMA/CA e Frames
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Funzioni del livello data link. Tecniche per il framing. Codifiche a rilevazione e correzione di errore: codifica con parit?, codice di Hamming, codifica a blocco, codici CRC. Il polinomio generatore. Formato del frame data link. Protocolli data link: ack, stop-and-wait, ritramissione con timeout, sliding window, ritrasmissione selettiva, ack negativo. Point-to-Point Protocol.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-RF - Routing And Forwarding
Reti broadcast. Protocollo Aloha. CSMA/CD. Codifica Manchester. IEEE 802. Ethernet: cablaggio (10Base5, 10Base2, 10BaseT), i doppini e connettori RJ45. Fast ethernet. Formato dei frame IEEE 802.3. Indirizzamento ethernet. Exponential backoff. Cenni sulle prestazioni. Bridge e switch: caratteristiche, modo di collegamento, topologie di reti LAN IEEE 802.3. IEEE 802.5 Token ring: modalit? di funzionamento.
* PT - Protocolli
+ NC-LAN - Local Area Networks
Internetworking. Circuiti virtuali e datagrammi. Protocollo Internet (IP). Indirizzamento IP: classi di indirizzi, indirizzi speciali (broadcast, loopback,network). Cenni su IPv6. Address Resolution Protocol (ARP). Cenni su DHCP. Routers e indirizzamento: tabelle di routing, generazione delle tabelle. Routing basato sui vettori di distanza e protocollo RIP. Routing basato sullo stato dei canali e protocollo OSPF. Cenni sul protocollo BGP. Progettazione di LAN e piani di indirizzamento. Caratteristiche del servizio di trasporto. Protocolli TCP e UDP. Il TCP/IP: concetto di porta. L?Header TCP. Protocolli di apertura e chiusura di una connessione TCP, protocollo di trasmissione. Il protocollo UDP: header UDP.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Socket TCP ed UDP: caratteristiche base ed esempi d?uso in C e Java. I principali programmi applicativi. Domain Name System (DNS): spazio dei nomi; zone e name servers. Posta elettronica e Web.
GRC - Gestione di Reti di Calcolatori
+ NC-RDD - Reliable Data Delivery
Programmi per la gestione della rete in Unix/Linux: ifconfig, arp, route, netstat, ping, traceroute, tcpdump, nslookup. I file di configurazione della rete in Unix/Linux: inetd.conf, services, hosts, resolv.conf. Il pannello di controllo rete in Windows.
* SR - Sicurezza delle Reti
IAS-NS - Network Security
Sicurezza. Tipi di attacco. Strategie di difesa. Firewall. Richiami di algoritmi di crittografia e protocolli per la sicurezza.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• F - Sistemi operativi
* FS - File System
* OS-FS - File Systems
Concetto di file. Operazioni tipiche. Sistemi di gestione dei file. Struttura, attributi e tipi dei file. Metodi di accesso. Struttura delle directory. Link. Gestione della memoria secondaria. Gestione dello spazio libero. Gestione dei file in Unix: fsv7,ext2,ext3. Gestione dei file in Windows: FAT32, NTFS.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Concetti di indirizzamento logico e fisico. Gestione a partizioni fisse, a partizioni variabili. Memoria virtuale a pagine. Page fault. Tabella delle pagine. Paginazione a pi? livelli. Memoria associativa. Tabella delle pagine inversa. Segmentazione. Paginazione e segmentazione.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Processi: Struttura e propriet? dei processi. Stati di un processo. Tipi di scheduling. Creazione di un processo. Relazioni dinamiche con il processo creante. Terminazione di un processo. Processi sequenziali, concorrenti, real-time. Commutazione di contesto. Processi cooperanti. Il problema del produttore-consumatore. Il modello a thread. Single threading vs multithreading.
* AMM - Amministrazione di sistema
+ OS-SD - Scheduling and Dispatch
La shell UNIX: ruolo e varianti, procedura di login, organizzazione del file system, manuale online, la shell bash: espansione del pathname, ridirezione del I/O, pipe, job in background, il comando history, editing della linea di comando, completamento di comandi, gli editor vi e (X)Emacs, il comando make. Comandi principali della shell: gestione di file, gestione di processi, monitoraggio della memoria, comandi filtro: ricerca, ordinamento, editing. Shell script: variabili, passaggio dei parametri, strutture di controllo, login script.
GP - Gestione delle Periferiche
OS-DM - Device Management
Principi dell?hw di I/O. I controllori di dispositivi. Polling. I/O programmato. I/O gestito da interrupt. Accesso diretto in memoria (DMA). Sw di I/O. Gestori di interruzione. Driver di dispositivo. Sw di I/O indipendente dal dispositivo. Interfaccia di I/O per le applicazioni. I/O bloccante e non bloccante. Sottosistema di I/O del kernel. I/O buffering. Affidabilit? del file system. Gestione dello spazio libero. Prestazioni del file system. RAID. Dischi magnetici. Tempi di accesso ad un disco rigido. Algoritmi di scheduling del disco: FCFS, SSTF, SCAN, C-SCAN, N-STEP e F-SCAN
GCA - Gestione e Controllo degli Accessi
* OS-SPr - Security and Protection
Sicurezza dei sistemi informatici. Minacce alla sicurezza. Agenti sw: Trapdoor. Bomba logica. Cavallo di troia. Virus. Batteri e vermi. Rilevamento di intrusi. Buffer overflow. Cifratura: Data Encryption Standard (DES). RSA. Protezione. Dominio di protezione. Anelli di Multics. Matrice d?accesso. Lista di controllo degli accessi.
PS - Programmazione di Sistema
* OS-SPr - Security and Protection
Programmazione di sistema: controllo di processi, file system, comunicazione tra processi, threads e multithreading. Creazione di processi in Unix: Creazione di un processo figlio. La funzione fork. La funzione vfork. Identificativi di processo. La funzione exec.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Cooperazione e competizione tra processi. Processi concorrenti. Condizioni di interferenza. Sezione critica. Soluzione per la gestione delle sezioni critiche. Soluzioni software: algoritmo di Dekker, algoritmo di Peterson. Soluzione per pi? processi. Soluzioni hardware: disabilitazione delle interruzioni, l?istruzione test-and-set, l?istruzione xchg.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Monitor di Hoare e di Lampon/Redell. Regioni critiche e implementazione tramite semafori. Scambio di messaggi.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Meccanismi di sincronizzazione del SO: Ssemafori. Mutua esclusione. Semafori binari. La sincronizzazione in UNIX. Sincronizzazione dei thread. La libreria Pthread
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Strategie di sostituzione delle pagine: Ottima, FIFO, LRU, CLOCK, NFU, Working set. WSClock. Strategia Page Fault Frequency.
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Funzioni e struttura di un sistema operativo. Elementi di base dei sistemi di calcolo. Componenti e struttura del sistema operativo. Meccanismi di interruzione. La nozione di system call. Meccanismi di implementazione delle system call.