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

• 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/03 - Geometria
Cenni sugli spazi vettoriali.
MAT/03 - Geometria
Risoluzione di sistemi lineari.
MAT/02 - Algebra
Monoidi, liste.
MAT/02 - Algebra
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
COM - Complessita'
Teorema di Cook; esempi di problemi NP-completi.
COM - Complessita'
Classi naturali di complessità e relazioni di inclusione.
* CAL - Calcolabilita'
Problemi decidibili e semidecidibili; riducibilità tra problemi; TM universale; proprietà di chiusura dei linguaggi (semi)decidibili.
* CAL - Calcolabilita'
TM (Turing Machine), RAM (Random Access Machine); funzioni calcolabili; Tesi di Church e tesi di Church estesa.
* ALF - Automi e Linguaggi Formali
Bisimulazione, congruenza osservazionale, altre congruenze.
* ALF - Automi e Linguaggi Formali
Sistemi di transizione e algebre di processi.
* ALF - Automi e Linguaggi Formali
Automi a stati finiti: linguaggi regolari.
V - Varie
Sistemi di riscrittura.
V - Varie
Lambda-calcolo.

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

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

Sillabo dell'insegnamento

• F - Sistemi operativi
PS - Programmazione di Sistema
programmazoine shell bash
* AMM - Amministrazione di sistema
installazione di sistemi GNU/Linux; configurazione di collegamenti in rete locale
• H - Computazione su rete
GRC - Gestione di Reti di Calcolatori
utilizzo di strumenti di analisi di traffico
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
semplici esempi di programmi client-server a scopo illustrativo di alcuni protocolli di rete
PASR - Programmazione di Applicazioni e Servizi di Rete
semplici esempi di programmi client-server a scopo illustrativo di alcuni protocolli di rete
GRC - Gestione di Reti di Calcolatori
configurazione di nodi gateway; configurazione di sistemi firewall

Sillabo dell'insegnamento

• 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.
V - Varie
Laboratorio: programmazione funzionale.
MP - Metodologie di Programmazione
Utilizzo dell'ereditarietà per lo sviluppo incrementale del software (linguaggio di riferimento 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.
* 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 in Java.
V - Varie
Laboratorio: introduzione alla programmazione in Java.
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/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.
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.

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