Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi degli algoritmi e complessità computazionale. Caso medio e caso pessimo. Numeri speciali.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Relazioni di ricorrenza: metodi di risoluzione. Ricorrenze divide et impera. Funzioni generatrici ed estrazione dei loro coefficienti.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
L'inversione di Lagrange. Metodi esatti e metodi approssimati.
SDA - Strutture di Dati Avanzate
Il metodo simbolico
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Esempi di analisi di algoritmi classici, sugli alberi, sulle permutazioni e sulle parole. Simulazione di algoritmi e strutture dati e relativi test statistici.
• D - Linguaggi
* LF - Linguaggi Formali
Epressioni regolari e grammatiche context-free: la metodologia di Chomsky- Schutzenberger.

Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
Concetti di prestazioni ed affidabilità dei sistemi e validazione. Definizione di indici di prestazione ed affidabilità.
• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Regole di costruzione e validazione dei modelli. Metodi combinatori.
* LMS - Linguaggi di Modellazione del Software
I processi di Markov a tempo discreto. I processi di Markov a tempo continuo.
* LMS - Linguaggi di Modellazione del Software
Reti di Petri stocastiche. Formalismi di modellizzazione: PN ed estensioni (es. SAN, DSPN) e strumenti automatici di supporto: Mobius e DEEM.
* TVV - Testing, Verifica e Validazione
Testing di sistemi: test funzionali, Robustness testing e fault injection. Organizzazione di esperimenti. Strumenti di supporto per il testing: NekoStat.
MSQ - Misure del Software e Qualita'
Fondamenti di teoria della misura e loro applicazione.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Grammatiche e Linguaggi: richiami dei concetti base. Analisi lessicale: Espressioni e grammatiche regolari, Automi a stati finiti.
• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Linguaggi e macchine astratte loro associate.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Modalità di realizzazione dei linguaggi: interpretazione, compilazione, supporto a tempo di esecuzione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Introduzione ai compilatori; fasi di compilazione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Realizzazione di analizzatori lessicali.
* LF - Linguaggi Formali
Analisi sintattica: Grammatiche libere da contesto e tecniche di analisi LL(k) e LR(k).
* S - Semantica
Analisi semantica e generazione del codice: cenni di semantica operazionale e denotazionale, generazione del codice guidata dalla sintassi.
ALC - Astrazioni Linguistiche e Composizionalita'
Cenni di ottimizzazione del codice.
TAV - Tecniche di Analisi e Verifica
Proprietà del codice generato: semantica assiomatica, verifica statica di proprietà.

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Richiami di matematica discreta e tecniche di prova.
• C - Programmazione
PCC - Programmazione Concorrente
Richiami di programmazione sequenziale e concorrente.
• D - Linguaggi
* S - Semantica
Modelli della concorrenza alternativi ai sistemi di transizione.
* LF - Linguaggi Formali
Equivalenze comportamentali come strumenti di astrazione
TAV - Tecniche di Analisi e Verifica
Equivalenze comportamentali come strumenti di minimizzazione di sistemi e come base per prove di correttezza.
TAV - Tecniche di Analisi e Verifica
Logiche Temporali e logiche modali e tecniche di verifica di proprietà dei sistemi basate sul model checking.
* S - Semantica
Semantica operazionale e denotazionale dei linguaggi di programmazione.
ALC - Astrazioni Linguistiche e Composizionalita'
Algebre e calcoli di processo e loro modelli come sistemi di transizione.
* LF - Linguaggi Formali
Automi a stati finiti e sistemi di transizione etichettati.

Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Algoritmi greedy.
TAA - Tecniche Algoritmiche Avanzate
Algoritmi probabilistici.
* A - Algoritmi fondamentali
Algoritmi su grafi.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Divide et impera.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Programmazione dinamica.
* A - Algoritmi fondamentali
Ricerca esaustiva. Ricerca all'interno di testi.

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Tecnologie per lo sviluppo di applicazioni Web: HTML e CSS; concetti di base di servlets e JavaServer Pages (JSP).
* FCD - Fondamenti del Calcolo Distribuito
Sistemi distribuiti real time: concetti di base, paradigmi e modelli principali.
* FCD - Fondamenti del Calcolo Distribuito
Sistemi distribuiti fault-tolerant: concetti di base, paradigmi (consenso, membership, comunicazione, replicazione, recovery), e modelli.
PASR - Programmazione di Applicazioni e Servizi di Rete
Tecnologie per lo sviluppo di applicazioni Web: gestione delle richieste del client, popolazione automatica di Java Bean, gestione delle risposte del server, cookie e sessioni; JDBC e cenni di MySQL.
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Piattaforme e sistemi distribuiti: name e directory service, file system distribuito, Distributed Computing Environment, CORBA, WWW, sistemi basati su gruppi.
* FCD - Fondamenti del Calcolo Distribuito
Principali paradigmi distribuiti di coordinamento. Modelli di computazione distribuita: sincroni e asincroni, cliente-servente con RPC, orientati ai gruppi, memoria distribuita condivisa, bus di messaggi.
* MIR - Modelli di Interazione in Rete
Stili di interazione: scambio di messaggi, operazioni remote, comunicazione a gruppi.
* FCD - Fondamenti del Calcolo Distribuito
Tempo, orologi e sincronia. Ordinamento di eventi distribuiti.
* FCD - Fondamenti del Calcolo Distribuito
Concetti di base: reti di calcolatori, multicomputer e sistemi distribuiti; confronto tra sistemi centralizzati e distribuiti; evoluzione dei sistemi distribuiti (dall'accesso remoto al codice mobile); notazioni formali per la modellizzazione di sistemi e proprietà. Indirizzamento e risoluzione dei nomi.

Sillabo dell'insegnamento

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

Insegnamenti "a scelta" che possono essere selezionati

1. Modelli e Calcoli per la Fisica
2. Teoria dell'Informazione

Insegnamenti "a scelta" che possono essere selezionati

1. Metodi di Approssimazione
2. Metodi Numerici per la Grafica
3. Complementi di Calcolo Numerico

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/08 - Analisi Numerica
Approssimazione trigonometrica ai minimi quadrati di dati e funzioni periodiche; interpolazione trigonometrica. Trasformata discreta di Fourier: trasformata diretta (DFT) e inversa (IDFT); cenni agli algoritmi di trasformata veloce (FFT).
MAT/08 - Analisi Numerica
Applicazioni della DFT nell'approssimazione trigonometrica; filtraggio di segnali.
MAT/08 - Analisi Numerica
Decomposizione ai valori singolari e sue proprietà.
MAT/08 - Analisi Numerica
Introduzione alla decomposizione ai valori singolari (SVD) e agli algoritmi per calcolarla.
MAT/08 - Analisi Numerica
Il metodo del gradiente coniugato (CG) per sistemi lineari definiti positivi. Utilizzo di SVD e CG per risolvere problemi ai minimi quadrati lineari.
MAT/08 - Analisi Numerica
Problemi ai valori iniziali per equazioni differenziali ordinarie: generalità sui metodi a passo singolo e a passo multiplo; metodi di Runge-Kutta espliciti; proprietà di consistenza, zero-stabilità e convergenza.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti MAT/08

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Matrici positive, teorema di Perron-Frobenius e sue applicazioni ad alcuni modelli.
MAT/08 - Analisi Numerica
Alcuni modelli discreti di economia. Metodi multistep per equazioni differenziali.
MAT/08 - Analisi Numerica
Problemi stiff e regioni di assoluta stabilità dei metodi.
MAT/08 - Analisi Numerica
Analisi di stabilità lineare per sistemi continui e discreti mediante studio di funzioni di matrici.
MAT/08 - Analisi Numerica
Alcuni modelli di dinamica delle popolazioni.
MAT/08 - Analisi Numerica
Preliminari sulle equazioni alle differenze. Equazioni alle differenze e differenziali lineari a coefficienti constanti. Stabilità delle soluzioni.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti MAT/08

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Cenni di geometria differenziale. Curve di Bezier polinomiali e razionali. Algoritmi di de Casteljau, di degree elevation, di suddivisione.
MAT/08 - Analisi Numerica
Coniche in forma di Bezier razionale. Curve Bezier spline. Continuità classica e geometrica.
MAT/08 - Analisi Numerica
B-splines con nodi semplici e multipli. Teorema di Curry-Schoenberg. Curve B-spline.
MAT/08 - Analisi Numerica
Algoritmi di de Boor e di inserimento di un nodo. Interpolazione e approssimazione parametrica mediante curve spline.
MAT/08 - Analisi Numerica
Patches di Bezier tensor-product e triangolari. Superfici swept. Triangolazione di Delaunay.
MAT/08 - Analisi Numerica
Schemi di interpolazione parametrica mediante superfici spline su triangolazioni.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti MAT/08

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti FIS/02

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Ulteriori insegnamenti FIS/02