Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Introduzione intuitiva alla rete, descrivendone in modo qualitativo la struttura e le funzionalita'.
* ARTC - Architettura delle Reti di Calcolatori
Livello applicazione: protocolli per la gestione della posta elettronica, del WEB e del DNS.
* ARTC - Architettura delle Reti di Calcolatori
Livello sessione: i socket, programmazione dei socket.
* PT - Protocolli
Livello trasporto: protocolli TCP e UDP
* PT - Protocolli
Livello rete: protocolli IP e ICMP.
* PT - Protocolli
Protocolli di instradamento: algoritmi di instradamento, nozione di Sistema Autonomo, protocolli RIP, OSPF, BGP.

Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Calcolo della complessità
* SDF - Strutture di Dati Fondamentali
Grafi e Visite di Grafi
TAA - Tecniche Algoritmiche Avanzate
Programmazione dinamica: principio di ottimalita', problema dello zaino, scheduling ottimale della produzione
TAA - Tecniche Algoritmiche Avanzate
Algoritmi greedy
TAA - Tecniche Algoritmiche Avanzate
Grafi e algoritmi su grafi: algoritmo di Dijkstra per il calcolo dei cammini minimi, algoritmi di Kruskal e Prim per il calcolo dell'albero di copertura minima
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Nozioni di base di teoria dell'informazione (definizione di "informazione", approccio di Hartley, approccio di Shannon, teorema della diramazione, teorema di Shannon, entropia, guadagno di informazione
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Pattern Matching ed Algoritmi di Parsing;
* SDF - Strutture di Dati Fondamentali
Implementazione grafi e visite sui grafi
* A - Algoritmi fondamentali
Implementazione: minimo albero ricoprente; cammini minimi da singola sorgente.

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi di ordinamento basati sui confronti (insertion sort, merge sort, quicksort, heap sort) e basati sul conteggio (counting sort e radix sort)
* SDF - Strutture di Dati Fondamentali
Concetto di struttura dati. Pile, code, code con priorit
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi di algoritmi ricorsivi
* SDF - Strutture di Dati Fondamentali
Alberi radicati e loro rappresentazione. Alberi binari di ricerca. Alberi 2-3-4 e B-alberi.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Introduzione all'analisi degli algoritmi, concetto di analisi asintotica
* A - Algoritmi fondamentali
Tabelle hash e code con priorita'.
* A - Algoritmi fondamentali
Implementazione ricerche e algoritmi di sorting avanzati: Heap sort, Quicksort;
* A - Algoritmi fondamentali
Implementazione strutture dati dinamiche : Alberi 2-3, B-alberi, alberi AVL;
* A - Algoritmi fondamentali
Implementazione Ricerca indicizzata su Alberi binari di ricerca e Tabelle di hash

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Funzioni integrali: generalizzazioni del teorema fondamentale del calcolo integrale.
MAT/05 - Analisi Matematica
Insiemi numerici
MAT/05 - Analisi Matematica
Funzioni di una variabile: concetto di limite, continuità, derivabilità. Teorema di Weierstrass e lemma di Fermat.
MAT/05 - Analisi Matematica
Teorema di Cauchy, Rolle e Lagrange e relative conseguenze.
MAT/05 - Analisi Matematica
Integrale definito: definizione mediante le somme di Riemann, proprietà delle funzioni integrabili, criteri di integrabilità
MAT/05 - Analisi Matematica
Teorema della media integrale, teorema fondamentale del calcolo integrale, metodi di integrazione.

Sillabo dell'insegnamento

• E - Architetture
* AC - Aritmetica dei calcolatori
Rappresentazione binaria dei numeri (interi, relativi e in virgola mobile)
* CCS - Circuiti combinatori e sequenziali
Reti logiche combinatorie e sequenziali
* CCS - Circuiti combinatori e sequenziali
Logica binaria, funzioni logiche binarie
* LII - Livello Instruction Set
Livelli di un sistema di elaborazione: livello della logica circuitale, livello della microarchitettura, livello della macchina convenzionale
* AC - Aritmetica dei calcolatori
Codifica dell'informazione
* AC - Aritmetica dei calcolatori
Codici binari ridondanti

