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
Alberi binari, di ricerca, alberi globalmente bilanciati, alberi AVL, code con priorità.
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: alberi, visite di alberi.
* SDF - Strutture di Dati Fondamentali
Grafi e visite di grafi: definizioni, strutture dati, visite di grafi, applicazione degli algoritmi di visita.
* A - Algoritmi fondamentali
Algoritmi di ordinamento: alberi di decisione, delimitazione inferiore nel caso peggiore, algoritmi incrementali.
* A - Algoritmi fondamentali
Algoritmi di ordinamento: heapsort, mergesort, quicksort.
TAA - Tecniche Algoritmiche Avanzate
Tecniche algoritmiche: tecnica divide-et-impera, programmazione dinamica, tecnica greedy.
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

• B - Algoritmi
SDA - Strutture di Dati Avanzate
Alberi: alberi auto-aggiustanti, 2-3 e 2-3-4 alberi, alberi rosso-neri
SDA - Strutture di Dati Avanzate
B-alberi, B+ alberi , kD alberi, Skip lists
SDA - Strutture di Dati Avanzate
Complementi su code con priorita': d-heap, heap binomiali,heap di Fibonacci
TAA - Tecniche Algoritmiche Avanzate
Tecniche di ricerca digitale: prefix query, tries, patrician tries
TAA - Tecniche Algoritmiche Avanzate
Algoritmi union-find
TAA - Tecniche Algoritmiche Avanzate
Algoritmi per calcolo del minimo albero di ricoprimento; algoritmi per il calcolo di cammini minimi
* A - Algoritmi fondamentali
Complementi su algoritmi di ordinamento: radix sort;
* A - Algoritmi fondamentali
Statistiche di ordine; cenno ad algoritmi randomizzati

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/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. Semantica: interpretazioni, modelli.
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/02 - Algebra
Monoidi, liste.
MAT/02 - Algebra
Grafi, cammini.
MAT/02 - Algebra
Anelli di polinomi. Numeri complessi.
MAT/03 - Geometria
Cenni sugli spazi vettoriali.
MAT/03 - Geometria
Risoluzione di sistemi lineari.

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Sistemi di riscrittura.
V - Varie
Lambda-calcolo.
* ALF - Automi e Linguaggi Formali
Automi a stati finiti: linguaggi regolari.
* ALF - Automi e Linguaggi Formali
Sistemi di transizione e algebre di processi.
* ALF - Automi e Linguaggi Formali
Bisimulazione, congruenza osservazionale, altre congruenze.
* CAL - Calcolabilita'
TM (Turing Machine), RAM (Random Access Machine); funzioni calcolabili; Tesi di Church e tesi di Church estesa.
* CAL - Calcolabilita'
Problemi decidibili e semidecidibili; riducibilità tra problemi; TM universale; proprietà di chiusura dei linguaggi (semi)decidibili.
COM - Complessita'
Classi naturali di complessità e relazioni di inclusione.
COM - Complessita'
Teorema di Cook; esempi di problemi NP-completi.

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

• H - Computazione su rete
* PT - Protocolli
Livello Link: Ethernet
* PT - Protocolli
Livello Network: IP
V - Varie
Laboratorio: analisi di traffico
V - Varie
Laboratorio: programmazione con socket
* PT - Protocolli
Livello Transport: TCP, UDP
* PT - Protocolli
Livello Application: HTTP, SMTP, POP, DNS, FTP
* MIR - Modelli di Interazione in Rete
Archiettura Client/Server

Sillabo dell'insegnamento

• 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).
V - Varie
Laboratorio: introduzione alla programmazione in Java.
V - Varie
Laboratorio: programmazione in Java.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Schema di implementazione di un linguaggio giocattolo: interprete; uso del sistema Caml.
* 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
V - Varie
Laboratorio: programmazione funzionale.

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
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/Windows.
GP - Gestione delle Periferiche
Caratteristiche del software di I/O, vari livelli di gestione: interruzioni, driver dei dispositivi, I/O software indipendente dai dispositivi.
* GM - Gestione della Memoria
Paginazione. Algoritmi di sostituzione. La gestione della memoria in Unix/Windows.