Sillabo dell'insegnamento

• G - Basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Le strutture di indici: Organizzazione per chiave con strutture ad albero (B-tree e B+-tree); Organizzazioni per attributi non chiave
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Realizzazione degli operatori relazionali: Metadati, statistiche, operatori di proiezione, selezione, giunzione, operatori insiemistici
TCR - Transazioni, Concorrenza e Recovery
Gestione delle Transazioni; Livelli di Isolamento; Tecniche di Recovery
BDA - Basi di Dati Avanzate
Basi di dati orientate agli oggetti
* LI - Linguaggi di Interrogazione di Basi di Dati
I linguaggi di definizione e di scambio dei dati (ODL); il linguaggio di interrogazione (OQL)
BDA - Basi di Dati Avanzate
Basi di dati relazionali ad oggetti; Il modello relazionale ad oggetti in Oracle 10g
LP - Linguaggi di Programmazione di Basi di Dati
XSLT, SAX, DOM
* LI - Linguaggi di Interrogazione di Basi di Dati
XPath, XQuery e algebre relative
BDA - Basi di Dati Avanzate
Databases Semistrutturati XML-nativi
* PC - Progettazione concettuale
Progettazione a vari livelli dei Data Warehouse
BDA - Basi di Dati Avanzate
Data Warehouse - Analisi delle sorgenti e strumenti ETL
V - Varie
Sistemi di supporto alle decisioni, applicazioni e strumenti per il Data Warehouse

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Breve introduzione al corso. Automi deterministici e nondeterministici. Proprieta' di chiusura. Automi Pushdown con relative proprieta' di chiusura.
* CAL - Calcolabilita'
Introduzione alle Macchine di Turing. Macchine di Turing multinastro. Macchine di Turing nondeterministiche. Macchine di Turing Universali.
* CAL - Calcolabilita'
Problemi decidibili e indecidibili. Mapping Reducibility. Linear Bounded Automata e Post Correspondence Problem. Decidibilita' delle teorie logiche.
COM - Complessita'
Misurazione della Complessita' e introduzione alla classe P. La classe dei problemi NP. Problemi NP-Completi.
COM - Complessita'
Space Complexity. Savitch's Theorem e la classe PSPACE. PSPACE-completeness.
COM - Complessita'
Le classi EXPTIME e EXPSPACE e loro completezza.
* ALF - Automi e Linguaggi Formali
Introduzione agli automi nondeterministici su parole infinite. Espressioni omega-regolari. Proprieta' di chiusura, di proiezione, di determinizzazione, di inclusione e di complementazione.
* ALF - Automi e Linguaggi Formali
Introduzione agli automi alternanti. Il problema del vuoto. Algoritmi per la risoluzione del problema del vuoto per automi nondeterministici e alternanti
L - Logica
Introduzione alle logiche temporali lineari. Problemi decisionali per LTL. Confronto tra i poteri espressivi di LTL, QLTL e delle espressioni omega-regolari.

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

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Classi di complessità P, NP, NP-hard e NP-completi. Classificazione dei metodi risolutivi (metodi esatti, metodi di approssimazione e metodi euristici). Classi di approssimazione (NPO, APX, PTAS, FPTAS, PO). Riduzioni nelle classi di approssimazione e la riduzione PTAS.
MAT/09 - Ricerca Operativa
Il problema del Commesso Viaggiatore (TSP): due formulazioni matematiche ed un algoritmo Branch and Bound per il TSP. Il D-TSP: un algoritmo 2-approssimato per il D-TSP; Algoritmo di Christofides. Medoti euristici per il TSP: a inserimento con diversi criteri di scelta; ricerca locale (2-opt exchange, 3-opt, k-opt, OR-opt); algoritmi per istanze geometriche (inviluppo convesso, a sezioni)
MAT/09 - Ricerca Operativa
Algoritmi euristici e meta-euristici: Simulated Annealing; Tabù Search; Algoritmi Genetici; GRASP; Algoritmi di Ricerca Locale.
MAT/09 - Ricerca Operativa
Pianificazione di progetti: il Metodo CPM. Problemi di flusso su reti: il problema del massimo flusso; teorema max-flow min-cut; algoritmo di Ford-Fulkerson.
MAT/09 - Ricerca Operativa
Cammini in un grafo orientato: il problema della raggiungibilità (visita in ampiezza; visita in profondità). Il problema dei cammini minimi: l'algoritmo di Dijkstra; l'algoritmo di Floyd e Warshall.
MAT/09 - Ricerca Operativa
Un algoritmo Branch and Bound per il problema dello Zaino 0/1; un algoritmo greedy per il problema dello Zaino Frazionario; due algoritmi di Programmazione Dinamica per il problema dello Zaino 0/1
MAT/09 - Ricerca Operativa
Il problema del Vertex Cover: un algoritmo 2-approssimato per il problema del Vertex Cover. Il problema dell'albero di copertura di un grafo a costo minimo (MST): l'algoritmo di Kruskal.
MAT/09 - Ricerca Operativa
Metodi esatti per la risoluzione dei problemi di Programmazione Lineare Intera (Branch & Bound; piani di taglio; programmazione dinamica). Esempi di problemi di PLI con matrice dei vincoli unimodulare: il problema del trasporto ed il problema dell'assegnamento
MAT/09 - Ricerca Operativa
Definizione e classificazione dei problemi di ottimizzazione e dei problemi di decisione e classificazione dei relativi metodi risolutivi (metodi esatti, metodi di approssimazione e metodi euristici). Programmazione Lineare (PL): il Metodo del Simplesso
MAT/09 - Ricerca Operativa
Algoritmi on-line per il problema del Bin-packing: Next Fit, First fit, Best Fit, Any Fit, HarmonicM.
MAT/09 - Ricerca Operativa
Definizione delle principali varianti fra i problemi di vehicle routing; la formulazione matematica per tre varianti del problema; principali metodi euristici e meta-euristici per il problema nella sua versione generale e per il problema con time-windows.
MAT/09 - Ricerca Operativa
TSP su grafi qualsiasi, TSP grafico, Grafi hamiltoniani e semihamiltoniani, TSP simmetrico e asimmetrico, il postino rurale, Cammino hamiltoniano minimo, TSP collo di bottiglia.

Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Politiche di sicurezza: Modelli matematici, meccanismi, e risultati di indecidibilità
• B - Algoritmi
V - Varie
Crittografia: terminologia, cenni storici, DES, RSA
V - Varie
Applicazioni della crittografia (firma elettronica, e-mail certificata, moneta elettronica, ecc.)
• G - Basi di dati
V - Varie
Basi di dati multilivello. Protezione tabelle di macro- e micro-dati in database statistici
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Standard per privatezza e usage control (P3P, APPEL, UCON, ODRL)
PASR - Programmazione di Applicazioni e Servizi di Rete
Vulnerabilità applicative e contromisure
PASR - Programmazione di Applicazioni e Servizi di Rete
Approcci standard per connessioni sicure, autenticazione, controllo degli accessi (SSH, SSL, Kerberos, XACML, Java security, ecc.)
* SR - Sicurezza delle Reti
Vulnerabilità dei protocolli TCP/IP, firewalls e partizionamento delle reti
• M - Rappresentazione della conoscenza
* LPD - Logica e Programmazione Dichiarativa
Linguaggi logici per la formulazione di politiche

