|
8067161 -
LOGICA MATEMATICA 1
(obiettivi)
Acquisire una buona conoscenza dello sviluppo, dei metodi e delle applicazioni della teoria degli insiemi, apprezzando la distinzione fra una sua trattazione intuitiva ed una trattazione assiomatica. In particolare, apprendere l'uso della teoria degli insiemi come ambiente in cui e' possibile formalizzare la matematica. Acquisire un conoscenza almeno elementare dei risultati di indipendenza e non contraddittorieta', e delle applicazioni dei grandi cardinali.
|
8
|
MAT/01
|
64
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065716 -
GEOMETRIA ALGEBRICA
(obiettivi)
Lo scopo del corso e' quello di presentare i concetti fondamentali della teoria della risoluzione di sistemi di equazioni polinomiali in un certo numero di indeterminate. La geometria algebrica studia queste soluzioni da un punto di vista globale, mediante la teoria delle varieta' algebriche. Nel corso si definiranno le varieta' algebriche e si discuteranno alcune delle loro piu' importanti proprieta'. Si tratteranno inoltre motivazioni ed esempi concreti.
Gli studenti che completeranno con profitto questo corso - possederanno una conoscenza degli elementi basilari della geometria affine e proiettiva, - avranno familiarita' con esempi espliciti che includeranno curve piane e curve razionali normali, quadriche, la grassmanniana delle rette in P^3, la varieta' di Veronese e la varieta'di Segre. - avranno arricchito la loro conoscenza di anelli commutativi finitamente generati e del loro campo delle frazioni. - utilizzeranno i concetti di morfismi ed isomorfismi di varieta' algebriche e quelli di birazionalita' tra varieta' algebriche.
|
8
|
MAT/03
|
64
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8065702 -
TEORIA SPETTRALE (EAM/1)
|
Erogato in altro semestre o anno
|
|
8067158 -
STATISTICAL LEARNING AND HIGH DIMENSIONAL DATA
|
Erogato in altro semestre o anno
|
|
8067260 -
CAN 1: MODELLIZZAZIONE GEOMETRICA E SIMULAZIONE NUMERICA
(obiettivi)
conoscenza di base delle funzioni splines e di alcune loro applicazioni salienti.
|
8
|
MAT/08
|
64
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
8066424 -
ELEMENTI DI ANALISI NUMERICA
(obiettivi)
completamento di alcune conoscenze di base sull'analisi numerica, con approfondimento di argomenti particolari
|
8
|
MAT/08
|
64
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
|
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
(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
(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
|
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
|