Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Modelli di calcolo e metodologie di analisi degli algoritmi: criteri di costo, notazione asintotica, metodi di analisi, analisi di complessità degli algoritmi ricorsivi.
• B - Algoritmi
SDA - Strutture di Dati Avanzate
Tabelle hash: tabelle ad accesso diretto, funzioni hash, risoluzione delle collisioni.
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: alberi, visite di alberi.
* SDF - Strutture di Dati Fondamentali
Alberi binari, di ricerca
* SDF - Strutture di Dati Fondamentali
Alberi globalmente bilanciati, alberi AVL,
* SDF - Strutture di Dati Fondamentali
Code con priorità
* SDF - Strutture di Dati Fondamentali
Grafi e visite di grafi: definizioni, strutture dati, visite di grafi,
* SDF - Strutture di Dati Fondamentali
Applicazione degli algoritmi di visita.
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: pile, code.

Sillabo dell'insegnamento

• G - Basi di dati
V - Varie
Progetto di un modello di dati e sua implementazione in PostgreSQL
* LI - Linguaggi di Interrogazione di Basi di Dati
Gestione dati da programma: Stored procedures. Uso di SQL da linguaggio di programmazione
* PC - Progettazione concettuale
Progettazione concettuale: Il modello Entity-Relationship.
* PL - Progettazione Logica
Progettazione logica di una base di dati relazionale.
V - Varie
Progetto di un modello di dati e sua implementazione in PostgreSQL
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Cenni all'architettura di un DBMS.
* LI - Linguaggi di Interrogazione di Basi di Dati
Modelli tradizionali dei dati: Il modello relazionale. I linguaggi relazionali.
* DBMS - Sistemi di Gestione di Basi di Dati
Laboratorio: Introduzione a PostgreSQL. Esercitazioni su PosgreSQL relative agli aspetti trattati dal corso

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Controllo dell'accesso, Modelli discrezionale e mandatory, Grant e Revoke, Autorizzazione attraverso le viste, modelli basati sui ruoli.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Strutture di memorizzazione e indici. Rappresentazione interna delle interrogazioni e piani di esecuzione.
* DBMS - Sistemi di Gestione di Basi di Dati
Strutture di memorizzazione e indici
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Progettazione fisica di basi di dati relazionali. Ottimizzazioni per schema logico e schema esterno di una base di dati. Tuning di schemi e interrogazioni.
* DBMS - Sistemi di Gestione di Basi di Dati
Imlementazione delle interrogazioni
TCR - Transazioni, Concorrenza e Recovery
Transazioni per controllo della concorrenza e gestione del ripristino. Proprieta' ACID. Tecniche basate su lock. Livelli di isolamento. Tuning di concorrenza e ripristino.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Calcolo integrale: metodi di integrazione. Calcolo di aree.
MAT/05 - Analisi Matematica
Studio del grafico di una funzione.
MAT/05 - Analisi Matematica
Calcolo differenziale di funzioni reali di una variabile: derivazione.
MAT/05 - Analisi Matematica
Calcolo differenziale di funzioni reali di una variabile: continuità.
MAT/05 - Analisi Matematica
Calcolo differenziale di funzioni reali di una variabile: limiti.
MAT/05 - Analisi Matematica
Funzioni e loro proprietà.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Complementi di algebra lineare: autovalori. Trattamento numerico degli autovalori.
MAT/08 - Analisi Numerica
Decomposizione ai valori singolari e applicazioni ai minimi quadrati.
MAT/08 - Analisi Numerica
Interpolazione con funzioni spline.
MAT/08 - Analisi Numerica
Analisi degli errori.
MAT/08 - Analisi Numerica
Soluzione di sistemi lineari non singolari.
MAT/08 - Analisi Numerica
Soluzione approssimata di sistemi lineari nel senso dei minimi quadrati.

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/02 - Algebra
Cenni sugli spazi vettoriali.
MAT/02 - Algebra
Risoluzione di sistemi lineari.
MAT/01 - Logica Matematica
Monoidi, liste.
MAT/01 - Logica Matematica
Grafi, cammini.
MAT/02 - Algebra
Anelli di polinomi. Numeri complessi.
MAT/02 - Algebra
Aritmetica modulare.
MAT/02 - Algebra
Numeri interi.
MAT/02 - Algebra
Algoritmo euclideo.
MAT/01 - Logica Matematica
Correttezza e completezza per la logica del prim'ordine. Cenni ai Teoremi di Gödel, Turing, Church.
MAT/01 - Logica Matematica
Sintassi: calcolo dei predicati e teorie formali. Semantica: interpretazioni, modelli.
MAT/01 - Logica Matematica
Numeri naturali e induzione. Cardinalità.
MAT/01 - Logica Matematica
Insiemi, prodotti cartesiani. Funzioni, infinito.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Variabili statistiche qualitative, frequenza assoluta e relativa, legge empirica di una variabile statistica, tabella di contingenza di una v.s. qualitativa, distribuzione di due (o più) v.s. qualitative, legge coniugata e leggi marginali, leggi condizionate (profili riga e profili colonna), indipendenza di v.s. qualitative.
MAT/06 - Probabilita' e Statistica Matematica
Spazio campionario (o probabilizzabile), spazio degli eventi, funzione probabilità, primi esempi di spazi probabilizzati finiti, probabilità condizionata, formula di Bayes, indipendenza di eventi, estrazioni con e senza ripetizione.
MAT/06 - Probabilita' e Statistica Matematica
Variabili statistiche quantitative, diagrammi di dispersioni, funzione di distribuzione cumulata, quantili, boxplot. Media, varianza, scarto, deviazione standard di una v.s. quantitativa, trasformazioni lineari di v.s. quantitative. Covarianza e coefficiente di correlazione tra due v.s. quantitative. Confronto tra due v.s. quantitative (confronto dei boxplot, confronto dei grafici delle frequenze cumulate, QQ-plot). Regressione lineare, retta di regressione di Y relativamente a X.
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie discrete, densità, funzione di distribuzione, media e varianza di v.a. discreta, quantili, densità congiunta di due (o più) v.a. discrete, covarianza. Distribuzione uniforme, binomiale, geometrica (perdita della memoria), variabili aleatorie continue, densità, funzione di distribuzione, media, varianza quantili. Distribuzione normale (uso delle tavole). Legge dei grandi numeri e approssimazione normale.
MAT/06 - Probabilita' e Statistica Matematica
Test per la media, la varianza e la frequenza relativa di una variabile aleatoria dicotomica. Test chi-quadrato di indipendenza e bontà di adattamento.
MAT/06 - Probabilita' e Statistica Matematica
Popolazione e campioni. Stimatori e intervalli di confidenza della media, della varianza e della frequenza relativa di una variabile aleatoria dicotomica.

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Sintassi e semantica algebrica, pattern matching, unificazione.
V - Varie
Abstract e Term Rewriting Systems, sistemi ortogonali.
V - Varie
Lambda-calcolo, alfa- e beta-conversione.
* ALF - Automi e Linguaggi Formali
Automi a stati finiti, linguaggi regolari.
* ALF - Automi e Linguaggi Formali
Sistemi di transizione etichettati, CCS, bisimulazione, Hennessy-Milner logic.
* ALF - Automi e Linguaggi Formali
Strong e weak equivalence, weak congruence.
* CAL - Calcolabilita'
TM (Turing Machine), RAM (Random Access Machine); funzioni calcolabili; Tesi di Church.
* CAL - Calcolabilita'
Riducibilita' tra problemi, funzione e TM universale, Halting problem, predicato di Kleene.
* CAL - Calcolabilita'
Proprieta' di chiusura di R ed RE, Teorema S-m-n, Teorema di Rice.