Sillabo dell'insegnamento

• B - Algoritmi
AD - Algoritmi Distribuiti
Protocolli di votazione e votazione strategica. Meccanismi d'asta, di negoziazione e allocazione di task.
• M - Rappresentazione della conoscenza
RA - Ragionamento Automatico
Ragionamento in condizioni di incertezza e reti di decisione. Problemi con decisioni in sequenza.
ARC - Acquisizione e Rappresentazione della Conoscenza
Rappresentazione di conoscenza incertezza e reti Bayesiane.
RA - Ragionamento Automatico
Pianificazione classica, Partial Order Planning, gerarchica e non deterministica.
* LPD - Logica e Programmazione Dichiarativa
Rappresentazione della conoscenza e inferenza nella logica del primo ordine.
* RP - Risoluzione di Problemi
Soluzione di problemi espressi con vincoli (CSP) e di problemi con vincoli distribuiti.
* RP - Risoluzione di Problemi
Ricerca nello spazio degli stati. Strategie di ricerca informata, non informata e locale.
* RP - Risoluzione di Problemi
Risoluzione di problemi in presenza di avversari. Teoria dei giochi non cooperativi.
AI - Agenti Intelligenti
Architetture per agenti Intelligenti. Agenti reattivi, model-based, goal-based and utility-based. Agenti BDI.