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

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Algoritmi Golosi
* A - Algoritmi fondamentali
grafi e algoritmi elementari su grafi
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi per la connessione forte e l'ordinamento topologico di grafi.
TAA - Tecniche Algoritmiche Avanzate
problema dell'hashing e algoritmi correlati
SDA - Strutture di Dati Avanzate
Alberi RB e statistiche d'ordine dinamiche
TAA - Tecniche Algoritmiche Avanzate
Programmazione Dinamica
* SDF - Strutture di Dati Fondamentali
strutture dati elementari, alberi, heap
* A - Algoritmi fondamentali
fondamenti matematici per la stima della complessità asintotica degli algoritmi;
* A - Algoritmi fondamentali
problema dell'ordinamento e della selezione;

Sillabo dell'insegnamento

• E - Architetture
GM - Gestione della Memoria
Organizzazione della memoria;
GIO - Gestione dell'Input/Output
Periferiche di I\O;
AA - Architetture Avanzate
Introduzione al pipelining, multicomputer, multiprocessori;
AA - Architetture Avanzate
Struttura della CPU; Data path; Architetture CISC; Architetture RISC;
* AC - Aritmetica dei calcolatori
I sistemi di calcolo come gerarchia di Macchine Astratte. Realizzazione di MA tramite Hardware, Interpretazione, Traduzione;
* CCS - Circuiti combinatori e sequenziali
Circuiti combinatori e sequenziali;
* LMP - Livello di Microprogrammazione
Microprogrammazione;
* LII - Livello Instruction Set
Realizzazione hardware di una semplice CPU
* ASS - Linguaggio Assembler
Un linguaggio assembly; Programmazione in assembly.

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
RDBMS: MySQL, ORACLE.
* PC - Progettazione concettuale
Progettazione di basi di dati, metodologie e modelli per il progetto, progettazione concettuale e logica.
* LI - Linguaggi di Interrogazione di Basi di Dati
SQL: concetti base, caratteristiche evolute,
* ML - Modelli logici
Il modello relazionale: Algebra e calcolo relazionale
* PL - Progettazione Logica
Progettazione di basi di dati, metodologie e modelli per il progetto, progettazione concettuale e logica.
NBD - Normalizzazione di Basi di Dati
Normalizzazione
TCR - Transazioni, Concorrenza e Recovery
Gestione delle transazioni
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
organizzazione fisica delle interrogazioni.
BDA - Basi di Dati Avanzate
Cenni sulle basi di dati ad oggetti ed XML. Cenni su OLAP e Data Mining

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
la risoluzione numerica del calcolo degli integrali
MAT/08 - Analisi Numerica
la risoluzione numerica delle equazioni non lineari
MAT/08 - Analisi Numerica
MATLAB come linguaggio di base. Richiami di elementi di Algebra Lineare
MAT/08 - Analisi Numerica
La teoria dell'analisi degli errori
MAT/08 - Analisi Numerica
la risoluzione numerica dei sistemi lineari con metodi diretti ed iterativi
MAT/08 - Analisi Numerica
l'interpolazione polinomiale e le splines

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Rette, piani, e quadriche.
MAT/05 - Analisi Matematica
Ellissi, parabole ed iperboli
MAT/05 - Analisi Matematica
Rette ed equazioni nel piano
MAT/05 - Analisi Matematica
Calcolo differenziale per funzioni di più variabili reali.
MAT/05 - Analisi Matematica
Funzioni di più variabili reali.
MAT/05 - Analisi Matematica
Integrale indefinito. Integrale definito
MAT/05 - Analisi Matematica
Successioni e serie di funzioni
MAT/05 - Analisi Matematica
Funzioni di una variabile reale
MAT/05 - Analisi Matematica
Calcolo differenziale e studio del grafico per funzioni di variabile reale
MAT/05 - Analisi Matematica
Numeri reali. Insiemi numerici. Numeri complessi.
MAT/05 - Analisi Matematica
Successioni e serie numeriche
MAT/05 - Analisi Matematica
Insiemi. Algebra. Logaritmi e trigonometria.

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
Grammatiche libere e automi a pila. Macchine di Turino. Linguaggi ricorsivamente enumerabili.
* CAL - Calcolabilita'
Modelli di calcolo, Tesi di Church-Turing. Programmazione logica e linguaggi formali
V - Varie
Architetture hardware di sistemi di calcolo. Sistemi operativi e macchine virtuali. Reti di calcolatori: Internet e World Wide Web
SLP - Semantica dei Linguaggi di Programmazione
Linguaggi di programmazione e paradigmi. Traduzione di programmi
L - Logica
Strutture algebriche, Algebre di Boole. Logica predicativa, sintassi e semantica.
L - Logica
Logica proposizionale, completezza e compattezza. Completezza e compattezza della logica predicativa
* ALF - Automi e Linguaggi Formali
Grammatiche formali e riconoscitori, gerarchia di Chomsky. Automi a stati finiti. Linguaggi regolari. Proprietà dei linguaggi regolari. Pumping lemma per linguaggi regolari.
COM - Complessita'
Rappresentazione di algoritmi, strutture di controllo. Principi di progettazione di algoritmi Elementi di analisi degli algoritmi.
TIC - Teoria dell'Informazione e Codici
Rappresentazione binaria dell'informazione. Dispositivi di memoria fisica dei dati. Compressione e validazione dei dati