Sillabo dell'insegnamento

• I - Ingegneria del software
* AR - Analisi dei Requisiti
Cattura, analisi e specifica dei requisiti; notazioni di supporto
* PSC - Progettazione del Software e Codifica
Software design; stili architetturali, tecniche e notazioni di supporto
* TVV - Testing, Verifica e Validazione
Testing (unit, integration e system testing) e manutenzione
* LMS - Linguaggi di Modellazione del Software
Notazione UML per requisiti e design
* LMS - Linguaggi di Modellazione del Software
Notazione UML per requisiti e design
V - Varie
Motivazioni e natura del SE; modelli del ciclo di vita del software

Sillabo dell'insegnamento

• C - Programmazione
V - Varie
Complessità dei programmi iterativi e ricorsivi.
* P - Procedure
Funzioni e procedure, parametri IN, IN-OUT, OUT, passaggio per valore, riferimento e riferimento costante.
* CB - Costrutti di Base
Puntatori, liste.
* POO - Programmazione Orientata agli Oggetti
Classi e struct, metodi, template.
* CB - Costrutti di Base
Laboratorio: introduzione alla programmazione C++, costrutti principali.
* CB - Costrutti di Base
Vector e array unidimensionali ed esempi riassuntivi.
* R - Ricorsione
Esempi semplici di funzioni ricorsive. Regole di visibilità delle dichiarazioni.
V - Varie
Laboratorio: array bi-dimensionali, record, ..., accesso a file in lettura/scrittura.
V - Varie
Laboratorio: testing e debugging
V - Varie
Laboratorio: puntatori e liste
* CB - Costrutti di Base
Assegnazione, I/O, blocchi, istruzioni di scelta, istruzioni iterative.
V - Varie
Laboratorio: procedure e funzioni.
* CB - Costrutti di Base
Nozione intuitiva di tipo, dichiarazioni di costante e variabile, espressioni.
• E - Architetture
V - Varie
Codifica dell'informazione.
* LII - Livello Instruction Set
Esempi di macchina di von Neumann e macchina con stack.