Sillabo dell'insegnamento

• E - Architetture
* LMP - Livello di Microprogrammazione
La struttura hardware di una CPU
* LMP - Livello di Microprogrammazione
Architettura del processore IJVM con particolare riferimento al funzionamento del datapath, alla gestione della memoria, e all'utilizzo dello stack
GM - Gestione della Memoria
Organizzazione gerarchica della memoria e interazione fra i vari livelli della gerarchia
* LII - Livello Instruction Set
Utilizzo del linguaggio MAL come strumento per implementare nuove istruzioni IJVM
* LMP - Livello di Microprogrammazione
Come una istruzione macchina viene eseguita dall'hardware
* LII - Livello Instruction Set
Concetti di traduzione (in particolare di assemblaggio), linking, loading e binding

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Implementazione e manutenzione di una base dati SQL
* LI - Linguaggi di Interrogazione di Basi di Dati
Interrogazioni nel modello relazionale
* ML - Modelli logici
Modello relazionale dei dati e suoi aspetti teorici
* PC - Progettazione concettuale
Modello entita'-relazione
* PL - Progettazione Logica
Traduzione dal modello ER al modello relazionale
* DBMS - Sistemi di Gestione di Basi di Dati
Utilizzo di DDS (Database Design Studio) come tool CASE e utilizzo del DBMS PostgreSQL
* LI - Linguaggi di Interrogazione di Basi di Dati
Introduzione al linguaggio SQL.
NBD - Normalizzazione di Basi di Dati
Forme normali
TCR - Transazioni, Concorrenza e Recovery
Livelli di astrazione: esterno, logico e fisico. Nozioni di base sugli indici e sulle transazioni.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie uniformi, variabili aleatorie normali, variabili aleatorie esponenziali.
MAT/06 - Probabilita' e Statistica Matematica
Modelli di variabili aleatorie: Variabili di Bernoulli e binomiali,Distribuzione di Poisson,
MAT/06 - Probabilita' e Statistica Matematica
Elementi di Probabilità: Assiomi della probabilità, diagrammi di Venn, Spazi equiprobabili, probabilità condizionata
MAT/06 - Probabilita' e Statistica Matematica
Distribuzioni con esempi.
MAT/06 - Probabilita' e Statistica Matematica
Statistica descrittiva. Stimatori e proprietà degli stimatori.
MAT/06 - Probabilita' e Statistica Matematica
Intervalli di confidenza. Generalità sui test di ipotesi
MAT/06 - Probabilita' e Statistica Matematica
Teorema di Bayes.
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie e valore atteso: Variabili aleatorie discrete e continue, variabili aleatorie indipendenti,
MAT/06 - Probabilita' e Statistica Matematica
valore atteso, Varianza e covarianza.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Nozioni di base di teoria dei linguaggi.
* ALF - Automi e Linguaggi Formali
Linguaggi regolari ed espressioni regolari. Grammatiche lineari e corrispondenza con i linguaggi regolari. Automi a stati finiti e loro relazione con i linguaggi regolari
* ALF - Automi e Linguaggi Formali
Linguaggi e grammatiche context free. Grammatiche context sensitive (cenni). Principali strutture sintattiche e regole grammaticali per generarle
* ALF - Automi e Linguaggi Formali
Automi a pila (deterministici e non) e loro relazioni con i linguaggi context free
* ALF - Automi e Linguaggi Formali
Teoria di base del parsing LR: parsing bottom up a spostamento e riduzione
* ALF - Automi e Linguaggi Formali
Parsing LR(0), LR(1) ed LALR(1).

Sillabo dell'insegnamento

• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Concetti base sui compilatori.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione guidata dalla sintassi: grammatiche ad attributi e schemi di traduzione
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi semantica, controllo dei tipi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Ambienti di esecuzione dei linguaggi, in particolare di linguaggi di tipo imperativo
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Generazione del codice intermedio.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Linguaggi intermedi.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
Svolgimento progetto con il tool Together
* PSS - Processi di Sviluppo del Software
Definizione di Ingegneria del Software, modelli in cascata e a spirale
* AR - Analisi dei Requisiti
Introduzione alla gestione di progetto; Stima dei costi e scheduling di progetto; Analisi dei requisiti
* ASW - Architetture Software
Modelli di sistema (Data Flow, ASF, Reti di Petri); Architetture sw: dati e controllo
* PSC - Progettazione del Software e Codifica
Introduzione alla progettazione ad oggetti e alla notazione UML; Diagrammi delle classi e degli oggetti
* PSC - Progettazione del Software e Codifica
Dalla progettazione alla implementazione; il tool Together per la progettazione

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
ARC - Acquisizione e Rappresentazione della Conoscenza
Rappresentazione della conoscenza: cenni su formalismi logici e a regole. Sistemi di Case-Based Reasoning; uso del tool CBR-Works.
* RP - Risoluzione di Problemi
Algoritmi di miglioramento iterativo: hill-climbing e simulated annealing; cenni su problemi CSP; algoritmi per giochi a 2 concorrenti.
* RP - Risoluzione di Problemi
Ricerca nello spazio degli stati: ricerca path-based cieca ed euristica.
ARC - Acquisizione e Rappresentazione della Conoscenza
Conoscenza Incerta: richiami di calcolo delle probabilità; Bayesian Belief Networks (proprietà ed algoritmi) e uso di tool per il loro sviluppo (MSBNx, Hugin, ecc...).
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Teoria delle decisioni: generalità, il concetto di utilità attesa e di lotteria.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Influence Diagrams e loro uso per utilità multi-attributo.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Numeri interi. Divisibilità e numeri primi. Massimo comun divisore. Algoritmo di Euclide. Minimo comune multiplo. Equazioni diofantee.
MAT/02 - Algebra
Congruenze e classi di resto. Criteri di divisibilità. Rappresentazione di numeri con base diversa da 10. Teorema cinese del resto.
MAT/02 - Algebra
Condivisione di segreti mediante sistemi di congruenze. Il teorema di Eulero. Il problema del logaritmo discreto. Il protocollo di Diffie-Hellman. Il protocollo RSA.
MAT/02 - Algebra
Radici quadrate modulo n e lancio di una moneta al telefono. Test di primalità di Miller-Rabin. Polinomi somma, prodotto, divisione euclidea, teorema di Ruffini, teorema fondamentale dell'algebra.
MAT/03 - Geometria
Polinomio interpolatore. Cenni sui codici a correzione di errore di Reed-Solomon. Matrici e sistemi lineari.
MAT/03 - Geometria
Metodo di Eliminazione di Gauss. Codici a correzione di errore di Hamming.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Calcolo proposizionale
MAT/01 - Logica Matematica
Calcolo dei predicati
MAT/01 - Logica Matematica
Deduzione naturale

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Il Linguaggio C: tipi elementari, istruzioni ed espressioni
* CB - Costrutti di Base
Costrutti di controllo
* P - Procedure
Uso di funzioni, passaggio dei parametri
* SDTD - Strutture Dati e Tipi di Dati astratti
Vettori e stringhe
* SCP - Sviluppo e Correttezza dei Programmi
Decomposizione di un problema, scelta delle strutture dati e delle strutture di controllo
* P - Procedure
Funzioni, modello di esecuzione dei programmi C, puntatori e gestione della memoria
* SDTD - Strutture Dati e Tipi di Dati astratti
Algoritmi su arrays: cancellazione, ricerca sequenziale e binaria, ordinamento per selezione, inserzione e bubble sort
* CB - Costrutti di Base
Elementi del linguaggio di programmazione C: programmi, espressioni, istruzioni, dichiarazioni. Tipi di dato semplice e strutturato
* SCP - Sviluppo e Correttezza dei Programmi
Correttezza ed invarianti di ciclo

Sillabo dell'insegnamento

• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
Il tipo lista: Introduzione; Implementazione contigua; Implementazione linkata con array
* SDTD - Strutture Dati e Tipi di Dati astratti
Puntatori C e liste linkate; Esercizi iterativi su liste (realizzate tramite puntatori) in C
* R - Ricorsione
Ricorsione: Introduzione generale
* R - Ricorsione
Complessita' in spazio e tempo delle procedure e funzioni ricorsive; Record di attivazione per procedure e funzioni ricorsive
* R - Ricorsione
Esercizi di programmazione ricorsiva in C; Algoritmi ricorsivi di ordinameto: Quicksort, Mergesort
* SDTD - Strutture Dati e Tipi di Dati astratti
Implementazioni liste
* R - Ricorsione
Implementazione algoritmi ricorsivi su liste
* SDTD - Strutture Dati e Tipi di Dati astratti
Implemtazione strutture basate su liste (pile e code)
* R - Ricorsione
Implementazione algoritmi ricorsivi di ordinamento

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Graphical user interface (GUI), event-driven programming
* POO - Programmazione Orientata agli Oggetti
Model View Controller (MVC)
* POO - Programmazione Orientata agli Oggetti
oggetti, incapsulamento dei dati, invio di messaggi, classi, istanze, allocazione dinamica della memoria, puntatori e oggetti
* POO - Programmazione Orientata agli Oggetti
Programmazione in Java. Strutturazione in package. Streams, files e serializzazione.
* POO - Programmazione Orientata agli Oggetti
relazioni fra classi: ereditarieta', composizione, uso; confronto fra ereditariet? e composizione; confronto fra ridefinizione (overriding) e sovraccarico (overloading) di metodi e campi
* POO - Programmazione Orientata agli Oggetti
binding dinamico e riuso del codice; relazione fra binding dinamico, sottotipi, e polimorfismo

Sillabo dell'insegnamento

• H - Computazione su rete
GRC - Gestione di Reti di Calcolatori
Interfacciamento tra il livello rete e il livello dati: protocolli ARP, RARP
GRC - Gestione di Reti di Calcolatori
− Livello dati: protocolli per l'accesso al mezzo (Ethernet), tecniche per il rilevamento e la correzione degli errori di trasmissione.
DR - Dispositivi di Rete
Componenti utilizzati a livello dati: bridge, switch.
PASR - Programmazione di Applicazioni e Servizi di Rete
Comunicazione multimediale: architetture e protocolli di streaming
* PT - Protocolli
Comunicazione interattiva su reti IP: IP-PHONE, Video-conferenza su IP, protocolli RTP, SIP, H323.
* ARTC - Architettura delle Reti di Calcolatori
La rete Internet: funzionamento e organizzazione
* PT - Protocolli
Evoluzione futura di Internet: qualità del servizio, IP-V6
PASR - Programmazione di Applicazioni e Servizi di Rete
Servizi integrati e servizi differenziati
* ARTC - Architettura delle Reti di Calcolatori
Reti WIRELESS: reti WI-FI e Reti Cellulari

Sillabo dell'insegnamento

• F - Sistemi operativi
PS - Programmazione di Sistema
Processi nel sistema Unix
* SCO - Struttura e Componenti di un sistema operativo
organizzazione del nucleo
* GSP - Gestione e Sincronizzazione dei Processi
gestione dei processi
* GSP - Gestione e Sincronizzazione dei Processi
elementi di programmazione concorrente
* GM - Gestione della Memoria
gestione della memoria
* FS - File System
gestione delle periferiche, file system e tecniche di protezione
PS - Programmazione di Sistema
Richiami sull'ambiente di programmazione in Unix: comandi, funzioni di libreria, manuale on-line, compilazione separata e utilities di sviluppo
* GSP - Gestione e Sincronizzazione dei Processi
La libreria pthreads per la gestione dei threads in Unix
* GSP - Gestione e Sincronizzazione dei Processi
Sincronizzazione e comunicazione tra processi e threads

Sillabo dell'insegnamento

• F - Sistemi operativi
V - Varie
caso di studio: il sistema operativo Windows XP
MA - Modelli e Architetture di sistemi operativi
, file system distribuiti e sistemi operativi distribuiti
* GSP - Gestione e Sincronizzazione dei Processi
gestione del deadlock
GP - Gestione delle Periferiche
gestione dell'input/output
V - Varie
aspetti implementativi di Linux
MA - Modelli e Architetture di sistemi operativi
sistemi operativi di rete