Sillabo dell'insegnamento

• B - Algoritmi
SDA - Strutture di Dati Avanzate
Tecniche di hashing per la gestione di tabelle, Tecniche di bilanciamento di alberi.
* SDF - Strutture di Dati Fondamentali
Strutture dati fondamentali: pile e code. Algoritmi per la loro manipolazione: inserimento, cancellazione.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi asintotica.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di progetto (divide-et-impera, golosa, ...).
* A - Algoritmi fondamentali
Algoritmi fondamentali (ricerca, ordinamento, ...).
* SDF - Strutture di Dati Fondamentali
Grafi: rappresentazione, algoritmi di visita. Alberi: visite, alberi binari di ricerca.
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi (cammini minimi, minimo albero ricoprente, ...).
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi approssimati. Fondamenti ed esempi (minimum vertex cover).
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: vettori, matrici, liste. Algoritmi per la loro manipolazione: ricerca, inserimento, cancellazione
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di base per l'analisi della complessità computazionale.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche di progettazione algoritmi.
TAA - Tecniche Algoritmiche Avanzate
Programmazione di strutture dati e confronto critico dei risultati teorici e sperimentali.

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/02 - Algebra
Elementi di teoria dei gruppi. Esempi di gruppi.
MAT/02 - Algebra
Morfismi. Teoremi di isomorfismo per gli anelli. Caratteristica di un anello.
MAT/05 - Analisi Matematica
Limiti di successioni e di funzioni in una variabile reale.
MAT/05 - Analisi Matematica
Alcuni limiti notevoli.
MAT/05 - Analisi Matematica
Funzioni continue.
MAT/05 - Analisi Matematica
Derivate ed integrali (definiti ed indefiniti).
MAT/05 - Analisi Matematica
Studio di funzione.
MAT/05 - Analisi Matematica
Polinomi di Taylor, Serie numeriche.
MAT/02 - Algebra
Anelli di polinomi. Ideali primi e massimali. Fattorizzazione unica.
MAT/02 - Algebra
Proprietà elementari dei gruppi. Sottogruppi. Gruppi ciclici.
MAT/02 - Algebra
Laterali e teorema di Lagrange. Sottogruppi normali e gruppi quoziente. Morfismi. I teoremi di isomorfismo.
MAT/02 - Algebra
Elementi di teoria degli anelli. Anelli e campi. Ideali. Anelli quoziente.

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
Modelli di calcolo (Macchine di Turing).
* CAL - Calcolabilita'
Equivalenza Versioni Macchine di Turing e Tesi di Church.
* CAL - Calcolabilita'
Risultati fondamentali di teoria della calcolabilità.
* CAL - Calcolabilita'
Risultati fondamentali di teoria della calcolabilità.
* ALF - Automi e Linguaggi Formali
Gerarchia di Chomsky.
* ALF - Automi e Linguaggi Formali
Relazioni tra Insiemi Ricorsivi-Ricors. Enumerabili e Linguaggi generati da grammatiche.

Sillabo dell'insegnamento

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

Insegnamenti "a scelta" che possono essere selezionati

1. Advanced Database
2. MODELLING AND SIMULATION
3. IT SECURITY AND DISTRIBUITED SYSTEM
4. COMPILERS AND COMPUTATION

Sillabo dell'insegnamento

• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Principali diagrammi UML.
* TVV - Testing, Verifica e Validazione
Validazione.
MES - Manutenzione ed Evoluzione del Software
Processi di supporto (gestione e controllo, documentazione, ...).
* TVV - Testing, Verifica e Validazione
Verifica.
* ASW - Architetture Software
Realizzazione di sistema software.
* PSS - Processi di Sviluppo del Software
Specifica dei requisiti.
* PSC - Progettazione del Software e Codifica
Progettazione di sistema software.
* ASW - Architetture Software
Architetture software .
* AR - Analisi dei Requisiti
Analisi dei requisiti.
* PSS - Processi di Sviluppo del Software
Metodologie di sviluppo del software.
* LMS - Linguaggi di Modellazione del Software
Modelli di sistema.
* LMS - Linguaggi di Modellazione del Software
Progettazione di un sistema software in UML.

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
Protocolli di basso livello.
* PT - Protocolli
Protocolli di comunicazione, TCP/IP, instradamento e trasporto.
* PT - Protocolli
Protocolli e servizi per applicazioni di rete.
GRC - Gestione di Reti di Calcolatori
Monitor del traffico di rete.
* SR - Sicurezza delle Reti
Principi generali (passwords e vulnerabilità, metodoliga di hardening, assessment e auditing)
PASR - Programmazione di Applicazioni e Servizi di Rete
Socket, porte, aprire e chiudere una connessione, controllo di flusso e congestione.
* SR - Sicurezza delle Reti
Sicurezza a livello 1 e 2, firewall stateless e statefull, linux netfilter ed esempi di configurazioni, proxy e loro vulnerabilità. Suddivisioni di carico e full high-availability. Intrusion detection systems di rete.
* PT - Protocolli
Certificati, certification authority, public key infrastructure e loro vulnerabilità.
* PT - Protocolli
Applicazioni: Protocolli ssl, tls, ssh, virtual private network, ipsec, pptp.
* PT - Protocolli
Protocolli di autenticazione punto-punto PAP, CHAP, MS-CHAP, EAP. Autenticazione degli utenti in rete locale 802.1X, radius e vulnerabilità . .
* SR - Sicurezza delle Reti
richiami di crittografia (hash, simmetrica, asimmetrica, MAC, firma digitale), attacchi birthday, rainbow, qualità delle chiavi.
* SR - Sicurezza delle Reti
Generazione di numeri pesudo-casuali .Protocolli di autenticazione e di scambio di chiavi. Attacchi replay e reflection. Nonces .

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Modelli e teorie.
MAT/01 - Logica Matematica
Elementi di logica.
MAT/01 - Logica Matematica
Logica predicativa, logica proposizionale.
MAT/01 - Logica Matematica
Calcoli logici.
MAT/01 - Logica Matematica
Deduzione naturale.
MAT/01 - Logica Matematica
Rappresentabilità logica.

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
Algoritmi e problem-solving.
* SS - Sintassi e Semantica
Sintassi dei linguaggi di programmazione.
* SS - Sintassi e Semantica
Semantica dei linguaggi di programmazione.
* CB - Costrutti di Base
Costrutti di base della programmazione.
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dati.
* P - Procedure
Funzioni e procedure.
* R - Ricorsione
Ricorsione.
* SCP - Sviluppo e Correttezza dei Programmi
Correttezza dei programmi.
* POO - Programmazione Orientata agli Oggetti
Elementi di programmazione a oggetti: Classi, oggetti, ereditarietà, polimorfismo.
* POO - Programmazione Orientata agli Oggetti
Il linguaggio Java.
V - Varie
Relativi ambienti di sviluppo.
* POO - Programmazione Orientata agli Oggetti
Sviluppo di un progetto software in Java.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
APPLICAZIONI BIOMEDICHE
MAT/03 - Geometria
BIG DATA
MAT/09 - Ricerca Operativa
BUSINESS INTELLIGENCE
MAT/08 - Analisi Numerica
GPU COMPUTING
MAT/09 - Ricerca Operativa
PROCESSI PRODUTTIVI
MAT/09 - Ricerca Operativa
SIMULAZIONE DI SISTEMI COMPLESSI

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• E - Architetture
* LII - Livello Instruction Set
Processori, gerarchie di memorie, comunicazioni, dispositivi.
* AC - Aritmetica dei calcolatori
Reti combinatorie, Sistemi a livelli.
VMP - Valutazione e Miglioramento delle Prestazioni
Principi di parallelismo e cooperazione (validi a tutti i livelli), prestazioni
* ASS - Linguaggio Assembler
Caratteristiche dei linguaggi di programmazione assembler con riferimento ad uno specifico caso di studio.
* CCS - Circuiti combinatori e sequenziali
Funzionamento dell'elaboratore e delle sue parti hardware.
* LMP - Livello di Microprogrammazione
Caratteristiche dei linguaggi di microprogrammazione con riferimento ad uno specifico caso di studio.

Sillabo dell'insegnamento

• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
Struttura di un sistema operativo.
MA - Modelli e Architetture di sistemi operativi
Sviluppo dei moderni sistemi (e scelte progettuali che lo guidano).
MA - Modelli e Architetture di sistemi operativi
Tassonomia dei Sistemi Operativi (Utente, Architettura, Dominio).
* GSP - Gestione e Sincronizzazione dei Processi
Gestione dei processi: scheduling, sincronizzazione e deadlock problem.
* GM - Gestione della Memoria
Gestione memoria e dispositivi.
* FS - File System
Gestione file in ambiente centralizzato e distribuito.
MA - Modelli e Architetture di sistemi operativi
Modello client/server.
* AMM - Amministrazione di sistema
Interfaccia utente Unix-Linux.
* SCO - Struttura e Componenti di un sistema operativo
Strutture dati di Unix-Linux.
PS - Programmazione di Sistema
System calls Unix-Linux.
PS - Programmazione di Sistema
Programmazione in ambiente Unix -Linux.
PS - Programmazione di Sistema
Programmazione di rete in ambiente Unix-Linux.

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Pagine Attive: Lato Server CGI Microsoft ASP Java Server Page Servlets PHP ISAPI e NSAPI. Cenni su Cold Fusion e sistemi similari .
* SCP - Sviluppo e Correttezza dei Programmi
Pagine attive: Lato Client Javascript, VBScript, oggetti predefiniti proprieta' e metodi gestione eventi. Page submitting: Metodo Get, Metodo Post Applets, Controlli ActiveX. Limiti della programmazione lato client.
PP - Paradigmi di Programmazione
Componenti Web: http servers. Funzione Universo: Microsoft Universo. Unix/Linux Database Servers. Funzioni Interazione tra componenti (Browsers, HTTP Servers, Database servers) .
* CB - Costrutti di Base
Componenti Web: http browsers. Funzione, html, CSS. Metodologie progettazione interfaccia: MIME Types.
* CB - Costrutti di Base
I Protocolli Web: http/https, ftp/ftp anonymous Sicurezza: SSL.
* SCP - Sviluppo e Correttezza dei Programmi
Interazioni con i database servers. Limiti della programmazione lato server. Metodologie di progettazione siti con pagine attive.

