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
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: pile, code.
SDA - Strutture di Dati Avanzate
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 dei grafi
SDA - Strutture di Dati Avanzate
Tabelle hash: tabelle ad accesso diretto, funzioni hash, risoluzione delle collisioni.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Infinitesimi ed infiniti.
MAT/05 - Analisi Matematica
Integrali impropri.
MAT/05 - Analisi Matematica
Serie numeriche.
MAT/05 - Analisi Matematica
Serie di funzioni.
MAT/05 - Analisi Matematica
Curve.
MAT/05 - Analisi Matematica
Funzioni di più variabili.
MAT/05 - Analisi Matematica
Calcolo differenziale. Gradiente. Derivate. Piano tangente.
MAT/05 - Analisi Matematica
Massimi e minimi per funzioni di più variabili.
MAT/05 - Analisi Matematica
Integrali doppi e tripli.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
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.
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.

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Teoria della NP-completzza
L - Logica
Correttezza di algoritmi ricorsivi e imperativi: prove per induzione, invarianti di ciclo
• B - Algoritmi
SDA - Strutture di Dati Avanzate
Strutture union-find, hash table
* A - Algoritmi fondamentali
Algoritmi di ordinamento: elementari, mergesort, heapsort
* A - Algoritmi fondamentali
Algoritmi di ordinamento: quicksort, algoritmi lineari, limitazione inferiore
TAA - Tecniche Algoritmiche Avanzate
Programmazione dinamica, algoritmi greedy
* A - Algoritmi fondamentali
Algoritmi su grafi: topological sorting, componenti connesse, cammini minimi
* A - Algoritmi fondamentali
Algoritmi su grafi: minimo albero ricoprente, algoritmi di Prim e Kruskal

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

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

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Elementi di base della Geometria Analitica, con cenni ai sistemi lineari.
MAT/03 - Geometria
Calcolo vettoriale e Geometria Analitica.
MAT/03 - Geometria
Piano e spazio proiettivi, chiusura proiettiva delle coniche.
MAT/03 - Geometria
Coniche, cenni alle quadriche.
MAT/03 - Geometria
Trasformazioni mediante matrici, in coordinate cartesiane e omogenee.
MAT/03 - Geometria
Cenni alla Geometria Differenziale di curve e superfici.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Nozione intuitiva di tipo, dichiarazioni di costante e variabile, espressioni.
V - Varie
Laboratorio: procedure e funzioni.
* CB - Costrutti di Base
Assegnazione, I/O, blocchi, istruzioni di scelta, istruzioni iterative.
V - Varie
Laboratorio: puntatori e liste
V - Varie
Laboratorio: testing e debugging
V - Varie
Laboratorio: array bi-dimensionali, record, ..., accesso a file in lettura/scrittura.
* R - Ricorsione
Esempi semplici di funzioni ricorsive. Regole di visibilità delle dichiarazioni.
* CB - Costrutti di Base
Vector e array unidimensionali ed esempi riassuntivi.
* CB - Costrutti di Base
Laboratorio: introduzione alla programmazione C++, costrutti principali.
* POO - Programmazione Orientata agli Oggetti
Classi e struct, metodi, template.
* CB - Costrutti di Base
Puntatori, liste.
* P - Procedure
Funzioni e procedure, parametri IN, IN-OUT, OUT, passaggio per valore, riferimento e riferimento costante.
V - Varie
Complessità dei programmi iterativi e ricorsivi.
• 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: introduzione alla programmazione in Java.
* POO - Programmazione Orientata agli Oggetti
Laboratorio: programmazione in Java.
• D - Linguaggi
PLN - Paradigmi Linguistici
Concetti base del paradigma class-based: oggetti, classi, paradigma computazionale ad oggetti (linguaggio di riferimento Java).
PLN - Paradigmi Linguistici
Concetti base del paradigma object-oriented: ereditarietà, binding dinamico (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.
MP - Metodologie di Programmazione
Utilizzo dell'ereditarietà per lo sviluppo incrementale del software (linguaggio di riferimento Java).
MP - Metodologie di Programmazione
Linguaggio Java: costruttori, super, eccezioni, casting, hiding di campi, overloading, cenni alle classi predefinite.
PLN - Paradigmi Linguistici
Paradigma funzionale (linguaggio di riferimento Caml).
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Schema di implementazione di un linguaggio giocattolo: scanner, parser, type-checker

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
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.
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
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.
MAT/06 - Probabilita' e Statistica Matematica
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
Variabili statistiche quantitative, diagrammi di dispersioni, funzione di distribuzione cumulata, quantili, boxplot.
MAT/06 - Probabilita' e Statistica Matematica
Media, varianza, scarto, deviazione standard di una v.s. quantitativa, trasformazioni lineari di v.s. quantitative.
MAT/06 - Probabilita' e Statistica Matematica
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
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 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.

Sillabo dell'insegnamento

• B - Algoritmi
AD - Algoritmi Distribuiti
Algoritmi di elezione e mutua esclusione
AD - Algoritmi Distribuiti
Rilevazione e risoluzione deadlock
AD - Algoritmi Distribuiti
Terminazione e consenso
• 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
* 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.
GIO - Gestione dell'Input/Output
Interruzioni e trap: mascheramento, vettorizzazione, organizzazione interrupt handler.
GIO - Gestione dell'Input/Output
Dispositivi di I/O, registri memory mapped, trasferimenti DMA.
GM - Gestione della Memoria
Memoria virtuale a segmentazione e paginazione, confinamento e protezione dei processi.
* CCS - Circuiti combinatori e sequenziali
Logica circuitale: circuiti combinatori, sequenziali asincroni e sincroni, frequenza di clock.
* LMP - Livello di Microprogrammazione
Microarchitettura: struttura della CPU, data path, control path, microcodice.
* 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
MA - Modelli e Architetture di sistemi operativi
Richiami alla struttura del calcolatore ed elementi di sistemi operativi già visti a SEI1.
* GSP - Gestione e Sincronizzazione dei Processi
Paradigmi di interazione: condivisione, sincronizzazione, bufferizzazione, comunicazione. Scheduling di thread e processi. Processi e thread in Unix/Linux. Socket e API di comunicazione in locale e/o via rete.
* GSP - Gestione e Sincronizzazione dei Processi
Funzioni per comunicazione tra processi.
GCA - Gestione e Controllo degli Accessi
Controllo degli accessi e virtualizzazione delle risorse, identificazione, autenticazione e autorizzazione degli utenti, modelli mandatori, discrezionali e basati sui ruoli; access lists e capabilities. Kernel monolitico, microkernel modulare.
GP - Gestione delle Periferiche
Dispositivi e processi di controllo. Gestione di alcuni dispositivi: dispositivi a caratteri, a blocchi e clock. File system reali e pseudo file system; gestione della persistenza dei dati in presenza di dispositivi di memoria volatile; consistenza, aggiornamento, concorrenza e journaling.
* GM - Gestione della Memoria
Interruzioni, memoria virtuale, DMA, trap, politiche di coda, analisi operazionale.
• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Panoramica sulle tecnologie di rete e sull'internetworking
* PT - Protocolli
Lo stack di Internet: Livello Application
* PT - Protocolli
Lo stack di Internet: Livello Transport
* PT - Protocolli
Lo stack di Internet: Livello Network
* PT - Protocolli
Lo stack di Internet: Livello Link e reti locali
V - Varie
Laboratorio
V - Varie
Laboratorio