Corso di laurea: Informatica
A.A. 2016/2017
Autonomia di giudizio
I laureati magistrali hanno la capacità di analizzare la complessità dei problemi applicativi, di proporre soluzioni informatiche avanzate, di studiare l'efficienza e l'affidabilità di tali soluzioni, anche in modalità comparativa con altre soluzioni, e senza omettere riflessioni su eventuali problematiche sociali connesse con l'operatività di tali soluzioni.
Sono in grado di raccogliere e interpretare dati, formulare problemi, definire strategie di risoluzione e derivarne giudizi autonomi.
Possiedono la capacità di lavorare con un alto grado di autonomia ed in gruppo, anche di tipo interdisciplinare.
Sanno stabilire un ordine di priorità nelle azioni da compiere ed organizzare conseguentemente il proprio lavoro.
Sono in grado di valutare i risultati del proprio lavoro in termini di qualità ed efficienza.
Il contenuto degli insegnamenti è progettato al fine di rendere esplicita l'evoluzione scientifica nel campo informatico, permettendo così agli studenti di sviluppare l'autonomia necessaria per muoversi nel mondo del lavoro.
La verifica dell'acquisizione dell'autonomia di giudizio avviene tramite la valutazione degli insegnamenti, in particolare di quelli che prevedono
un'attivita` progettuale nell'ambito delle discipline informatiche.Abilità comunicative
Il laureato magistrale deve avere abilità nel comunicare informazioni, idee, problemi e soluzioni a interlocutori specialisti e non specialisti, utilizzando in modo appropriato la terminologia tecnica e dimostrando di possedere capacità di presentazione flessibile rispetto al pubblico destinatario della comunicazione.
Deve saper comunicare efficacemente, in forma scritta e orale, anche utilizzando strumenti multimediali, nella lingua inglese oltre che in italiano.
Deve possedere capacità di sintesi e di selezione degli aspetti essenziali nella comunicazione di problemi e soluzioni.
Deve avere la capacità di lavorare in un gruppo interdisciplinare, adeguando le modalità di espressione a interlocutori di diversa cultura e sapendo operare efficacemente sia individualmente sia come componenti di un gruppo sia come coordinatore o responsabile di gruppi.
Deve sapere inserirsi in modo rapido ed efficace negli ambienti di lavoro e avere le competenze necessarie per integrarsi e per organizzare le attività all'interno di progetti collaborativi.
Per il raggiungimento di tali obiettivi saranno proposte ampie modalità di verifica, inclusi colloqui, preparazione di elaborati scritti, discussione dei progetti, anche mediante l'ausilio di strumenti multimediali e dimostrazioni al computer oltre a seminari su argomenti avanzati.Capacità di apprendimento
I laureati devono aver acquisito la capacità e autonomia di studio di argomenti scientifici, anche in relazione a contesti differenti e avanzati, per poter integrare in modo efficace le nozioni ricevute e per mantenere aggiornate le proprie competenze in un settore in continuo sviluppo come l'Informatica.
Tali capacità devono permettere al laureato di intraprendere efficacemente anche percorsi formativi adeguati ad affrontare il livello di studi successivo (Dottorato di ricerca) o di master di II livello, e carriere manageriali che richiedono un elevato grado di autonomia e di capacità di aggiornamento.
I risultati vengono verificati nel corso delle prove individuali di esame e nel corso dell'elaborazione della prova finale.Requisiti di ammissione
La determinazione dei requisiti curriculari che devono essere posseduti per l'ammissione verranno indicati nel regolamento didattico del corso di studio.
Le modalità per la verifica della personale preparazione sono rimandate al regolamento didattico del corso di studio.
In particolare considerato che gli obiettivi formativi della classe stabiliscono che "I laureati nei corsi di laurea magistrale della classe devono essere in grado di utilizzare fluentemente, in forma scritta e orale almeno una lingua dell'Unione Europea oltre l'italiano, con riferimento anche ai lessici disciplinari", viene richiesto come requisito di accesso la conoscenza della lingua inglese.
Corsi e test di conoscenza della lingua inglese sono erogati agli studenti che intendono iscriversi.Prova finale
La prova finale per il conseguimento della Laurea Magistrale riguarda la realizzazione di un progetto informatico a carattere innovativo e/o un'attività di ricerca con contenuti originali.
I risultati di questa attività saranno documentati da una tesi comprendente la redazione di un documento scritto (eventualmente anche in lingua inglese) e una prova seminariale conclusiva.
La scelta dell'argomento della tesi dovrà essere preventivamente concordato con un docente scelto dallo studente, che svolge le funzioni di relatore.
La tesi dovra' evidenziare nei suoi contenuti la maturita' culturale, professionale ed eventualmente di ricerca del laureando in un'area disciplinare attinente alla sua formazione curriculare.
La prova finale verrà valutata in base alla originalità dei risultati, alla padronanza dell'argomento, all'autonomia e alle capacità espositiva e di ricerca bibliografica mostrate dal candidato.Orientamento in ingresso
Una commissione si occupa di organizzare momenti incontro e contatto con le scuole e direttamente con gli studenti per discutere con loro i possibili percorsi formativi e per indirizzarli al piano di studio più idoneo al loro profilo.
Il Corso di Studio in breve
L'obiettivo specifico del corso di laurea magistrale è quello di formare figure professionali di alto livello che sappiano coniugare le conoscenze sui fondamenti della disciplina e le relative capacità metodologiche con le conoscenze e le capacità necessarie alla progettazione di tecnologie innovative.
Il laureato magistrale in Informatica dovrà, a tal fine, acquisire una mentalità aperta e flessibile predisposta alla risoluzione di problemi ed al rapido apprendimento di metodologie e tecnologie innovative.
Inoltre, dovrà entrare in possesso di una adeguata capacità di utilizzo del metodo scientifico.
Queste conoscenze e capacità non riguardano soltanto la disciplina informatica: un aspetto caratterizzante del corso di laurea è infatti l'obiettivo di formare competenze e capacità fortemente interdisciplinari, rispondendo così alle esigenze sia della ricerca più avanzata, sia del mercato del lavoro: il carattere pervasivo dell'informatica richiede infatti figure professionali capaci di applicarla in molteplici settori produttivi, e di comprenderne gli impatti in un più ampio contesto culturale, sociale ed economico.
Il nucleo delle competenze e conoscenze acquisite corrisponde agli obiettivi generali della classe di laurea magistrale, cioè ai settori scientifico-disciplinari caratterizzanti INF/01 e ING-INF/05.
L'ampiezza di questi settori consente ricche possibilità di scelta, che saranno indirizzate ponendo particolare attenzione alle metodologie e tecnologie informatiche emergenti.
Il laureato magistrale estende e rafforza le conoscenze teoriche, metodologiche, sistemistiche e tecnologiche, in
tutte le discipline che costituiscono gli elementi culturali fondamentali dell'informatica già presenti nel primo ciclo (laurea di classe L-31).
Il Corso di Laurea Magistrale in Informatica è inoltre caratterizzato da una marcata attività progettuale autonoma dello studente, al fine di svilupparne la capacità di giudizio e di risoluzione di problemi.
Lo studente espliciterà le proprie scelte al momento della presentazione,
tramite il sistema informativo di ateneo, del piano di completamento o del piano di studio individuale,
secondo quanto stabilito dal regolamento didattico del corso di studio.
Primo anno
Primo semestre
|
Insegnamento
|
CFU
|
SSD
|
Ore Lezione
|
Ore Eserc.
|
Ore Lab
|
Ore Studio
|
Attività
|
Lingua
|
Gruppo opzionale:
GRUPPO OPZIONALE: ATTIVITA' CARATTERIZZANTI - (visualizza)
|
48
|
|
|
|
|
|
|
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
(obiettivi)
Acquisire le competenze teoriche per la comprensione dei teoremi di base della teorie dei numeri. Sviluppare le competenze specialistiche necessarie all’ideazione, progettazione e valutazione di algoritmi di crittografia. Sviluppare le competenze specialistiche nel settore della network security, con particolare riferimento agli attacchi su rete internet.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
|
Erogato in altro semestre o anno
|
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
|
Erogato in altro semestre o anno
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
|
Erogato in altro semestre o anno
|
|
8066502 -
WEB MINING AND RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
|
Erogato in altro semestre o anno
|
|
8066134 -
METODI DI VERIFICA DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065537 -
SISTEMI DI AGENTI
|
Erogato in altro semestre o anno
|
|
8066640 -
NATURAL LANGUAGE PROCESSING
|
Erogato in altro semestre o anno
|
|
8066133 -
INFORMATION RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8065538 -
ANALISI DI RETI
(obiettivi)
Acquisizione di competenze relative ad analisi e soluzione di problemi connessi alla progettazione e alla gestione di reti complesse.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
(obiettivi)
Conseguire gli strumenti di base per una valutazione tecnico-economica sulla fattibilità di un progetto complesso (sistema cooperativo). Acquisire la capacità di interagire in un team multidisciplinare per valutare i diversi aspetti (tecnico, economico, organizzativo) di un progetto complesso.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
|
Erogato in altro semestre o anno
|
|
8066132 -
MACHINE LEARNING
|
Erogato in altro semestre o anno
|
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
|
Erogato in altro semestre o anno
|
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
|
Erogato in altro semestre o anno
|
|
Gruppo opzionale:
GRUPPO OPZIONALE ATTIVITA' AFFINI - (visualizza)
|
36
|
|
|
|
|
|
|
|
|
8065533 -
CALCOLO DELLE PROBABILITA'
|
Erogato in altro semestre o anno
|
|
8066405 -
INFERENZA STATISTICA E TEORIA DELL'INFORMAZIONE
(obiettivi)
Lo studente apprenderà le nozioni fondamentali della Statistica Matematica e sarà in grado di risolvere problemi teorici in questo ambito e anche di affrontare semplici problemi con dati da elaborare.
|
6
|
MAT/06
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
(obiettivi)
Conseguire gli strumenti di base per una valutazione tecnico-economica sulla fattibilità di un progetto complesso (sistema cooperativo). Acquisire la capacità di interagire in un team multidisciplinare per valutare i diversi aspetti (tecnico, economico, organizzativo) di un progetto complesso.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065538 -
ANALISI DI RETI
(obiettivi)
Acquisizione di competenze relative ad analisi e soluzione di problemi connessi alla progettazione e alla gestione di reti complesse.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
(obiettivi)
Acquisire le competenze teoriche per la comprensione dei teoremi di base della teorie dei numeri. Sviluppare le competenze specialistiche necessarie all’ideazione, progettazione e valutazione di algoritmi di crittografia. Sviluppare le competenze specialistiche nel settore della network security, con particolare riferimento agli attacchi su rete internet.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
|
Erogato in altro semestre o anno
|
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
|
Erogato in altro semestre o anno
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
|
Erogato in altro semestre o anno
|
|
8066502 -
WEB MINING AND RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
|
Erogato in altro semestre o anno
|
|
8066134 -
METODI DI VERIFICA DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065537 -
SISTEMI DI AGENTI
|
Erogato in altro semestre o anno
|
|
8066640 -
NATURAL LANGUAGE PROCESSING
|
Erogato in altro semestre o anno
|
|
8066133 -
INFORMATION RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
|
Erogato in altro semestre o anno
|
|
8066132 -
MACHINE LEARNING
|
Erogato in altro semestre o anno
|
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
|
Erogato in altro semestre o anno
|
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
|
Erogato in altro semestre o anno
|
|
Secondo semestre
|
Insegnamento
|
CFU
|
SSD
|
Ore Lezione
|
Ore Eserc.
|
Ore Lab
|
Ore Studio
|
Attività
|
Lingua
|
Gruppo opzionale:
GRUPPO OPZIONALE: ATTIVITA' CARATTERIZZANTI - (visualizza)
|
48
|
|
|
|
|
|
|
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
|
Erogato in altro semestre o anno
|
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
(obiettivi)
Il corso presenta i principi fondamentali del calcolo distribuito sia da un punto di vista dei modelli di comunicazione/computazione più importanti, che per quanto riguarda i metodi algoritmici fondamentali per tali modelli. L'obiettivo formativo e' quello di fornire degli strumenti efficienti e rigorosi per il Problem Solving algoritmico in cui, rispetto ai corsi algoritmici della triennale, per la prima volta le entità computazionali (agenti) sono molteplici ed interagenti. Questo nuovo paradigma offre ottime basi per progettare protocolli efficienti per problemi fondamentali ed estremamente attuali nel mondo dei moderni sistemi distribuiti. Nella seconda parte si tratterà un'altro aspetto fondamentale dei sistemi distribuiti moderni: la presenza di comportamenti egoistici degli agenti di un sistema distribuito.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
(obiettivi)
Acquisire i modelli di riferimento per progettare e valutare sistemi distribuiti cooperativi. Sviluppare le competenze specialistiche necessarie all’ideazione, progettazione e valutazione di sistemi distribuiti cooperativi. Apprendere l’uso di framework orientati allo sviluppo di sistemi distribuito cooperativi e alla valutazione del loro corretto funzionamento.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
|
Erogato in altro semestre o anno
|
|
8066502 -
WEB MINING AND RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
|
Erogato in altro semestre o anno
|
|
8066134 -
METODI DI VERIFICA DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065537 -
SISTEMI DI AGENTI
|
Erogato in altro semestre o anno
|
|
8066640 -
NATURAL LANGUAGE PROCESSING
|
Erogato in altro semestre o anno
|
|
8066133 -
INFORMATION RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8065538 -
ANALISI DI RETI
|
Erogato in altro semestre o anno
|
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
|
Erogato in altro semestre o anno
|
|
8066132 -
MACHINE LEARNING
|
Erogato in altro semestre o anno
|
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
|
Erogato in altro semestre o anno
|
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
(obiettivi)
Sistemi di simulazione distribuiti basati su Internet forniscono una soluzione flessibile ed economica per affrontare le proprietà computazionali, interoperabilità e scalabilità richieste dai moderni scenari di simulazione, senza la necessità di utilizzare piattaforme dedicate costosi e complessi. L'obiettivo principale di questo corso è quello di introdurre i metodi per la simulazione distribuita basata su Internet, illustrare i paradigmi di simulazione rilevanti e tecnologie, e, infine, progettare e implementare un caso di studio.
|
6
|
ING-INF/05
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
Gruppo opzionale:
GRUPPO OPZIONALE ATTIVITA' AFFINI - (visualizza)
|
36
|
|
|
|
|
|
|
|
|
8065533 -
CALCOLO DELLE PROBABILITA'
(obiettivi)
Il corso si propone di insegnare elementi di teoria dei processi stocastici a valori discreti: processo di Poisson, catene di Markov, processi di rinnovo. Lo studente impararerà a calcolare con questi processi e a costruire modelli matematici in situazioni dinamiche di incertezza.
|
6
|
MAT/06
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066405 -
INFERENZA STATISTICA E TEORIA DELL'INFORMAZIONE
|
Erogato in altro semestre o anno
|
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065538 -
ANALISI DI RETI
|
Erogato in altro semestre o anno
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
|
Erogato in altro semestre o anno
|
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
(obiettivi)
Il corso presenta i principi fondamentali del calcolo distribuito sia da un punto di vista dei modelli di comunicazione/computazione più importanti, che per quanto riguarda i metodi algoritmici fondamentali per tali modelli. L'obiettivo formativo e' quello di fornire degli strumenti efficienti e rigorosi per il Problem Solving algoritmico in cui, rispetto ai corsi algoritmici della triennale, per la prima volta le entità computazionali (agenti) sono molteplici ed interagenti. Questo nuovo paradigma offre ottime basi per progettare protocolli efficienti per problemi fondamentali ed estremamente attuali nel mondo dei moderni sistemi distribuiti. Nella seconda parte si tratterà un'altro aspetto fondamentale dei sistemi distribuiti moderni: la presenza di comportamenti egoistici degli agenti di un sistema distribuito.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
(obiettivi)
Acquisire i modelli di riferimento per progettare e valutare sistemi distribuiti cooperativi. Sviluppare le competenze specialistiche necessarie all’ideazione, progettazione e valutazione di sistemi distribuiti cooperativi. Apprendere l’uso di framework orientati allo sviluppo di sistemi distribuito cooperativi e alla valutazione del loro corretto funzionamento.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
|
Erogato in altro semestre o anno
|
|
8066502 -
WEB MINING AND RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
|
Erogato in altro semestre o anno
|
|
8066134 -
METODI DI VERIFICA DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065537 -
SISTEMI DI AGENTI
|
Erogato in altro semestre o anno
|
|
8066640 -
NATURAL LANGUAGE PROCESSING
|
Erogato in altro semestre o anno
|
|
8066133 -
INFORMATION RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
|
Erogato in altro semestre o anno
|
|
8066132 -
MACHINE LEARNING
|
Erogato in altro semestre o anno
|
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
|
Erogato in altro semestre o anno
|
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
(obiettivi)
Sistemi di simulazione distribuiti basati su Internet forniscono una soluzione flessibile ed economica per affrontare le proprietà computazionali, interoperabilità e scalabilità richieste dai moderni scenari di simulazione, senza la necessità di utilizzare piattaforme dedicate costosi e complessi. L'obiettivo principale di questo corso è quello di introdurre i metodi per la simulazione distribuita basata su Internet, illustrare i paradigmi di simulazione rilevanti e tecnologie, e, infine, progettare e implementare un caso di studio.
|
6
|
ING-INF/05
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
Secondo anno
Primo semestre
|
Insegnamento
|
CFU
|
SSD
|
Ore Lezione
|
Ore Eserc.
|
Ore Lab
|
Ore Studio
|
Attività
|
Lingua
|
Gruppo opzionale:
GRUPPO OPZIONALE: ATTIVITA' CARATTERIZZANTI - (visualizza)
|
48
|
|
|
|
|
|
|
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
|
Erogato in altro semestre o anno
|
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
|
Erogato in altro semestre o anno
|
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
|
Erogato in altro semestre o anno
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
(obiettivi)
Lasciare che gli studenti vengono a conoscenza di approcci formali e tecnologie innovative per la modellazione di sistemi intelligenti; in particolare l'estrazione di informazioni e la domanda di sistemi per rispondere anche nel contesto del Semantic Web, così come aumentare la consapevolezza su approcci per la gestione semantica Big Data.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066502 -
WEB MINING AND RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
|
Erogato in altro semestre o anno
|
|
8066134 -
METODI DI VERIFICA DI SISTEMI
(obiettivi)
MODEL CHECKING ESPLICITO E SIMBOLICO TIMED AUTOMATA.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065537 -
SISTEMI DI AGENTI
|
Erogato in altro semestre o anno
|
|
8066640 -
NATURAL LANGUAGE PROCESSING
(obiettivi)
Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli simbolici dell'elaborarazione del linguaggio naturale. Alla fine del corso, lo studente sarà in grado di implementare un modello di elaborazione del linguaggio.
|
6
|
ING-INF/05
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066133 -
INFORMATION RETRIEVAL
(obiettivi)
Il corso di Information Retrieval tratta l'accesso e il recupero dell'informazione per grandi basi documentali. Si affrontano gli aspetti teorici e realizzativi relativi alla costruzione di sistemi avanzati per l'indicizzazione, l'accesso e il recupero di informazione per collezioni molto grandi di documenti. Infine conoscere i modelli di recupero utilizzati nei principali motori di ricerca per i social networks, il web e i sistemi tradizionali di Information Retrieval.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065538 -
ANALISI DI RETI
|
Erogato in altro semestre o anno
|
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
|
Erogato in altro semestre o anno
|
|
8066132 -
MACHINE LEARNING
|
Erogato in altro semestre o anno
|
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
(obiettivi)
In una prima parte il corso insegna i metodi per caratterizzare la qualità dei sistemi software e i modelli analitici per la valutazione della qualità. Caratterizza gli indici di affidabilità e sicurezza del software e insegna i metodi analitici e di simulazione per la valutazione e la predizione dell’affidabilità e sicurezza dei sistemi software. Nella seconda parte, il corso insegna i metodi e gli strumenti per la progettazione model-driven di sistemi software e i relativi standard, con i metodi e strumenti di model transformation e il management model-driven della qualità del software.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
|
Erogato in altro semestre o anno
|
|
Gruppo opzionale:
GRUPPO OPZIONALE ATTIVITA' AFFINI - (visualizza)
|
36
|
|
|
|
|
|
|
|
|
8065533 -
CALCOLO DELLE PROBABILITA'
|
Erogato in altro semestre o anno
|
|
8066405 -
INFERENZA STATISTICA E TEORIA DELL'INFORMAZIONE
|
Erogato in altro semestre o anno
|
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065538 -
ANALISI DI RETI
|
Erogato in altro semestre o anno
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
|
Erogato in altro semestre o anno
|
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
|
Erogato in altro semestre o anno
|
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
|
Erogato in altro semestre o anno
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
(obiettivi)
Lasciare che gli studenti vengono a conoscenza di approcci formali e tecnologie innovative per la modellazione di sistemi intelligenti; in particolare l'estrazione di informazioni e la domanda di sistemi per rispondere anche nel contesto del Semantic Web, così come aumentare la consapevolezza su approcci per la gestione semantica Big Data.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066502 -
WEB MINING AND RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
|
Erogato in altro semestre o anno
|
|
8066134 -
METODI DI VERIFICA DI SISTEMI
(obiettivi)
MODEL CHECKING ESPLICITO E SIMBOLICO TIMED AUTOMATA.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065537 -
SISTEMI DI AGENTI
|
Erogato in altro semestre o anno
|
|
8066640 -
NATURAL LANGUAGE PROCESSING
(obiettivi)
Il corso si propone di introdurre lo studente agli scopi, alle principali problematiche e ai principali modelli simbolici dell'elaborarazione del linguaggio naturale. Alla fine del corso, lo studente sarà in grado di implementare un modello di elaborazione del linguaggio.
|
6
|
ING-INF/05
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066133 -
INFORMATION RETRIEVAL
(obiettivi)
Il corso di Information Retrieval tratta l'accesso e il recupero dell'informazione per grandi basi documentali. Si affrontano gli aspetti teorici e realizzativi relativi alla costruzione di sistemi avanzati per l'indicizzazione, l'accesso e il recupero di informazione per collezioni molto grandi di documenti. Infine conoscere i modelli di recupero utilizzati nei principali motori di ricerca per i social networks, il web e i sistemi tradizionali di Information Retrieval.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
|
Erogato in altro semestre o anno
|
|
8066132 -
MACHINE LEARNING
|
Erogato in altro semestre o anno
|
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
(obiettivi)
In una prima parte il corso insegna i metodi per caratterizzare la qualità dei sistemi software e i modelli analitici per la valutazione della qualità. Caratterizza gli indici di affidabilità e sicurezza del software e insegna i metodi analitici e di simulazione per la valutazione e la predizione dell’affidabilità e sicurezza dei sistemi software. Nella seconda parte, il corso insegna i metodi e gli strumenti per la progettazione model-driven di sistemi software e i relativi standard, con i metodi e strumenti di model transformation e il management model-driven della qualità del software.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
|
Erogato in altro semestre o anno
|
|
Secondo semestre
|
Insegnamento
|
CFU
|
SSD
|
Ore Lezione
|
Ore Eserc.
|
Ore Lab
|
Ore Studio
|
Attività
|
Lingua
|
Gruppo opzionale:
GRUPPO OPZIONALE: ATTIVITA' CARATTERIZZANTI - (visualizza)
|
48
|
|
|
|
|
|
|
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
|
Erogato in altro semestre o anno
|
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
(obiettivi)
Il corso presenta i principi fondamentali del calcolo distribuito sia da un punto di vista dei modelli di comunicazione/computazione più importanti, che per quanto riguarda i metodi algoritmici fondamentali per tali modelli. L'obiettivo formativo e' quello di fornire degli strumenti efficienti e rigorosi per il Problem Solving algoritmico in cui, rispetto ai corsi algoritmici della triennale, per la prima volta le entità computazionali (agenti) sono molteplici ed interagenti. Questo nuovo paradigma offre ottime basi per progettare protocolli efficienti per problemi fondamentali ed estremamente attuali nel mondo dei moderni sistemi distribuiti. Nella seconda parte si tratterà un'altro aspetto fondamentale dei sistemi distribuiti moderni: la presenza di comportamenti egoistici degli agenti di un sistema distribuito.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
|
Erogato in altro semestre o anno
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
|
Erogato in altro semestre o anno
|
|
8066502 -
WEB MINING AND RETRIEVAL
(obiettivi)
L'introduzione ed esplorazione dei temi legati ad algoritmi di data-driven per l'induzione di conoscenze provenienti da raccolte di dati su larga scala; Presentaziome dei principali modelli di dati alla base dei motori di ricerca Web e per Enterprise Search; Studiare tecnologie e formalismi per il trattamento dei dati Web non strutturati attraverso metodi Intelligenza Artificiale e di Natural Language Processing e per la trasformazione linguistica dei testi e dei dati Social Web; L'introduzione di pratiche sperimentali in applicazioni quali la gestione dei documenti semantici, Web Analysis Network e opinion mining.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
(obiettivi)
Formare lo studente ad analizzare le problematiche di sicurezza associate a sistemi informativi complessi, nei quali più attori, non legati da vincoli gerarchici, concorrono a fornire un insieme coordinato di servizi. Lo studente apprende un insieme di strumenti per formalizzare la rappresentazione di un sistema di sicurezza e un insieme di strumenti per affrontare i problemi di sicurezza e integrità associati.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066134 -
METODI DI VERIFICA DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065537 -
SISTEMI DI AGENTI
(obiettivi)
Analisi, teoria e simulazione di sistemi di agenti distribuiti e sistemi complessi. Introduzione all'analisi, teoria e simulazioni di agenti distribuiti e sistemi distribuiti complessi
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066640 -
NATURAL LANGUAGE PROCESSING
|
Erogato in altro semestre o anno
|
|
8066133 -
INFORMATION RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8065538 -
ANALISI DI RETI
|
Erogato in altro semestre o anno
|
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
(obiettivi)
LA SICUREZZA INFORMATICA DI UN SISTEMA INFORMATIVO GERARCHICO La sicurezza di un server web. Obiettivi della sicurezza informatica (autenticazione, riservatezza, integrità,..) Crittografia simmetrica e asimmetrica. Il protocollo SSL PKI e certificati digitali LA SICUREZZA INFORMATICA DI UN SISTEMA INFORMATICO COOPERATIVO Definizione di sistema informatico cooperativo (SIC) Gli obiettivi della Sicurezza in un SIC L’assenza di una gerarchia e la necessità di sistemi passivi Monitoraggio delle reti Monitoraggio dei db e dei file systems Regole predefinite Regole apprese
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8066132 -
MACHINE LEARNING
(obiettivi)
Conoscenza e capacità di utilizzo delle principali tecniche di apprendimento automatico, supervisionato e non supervisionato. Applicazione di tali tecniche a problemi di estrazione di conoscenza (mining) in insiemi di dati di grandi dimensioni. Conoscenza dei relativi fondamenti matematici.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
|
Erogato in altro semestre o anno
|
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
|
Erogato in altro semestre o anno
|
|
Gruppo opzionale:
GRUPPO OPZIONALE ATTIVITA' AFFINI - (visualizza)
|
36
|
|
|
|
|
|
|
|
|
8065533 -
CALCOLO DELLE PROBABILITA'
|
Erogato in altro semestre o anno
|
|
8066405 -
INFERENZA STATISTICA E TEORIA DELL'INFORMAZIONE
|
Erogato in altro semestre o anno
|
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065538 -
ANALISI DI RETI
|
Erogato in altro semestre o anno
|
|
8065535 -
TEORIA DELLA SICUREZZA E CRITTOGRAFIA
|
Erogato in altro semestre o anno
|
|
8065531 -
ALGORITMI DISTRIBUITI E RETI COMPLESSE
(obiettivi)
Il corso presenta i principi fondamentali del calcolo distribuito sia da un punto di vista dei modelli di comunicazione/computazione più importanti, che per quanto riguarda i metodi algoritmici fondamentali per tali modelli. L'obiettivo formativo e' quello di fornire degli strumenti efficienti e rigorosi per il Problem Solving algoritmico in cui, rispetto ai corsi algoritmici della triennale, per la prima volta le entità computazionali (agenti) sono molteplici ed interagenti. Questo nuovo paradigma offre ottime basi per progettare protocolli efficienti per problemi fondamentali ed estremamente attuali nel mondo dei moderni sistemi distribuiti. Nella seconda parte si tratterà un'altro aspetto fondamentale dei sistemi distribuiti moderni: la presenza di comportamenti egoistici degli agenti di un sistema distribuito.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065534 -
SISTEMI DISTRIBUITI COOPERATIVI
|
Erogato in altro semestre o anno
|
|
8066497 -
INTELLIGENZA ARTIFICIALE 2
|
Erogato in altro semestre o anno
|
|
8066502 -
WEB MINING AND RETRIEVAL
(obiettivi)
L'introduzione ed esplorazione dei temi legati ad algoritmi di data-driven per l'induzione di conoscenze provenienti da raccolte di dati su larga scala; Presentaziome dei principali modelli di dati alla base dei motori di ricerca Web e per Enterprise Search; Studiare tecnologie e formalismi per il trattamento dei dati Web non strutturati attraverso metodi Intelligenza Artificiale e di Natural Language Processing e per la trasformazione linguistica dei testi e dei dati Social Web; L'introduzione di pratiche sperimentali in applicazioni quali la gestione dei documenti semantici, Web Analysis Network e opinion mining.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066131 -
SISTEMI COOPERATIVI E RETI SOCIALI
(obiettivi)
Formare lo studente ad analizzare le problematiche di sicurezza associate a sistemi informativi complessi, nei quali più attori, non legati da vincoli gerarchici, concorrono a fornire un insieme coordinato di servizi. Lo studente apprende un insieme di strumenti per formalizzare la rappresentazione di un sistema di sicurezza e un insieme di strumenti per affrontare i problemi di sicurezza e integrità associati.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066134 -
METODI DI VERIFICA DI SISTEMI
|
Erogato in altro semestre o anno
|
|
8065537 -
SISTEMI DI AGENTI
(obiettivi)
Analisi, teoria e simulazione di sistemi di agenti distribuiti e sistemi complessi. Introduzione all'analisi, teoria e simulazioni di agenti distribuiti e sistemi distribuiti complessi
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066640 -
NATURAL LANGUAGE PROCESSING
|
Erogato in altro semestre o anno
|
|
8066133 -
INFORMATION RETRIEVAL
|
Erogato in altro semestre o anno
|
|
8066130 -
SICUREZZA DEI SISTEMI INFORMATIVI
(obiettivi)
LA SICUREZZA INFORMATICA DI UN SISTEMA INFORMATIVO GERARCHICO La sicurezza di un server web. Obiettivi della sicurezza informatica (autenticazione, riservatezza, integrità,..) Crittografia simmetrica e asimmetrica. Il protocollo SSL PKI e certificati digitali LA SICUREZZA INFORMATICA DI UN SISTEMA INFORMATICO COOPERATIVO Definizione di sistema informatico cooperativo (SIC) Gli obiettivi della Sicurezza in un SIC L’assenza di una gerarchia e la necessità di sistemi passivi Monitoraggio delle reti Monitoraggio dei db e dei file systems Regole predefinite Regole apprese
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066132 -
MACHINE LEARNING
(obiettivi)
Conoscenza e capacità di utilizzo delle principali tecniche di apprendimento automatico, supervisionato e non supervisionato. Applicazione di tali tecniche a problemi di estrazione di conoscenza (mining) in insiemi di dati di grandi dimensioni. Conoscenza dei relativi fondamenti matematici.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8067097 -
MODELLI E QUALITA' DEL SOFTWARE
|
Erogato in altro semestre o anno
|
|
8067123 -
SISTEMI DI SIMULAZIONE DISTRIBUITA
|
Erogato in altro semestre o anno
|
|
|
- -
A SCELTA DELLO STUDENTE
|
9
|
|
72
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
|
8067101 -
ALTRE ATTIVITA' FORMATIVE
|
6
|
|
48
|
-
|
-
|
-
|
Ulteriori attività formative (art.10, comma 5, lettera d)
|
ITA |
|
8067094 -
PROVA FINALE
|
21
|
|
-
|
-
|
-
|
-
|
Per la prova finale e la lingua straniera (art.10, comma 5, lettera c)
|
ITA |
Insegnamenti extracurriculari:
(nascondi)
|
|
|
|
8065536 -
ELEMENTI DI ECONOMIA NEL PROGETTO DI SISTEMI
(obiettivi)
Conseguire gli strumenti di base per una valutazione tecnico-economica sulla fattibilità di un progetto complesso (sistema cooperativo). Acquisire la capacità di interagire in un team multidisciplinare per valutare i diversi aspetti (tecnico, economico, organizzativo) di un progetto complesso.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
|
ITA |
|
8065538 -
ANALISI DI RETI
(obiettivi)
Acquisizione di competenze relative ad analisi e soluzione di problemi connessi alla progettazione e alla gestione di reti complesse.
|
6
|
INF/01
|
48
|
-
|
-
|
-
|
|
ITA |
|
8066133 -
INFORMATION RETRIEVAL
(obiettivi)
Il corso di Information Retrieval tratta l'accesso e il recupero dell'informazione per grandi basi documentali. Si affrontano gli aspetti teorici e realizzativi relativi alla costruzione di sistemi avanzati per l'indicizzazione, l'accesso e il recupero di informazione per collezioni molto grandi di documenti. Infine conoscere i modelli di recupero utilizzati nei principali motori di ricerca per i social networks, il web e i sistemi tradizionali di Information Retrieval.
|
9
|
INF/01
|
72
|
-
|
-
|
-
|
|
ITA |
|
8066835 -
SISTEMI DISTRIBUITI DI PROGRAMMAZIONE E SIMULAZIONE
(obiettivi)
Acquisire i modelli di riferimento per progettare e valutare sistemi distribuiti cooperativi. Sviluppare le competenze specialistiche necessarie all’ideazione, progettazione e valutazione di sistemi distribuiti cooperativi. Apprendere l’uso di framework orientati allo sviluppo di sistemi distribuito cooperativi e alla valutazione del loro corretto funzionamento.
|
9
|
ING-INF/05
|
72
|
-
|
-
|
-
|
|
ITA |