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.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
APPLICAZIONI BIOMEDICHE
MAT/03 - Geometria
DATA TOPOLOGY
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.

Insegnamenti "a scelta" che possono essere selezionati

1. OPERATIONAL RESEARCH
2. Computational Mathematics
3. Artificial Intelligence
4. Neural Networks
5. Advanced Business Process Management
6. Knowledge Engineering and Business Intelligence
7. Modelling and Simulation
8. Bioinformatics
9. Big Data e Social Media Analitycs
10. Advanced Databases
11. Mobile Calculi
12. Modelling and Verification
13. Statistica Aziendale e Probabilità

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
Deduzione naturale.
MAT/01 - Logica Matematica
Calcoli logici.
MAT/01 - Logica Matematica
Logica predicativa, logica proposizionale.
MAT/01 - Logica Matematica
Elementi di logica.
MAT/01 - Logica Matematica
Modelli e teorie.
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

• 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

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

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

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

• G - Basi di dati
V - Varie
Realizzazione di basi di dati.
* PC - Progettazione concettuale
Metodi relativi.
V - Varie
Principi per la definizione, interrogazione, gestione ed evoluzione delle basi di dati.
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi per 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.
* ML - Modelli logici
Modelli 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

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

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
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

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Elementi di teoria delle matrici. .
MAT/08 - Analisi Numerica
Metodi iterativi per sistemi lineari.
MAT/08 - Analisi Numerica
Metodi per il calcolo degli autovalorii.
MAT/08 - Analisi Numerica
Il problema lineare dei minimi quadrati.
MAT/08 - Analisi Numerica
Matrici con struttura e applicazioni a problemi differenziali.
MAT/08 - Analisi Numerica
Approssimazione di funzioni.

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Topologia Point-set, fuzzy topology, algebrica.
MAT/03 - Geometria
Topologia combinatoria, algebra topologica.
MAT/03 - Geometria
Interpretazione visuale dei dati.
MAT/03 - Geometria
Separazione, metrizzazione, compattazione.
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/08 - Analisi Numerica
Piattaforme AMD APP e Nvidia CUDA.
MAT/08 - Analisi Numerica
Kronos OpenCL, CUDA e JavaCL
MAT/08 - Analisi Numerica
Problemi di calcolo matriciale e vettoriale.
MAT/08 - Analisi Numerica
Calcolo parallelo.
MAT/08 - Analisi Numerica
Modalità di ripartizione onere computazionale.
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

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
Algoritmi evolutivi e Reti Neurali, Evoluzione.
MAT/09 - Ricerca Operativa
Programmazione evolutiva, Algoritmi genetici.
MAT/09 - Ricerca Operativa
Neuro-Fuzzy-Soft Computing. Introduzione alla computazione genetica.
MAT/09 - Ricerca Operativa
Memoria FAM, Metodi non derivativi di ottimizzazione.
MAT/09 - Ricerca Operativa
Apprendimento Hebbiano, Apprendimento Competitivo, Cenni alle Reti Modulari, Introduzione alla computazione Fuzzy.
MAT/09 - Ricerca Operativa
Radial Basis Functions (RBF), Sistemi che si Autorganizzano.

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Problemi combinatorici e di ottimizzazione combinatorica. Definizioni fondamentali.
MAT/09 - Ricerca Operativa
L'algoritmo ingordo: pseudocodice per problemi subclusivi e superclusivi. Proprietà di scambio e sue implicazioni sulla cardinalità delle soluzioni massimali.
MAT/09 - Ricerca Operativa
Modelli di programmazione lineare e lineare intera Problemi di programmazione lineare, soluzione ammissibile e soluzione ottima, forma canonica, generale e standard.
MAT/09 - Ricerca Operativa
Formulazione di problemi di ottimizzazione combinatorica come programmazione lineare 0-1.
MAT/09 - Ricerca Operativa
Teoria della dualità Teorema e metodo di Fourier-Motzkin. Teoremi dell'alternativa: Teorema di Gale, Lemma di Farkas, esempi.
MAT/09 - Ricerca Operativa
Il metodo del simplesso. Applicazioni alla programmazione lineare intera ed esempi.

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

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

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Statistica descrittiva con applicazioni al computer.
MAT/06 - Probabilita' e Statistica Matematica
Elementi di Calcolo delle Probabilità. Probabilità classica. Probabilità condizionata. Variabili aleatorie. Principali leggi di probabilità discrete e continue.
MAT/06 - Probabilita' e Statistica Matematica
Regressione lineare e non lineare, correlazione tra variabili.Utilizzo di software statistici.
MAT/06 - Probabilita' e Statistica Matematica
Catene di Markov.
MAT/06 - Probabilita' e Statistica Matematica
Teoremi limite. Approssimazione di modelli finiti con la distribuzione di Gauss.
MAT/06 - Probabilita' e Statistica Matematica
Introduzione alla Statistica inferenziale: popolazione e campione casuale, intervalli fiduciari, tests di ipotesi.

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

1. Indirizzo a scelta