Sillabo dell'insegnamento

• I - Ingegneria del software
EPGS - Economia della Produzione e Gestione di progetti Software
competenze professionali nell'uso di strumenti di laboratorio di supporto
* TVV - Testing, Verifica e Validazione
Tecniche di testing, verifica e validazione
* PSS - Processi di Sviluppo del Software
Processi di sviluppo e manutenzione del Software
* LMS - Linguaggi di Modellazione del Software
linguaggi standard UML e OCL
* LMS - Linguaggi di Modellazione del Software
linguaggi standard UML e OCL
* ASW - Architetture Software
metodi di progettazione e specifica di architetture software
* PSC - Progettazione del Software e Codifica
progettazione orientata agli oggetti
* AR - Analisi dei Requisiti
analisi dei requisiti, progettazione, collaudo e manutenzione
* ASW - Architetture Software
nozioni introduttive di base, principi e metodi dell'ingegneria del software, e architetture software

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
RV - Rendering e Visualizzazione
Risoluzione e Interpolazione
RV - Rendering e Visualizzazione
Campionamento e Quantizzazione;
TMI - Teorie e Modelli per l'Interazione
Introduzione all'Elaborazione delle Immagini
* IMW - Ipertesti, Multimedialità e WWW
Ipertesti e Multimedialità
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Le interfacce Java
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli e metodi per la progettazione dell'interazione.
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Compressione e Jpeg
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Operazioni sulle immagini. Convoluzioni. Trasformata di Fourier
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
I colori, suoni e video.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Grafi e proprietà.
MAT/03 - Geometria
Grafi e proprietà.
MAT/03 - Geometria
Calcolo combinatorio e probabilità discrete
MAT/03 - Geometria
Teoria dei numeri. Congruenze.
MAT/03 - Geometria
Vettori. Spazi Vettoriali. Applicazioni lineari e matrici. Autovalori ed autovettori
MAT/03 - Geometria
Insiemi ed operazioni su di essi
MAT/03 - Geometria
Relazioni di equivalenza e di ordinamento parziale
MAT/03 - Geometria
Operazioni algebriche binarie
MAT/03 - Geometria
Strutture algebriche: gruppi, campi
MAT/03 - Geometria
Matrici. Operazioni fra matrici. Matrici notevoli
MAT/03 - Geometria
Determinanti. Proprietà del determinante. Rango di una matrice.
MAT/03 - Geometria
Sistemi lineari e matrici ridotte per righe. Calcolo della matrice inversa. Teoremi di Cramer e di Rouché-Capelli

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/07 - Fisica Matematica
Sistemi a coda
MAT/07 - Fisica Matematica
Introduzione alle Catene di Markov
MAT/07 - Fisica Matematica
Statistica descrittiva.
MAT/07 - Fisica Matematica
Generazione di numeri casuali e metodo Monte Carlo
MAT/07 - Fisica Matematica
Stime di parametri e verifiche di ipotesi.
MAT/07 - Fisica Matematica
Elementi di probabilità.

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Notazione lineare strutturata
* SCP - Sviluppo e Correttezza dei Programmi
Il Linguaggio Java
* SS - Sintassi e Semantica
Il Linguaggio Java
* POO - Programmazione Orientata agli Oggetti
Classi, ereditarietà, polimorfismo
* R - Ricorsione
ricorsione
* POO - Programmazione Orientata agli Oggetti
principi della programmazione orientata ad oggetti
* P - Procedure
funzioni e procedure
* PSA - Problem Solving e Algoritmi
algoritmi di ricerca e ordinamento
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dato e array, operatori

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Java e le sue librerie
* R - Ricorsione
Esempi di algoritmi ricorsivi
* SCP - Sviluppo e Correttezza dei Programmi
Sviluppo e correttezza di programmi.
* PSA - Problem Solving e Algoritmi
Algoritmi di ordinamento bubble sort, insertion sort, quicksort e mergesort
* PSA - Problem Solving e Algoritmi
Concetti di base di complessità computazionale.
* SDTD - Strutture Dati e Tipi di Dati astratti
alberi e grafi
* SDTD - Strutture Dati e Tipi di Dati astratti
Pile, code, liste
PP - Paradigmi di Programmazione
Modelli di dati astratti e programmazione ad oggetti
* POO - Programmazione Orientata agli Oggetti
Java e le sue librerie

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
sincronizzazione dei processi, deadlock
* GM - Gestione della Memoria
gestione della memoria centrale, memoria virtuale
GP - Gestione delle Periferiche
gestione dell'I/O e periferiche
* AMM - Amministrazione di sistema
comandi UNIX, shell, scripting
* FS - File System
interfaccia con il file-system, problematiche di implementazione di un file-system
* GSP - Gestione e Sincronizzazione dei Processi
gestione dei processi e thread; schedulazione
* SCO - Struttura e Componenti di un sistema operativo
Struttura di un sistema operativo
* AMM - Amministrazione di sistema
gestione dei processi unix
* AMM - Amministrazione di sistema
comunicazione inter-processo (code di messaggi, memoria condivisa, semafori)

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Architettura di un sistema per il data mining
BDA - Basi di Dati Avanzate
Introduzione al data warehousing: strumenti ETL, OLAP
BDA - Basi di Dati Avanzate
Algoritmi e metodi per il clearing dei dati
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Tecniche di learning avanzate: cenni sui modelli di Markov Nascosit, Support Vector Machine
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Tecniche di clustering avanzate: DBSCAN, BIRCH
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Introduzione al learning unsupervised: clustering, tecniche di base
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Metodi per il testing dei sistemi di learning: k-fold cross validation, curve ROC.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Tecniche per il boosting del learning: ADABOOST, Bootstrap
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Metodi per il calcolo della significatività dei risultati: Friedman Rank Test, Willcoxon Rank Test, Efron test

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Tipi di sorgenti e codici. Secondo teorema di Shannon.
TIC - Teoria dell'Informazione e Codici
Canali e loro proprietà
TIC - Teoria dell'Informazione e Codici
Modello per la trasmissione dell'informazione. Rumore e codifica di canale. Entropia. Relazione tra entropia e mutua informazione. Il primo teorema di Shannon
• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Crittografia asimmetrica.
TAA - Tecniche Algoritmiche Avanzate
RSA e firme digitali.
TAA - Tecniche Algoritmiche Avanzate
Funzioni hash crittografiche.
AN - Algoritmi Numerici
Elementi ed algoritmi di teoria dei numeri computazionale.
TAA - Tecniche Algoritmiche Avanzate
Sicurezza dei cifrari
TAA - Tecniche Algoritmiche Avanzate
Cifrari e loro proprietà.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
cenni su complessità e classi di complessità (NP-completezza)
* ALF - Automi e Linguaggi Formali
macchina URM e funzioni URM-computabili
L - Logica
problemi e predicati decidibili
L - Logica
metodo diagonale di Cantor, teorema s-m-n
* CAL - Calcolabilita'
programmi universali e applicazioni
* CAL - Calcolabilita'
decidibilità, indecidibilità e parziale decidibilità
* ALF - Automi e Linguaggi Formali
problema della fermata, problemi dell'input e dell'output, ecc.
L - Logica
teoremi di Rice e di Rice-Shapiro
* CAL - Calcolabilita'
insiemi ricorsivi e insiemi ricorsivamente enumerabili, teorema di ricorsione

Insegnamenti "macro" nell'ambito dei quali può essere scelto