Sillabo dell'insegnamento

• C - Programmazione
V - Varie
Laboratorio: programmazione funzionale.
* POO - Programmazione Orientata agli Oggetti
Laboratorio: programmazione in Java.
* POO - Programmazione Orientata agli Oggetti
Laboratorio: introduzione alla programmazione in Java.
• D - Linguaggi
PLN - Paradigmi Linguistici
Paradigma funzionale (linguaggio di riferimento Caml).
MP - Metodologie di Programmazione
Linguaggio Java: costruttori, super, eccezioni, casting, hiding di campi, overloading, cenni alle classi predefinite.
MP - Metodologie di Programmazione
Utilizzo dell'ereditarietà per lo sviluppo incrementale del software (linguaggio di riferimento Java).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Schema di implementazione di un linguaggio giocattolo: interprete
* LF - Linguaggi Formali
Linguaggi formali e compilazione.
* S - Semantica
Semantica dei costrutti di base.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Schema di implementazione di un linguaggio giocattolo: scanner, parser, type-checker
PLN - Paradigmi Linguistici
Concetti base del paradigma object-oriented: ereditarietà, binding dinamico (linguaggio di riferimento Java).
PLN - Paradigmi Linguistici
Concetti base del paradigma class-based: oggetti, classi, paradigma computazionale ad oggetti (linguaggio di riferimento Java).

Sillabo dell'insegnamento

• B - Algoritmi
AD - Algoritmi Distribuiti
Terminazione e consenso
AD - Algoritmi Distribuiti
Rilevazione e risoluzione deadlock
AD - Algoritmi Distribuiti
Algoritmi di elezione e mutua esclusione
• C - Programmazione
PCC - Programmazione Concorrente
Modello a memoria comune
PCC - Programmazione Concorrente
Modello a scambio di messaggi
PCC - Programmazione Concorrente
Chiamate di procedura remota e rendez-vous

Sillabo dell'insegnamento