Sillabo dell'insegnamento

• G - Basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Tecniche di progettazione e gestione di sistemi di basi di dati con riferimento a SQL.
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Architettura funzionale dei DBMS.
* DBMS - Sistemi di Gestione di Basi di Dati
Gestione ed evoluzione di basi di dati.
* PC - Progettazione concettuale
Progettazione concettuale di basi di dati.
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di interrogazione di basi di dati.
* ML - Modelli logici
Modelli di dati.
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi per basi di dati
* PC - Progettazione concettuale
Metodi relativi.
* PL - Progettazione Logica
Progettazione logica di basi di dati.
V - Varie
Principi per la definizione, interrogazione, gestione ed evoluzione delle basi di dati.
V - Varie
Realizzazione di basi di dati.

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Introduzione all'Analisi Wavelet. Compressione di immagini.
MAT/03 - Geometria
Cenni sui metodi variazionali con applicazione alle immagini biomediche.
MAT/03 - Geometria
Rappresentazione di immagini. Algoritmi per l'analisi delle immagini (segmentazione, edge detection, denoising).
MAT/03 - Geometria
Generalità sulle curve e superfici differenziabili.
MAT/03 - Geometria
Richiami di Geometria proiettiva e Trasformazioni geometriche.
MAT/03 - Geometria
Richiami di Geometria del piano e dello spazio.

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Separazione, metrizzazione, compattazione.
MAT/03 - Geometria
Topologia combinatoria, algebra topologica.
MAT/03 - Geometria
Interpretazione visuale dei dati.
MAT/03 - Geometria
Topologia Point-set, fuzzy topology, algebrica.
MAT/03 - Geometria
Spazi topologici e mapping tra spazi.
MAT/03 - Geometria
Compattezza, connessione e continuità.

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Tecniche e linguaggi per Planning
MAT/09 - Ricerca Operativa
Metodi e modelli decisionali.
MAT/09 - Ricerca Operativa
Goal programming.
MAT/09 - Ricerca Operativa
Metodi di data mining
MAT/09 - Ricerca Operativa
Modelli di apprendimento inferenziale.
MAT/09 - Ricerca Operativa
Metodi analitici per la valutazione delle prestazioni.

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Piattaforme AMD APP ed Nvidia CUDA.
MAT/08 - Analisi Numerica
Khronos OpenCL, Compute Unified Device Architecture (CUDA) e JavaCL.
MAT/08 - Analisi Numerica
Problemi di calcolo matriciale e vettoriale.
MAT/08 - Analisi Numerica
Modalità di ripartizione dell'onere computazionale.
MAT/08 - Analisi Numerica
Tecniche di calcolo parallelo.
MAT/08 - Analisi Numerica
Valutazione delle prestazioni.

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

1. Indirizzo a scelta

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Planning (macchine, risorse, turnistica, etc.)
MAT/09 - Ricerca Operativa
Progettazione di prodotti complessi
MAT/09 - Ricerca Operativa
Tracking.
MAT/09 - Ricerca Operativa
Ottimizzazione del flusso di produzione.
MAT/09 - Ricerca Operativa
Scheduling (macchine, risorse, turnistica, etc.)
MAT/09 - Ricerca Operativa
Logistica.

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Simulazione per agenti autonomi.
MAT/09 - Ricerca Operativa
Scelta dell'unità di tempo e metodi di integrazione.
MAT/09 - Ricerca Operativa
Modelli di dinamica dei sistemi: diagrammi causali; livelli e flussi; ritardi, exponential smoothing.
MAT/09 - Ricerca Operativa
Modelli di simulazione discreta.
MAT/09 - Ricerca Operativa
Analisi e scelta dei dati di input: distribuzioni empiriche; analisi dei dati di input; numeri pseudocasuali.
MAT/09 - Ricerca Operativa
Analisi dei dati di output: analisi del transitorio; tecniche per la riduzione della varianza.

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