• E - Architetture
* LMP - Livello di Microprogrammazione
Microarchitettura: struttura della CPU, data path, control path, microcodice.
* CCS - Circuiti combinatori e sequenziali
Logica circuitale: circuiti combinatori, sequenziali asincroni e sincroni, frequenza di clock.
GM - Gestione della Memoria
Memoria virtuale a segmentazione e paginazione, confinamento e protezione dei processi.
GIO - Gestione dell'Input/Output
Dispositivi di I/O, registri memory mapped, trasferimenti DMA.
GIO - Gestione dell'Input/Output
Interruzioni e trap: mascheramento, vettorizzazione, organizzazione interrupt handler.
* AC - Aritmetica dei calcolatori
Codici e rappresentazioni: ASCII, virgola fissa e mobile, ridondanza, codici ad espansione.
* AC - Aritmetica dei calcolatori
Rilevazione e correzione di errori: distanza di Hamming, bit di parita', codici di Hamming.
VMP - Valutazione e Miglioramento delle Prestazioni
Pipelining, istruzioni di salto, stallo, branch prediction, superscalarita', riordinamento delle istruzioni.
VMP - Valutazione e Miglioramento delle Prestazioni
Memoria cache, localita', memoria associativa e a corrispondenza diretta, consistenza write-through e write back.
V - Varie
Bus di sistema: protocolli asincrono e sincrono, arbitraggio, temporizzazione.
* LII - Livello Instruction Set
CISC e RISC: modi di indirizzamento, ortogonalita', istruzioni load/store.
* ASS - Linguaggio Assembler
Macchine convenzionali e programmazione in codice macchina e linguaggio Assembler, stack.

Sillabo dell'insegnamento

• F - Sistemi operativi
* GM - Gestione della Memoria
Paginazione. Algoritmi di sostituzione. La gestione della memoria in Unix/Linux
GP - Gestione delle Periferiche
Caratteristiche del software di I/O, vari livelli di gestione: interruzioni, driver dei dispositivi, I/O software indipendente dai dispositivi.
PS - Programmazione di Sistema
Introduzione alla shell. Funzionalità. Gestione file. Gestione directory. Gestione processi. Gestione interruzioni.
* SCO - Struttura e Componenti di un sistema operativo
Struttura e caratteristiche dei sistemi Unix/Linux e Windows.
* GSP - Gestione e Sincronizzazione dei Processi
Funzioni per comunicazione tra processi.
* GSP - Gestione e Sincronizzazione dei Processi
Scheduling di thread e processi. Processi e thread in Unix/Linux
• H - Computazione su rete
V - Varie
Laboratorio
* PT - Protocolli
Livello Link
* PT - Protocolli
Livello network
* PT - Protocolli
Livello transport
* PT - Protocolli
Livello application
* ARTC - Architettura delle Reti di Calcolatori
Architettura di rete e stack di Internet
V - Varie
Laboratorio

Sillabo dell'insegnamento

• D - Linguaggi
MP - Metodologie di Programmazione
XML e trasformazioni XSLT per progettazione multibrowser (con esercitazioni)
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione web lato server: accesso a basi di dati remote (con esercitazioni)
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione web lato server: cookies e sessioni (con esercitazioni)
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione web lato client: JavaScript (con esercitazioni)
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione web lato client: Ajax (con esercitazioni)
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione web lato server: PHP (con esercitazioni)

Sillabo dell'insegnamento

• C - Programmazione
V - Varie
Progetto nel framework DotNet
V - Varie
Progetto nel framework DotNet
* POO - Programmazione Orientata agli Oggetti
Approfondimenti di programmazione OO in C#
* POO - Programmazione Orientata agli Oggetti
Implementazione e uso di componenti
* POO - Programmazione Orientata agli Oggetti
Persistenza dei dati: tecnologie ORM
• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Progettazione basata su componenti
* PSC - Progettazione del Software e Codifica
Interfacce, requisiti funzionali e non, descrizioni sintattiche e semantiche
* PSC - Progettazione del Software e Codifica
Modello delle componenti nel framework DotNet