20402089 -
IN410 - INFORMATICA 2
(obiettivi)
IL CORSO TEORIA DELLA COMPUTAZIONE E DELL'INTERAZIONE È DEDICATO ALL'APPROFONDIMENTO DEGLI ASPETTI TEORICI LEGATI AL CONCETTO DI COMPUTAZIONE E ALLO STUDIO DELLA RELAZIONI TRA DIVERSI MODELLI DI CALCOLO. LA COMPETENZA DI BASE SULL'INFORMATICA VIENE AMPLIATA CON NUOVI CONCETTI E PUNTI DI VISTA TEORICI. IL CORSO È SUDDIVISO IN DUE MODULI DA 6 CFU IN MODO DA PERMETTERE CHE L'ESAME VENGA SOSTENUTO SOLO SUL PRIMO MODULO (6 CFU) O SU ENTRAMBI (12 CFU). PIÙ IN DETTAGLIO, IL CORSO FORNISCE UNA PRESENTAZIONE DEI CONCETTI FORMALI DI ALGORITMO E DI COMPUTABILITÀ. DOPO L'INTRODUZIONE CLASSICA DEL CONCETTO DI COMPUTABILITÀ MEDIANTE LA FORMALIZZAZIONE DATA DA ALAN M. TURING VERRANNO AFFRONTATI I CONCETTI DI BASE DELLA COMPLESSITÀ ALGORITMICA ED ALCUNE QUESTIONI RIGUARDANTI LA DECIDIBILITÀ, I MODELLI FUNZIONALI E PIÙ IN GENERALE SULLA PROGRAMMAZIONE FUNZIONALE. IL SECONDO MODULO DEL CORSO SI CONCENTRERÀ SULLA QUESTIONE DEI PARADIGMI INTERATTIVI CHE NELLA TEORIA DELLA COMPUTAZIONE PERMETTONO LA DESCRIZIONE DI ULTERIORI CLASSI DI COMPLESSITÀ E DEL LORO UTILIZZO NELLA SEMANTICA DELLE DIMOSTRAZIONI.
|
7
|
INF/01
|
72
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402091 -
TN410 - INTRODUZIONE ALLA TEORIA DEI NUMERI
(obiettivi)
ACQUISIRE UNA BUONA CONOSCENZA DEI CONCETTI E DEI METODI DALLA TEORIA ELEMENTARE DEI NUMERI, CON PARTICOLARE RIGUARDO ALLO STUDIO DELLE EQUAZIONI DIOFANTEE E DELLE EQUAZIONI DI CONGRUENZE. FORNIRE I PREREQUISITI PER CORSI PIÙ AVANZATI DI TEORIA ALGEBRICA ED ANALITICA DEI NUMERI.
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402102 -
CR410 - CRITTOGRAFIA 1
(obiettivi)
ACQUISIRE UNA CONOSCENZA DI BASE DEI CONCETTI E METODI MATEMATICI RELATIVI ALLA TEORIA DELLA CRITTOGRAFIA A CHIAVE PUBBLICA, FORNENDO UNA PANORAMICA DI QUELLI CHE SONO I MODELLI ATTUALMENTE PIÙ UTILIZZATI IN QUESTO SETTORE.
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402107 -
GE510 - GEOMETRIA ALGEBRICA 2
(obiettivi)
INTRODURRE ED APPLICARE IL LINGUAGGIO DELLA GEOMETRIA ALGEBRICA MODERNA ATTRAVERSO LA TEORIA DEI FASCI E LA TEORIA DEGLI SCHEMI. APPROFONDIMENTO DELLE INTERAZIONI DI ALGEBRA E GEOMETRIA. ILLUSTRAZIONE DI TEMI DI RICERCA E PROBLEMI APERTI NELLA GEOMETRIA E ALGEBRA MODERNE.
|
7
|
MAT/03
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402108 -
IN430 - INFORMATICA 4, TECNICHE INFORMATICHE AVANZATE
(obiettivi)
IL CORSO IN430 – INFORMATICA 4, TECNICHE INFORMATICHE AVANZATE E' DEDICATO ALL'ACQUISIZIONE DI COMPETENZE SUI LINGUAGGI DI PROGRAMMAZIONE OBJECT ORIENTED E SULL'APPLICAZIONE DI STRUMENTI CONCETTUALI DI ANALISI E SVILUPPO DI PROGRAMMI A OGGETTI. IL CORSO COMPRENDE UNA PARTE DI INTRODUZIONE ALLA MODELLAZIONE E ALLA PROGETTAZIONE DI CLASSI TRAMITE SCHEMI UML, ED UNA PARTE DI SPECIFICA E IMPLEMENTAZIONE DI ALGORITMI DI CALCOLO DISTRIBUITO IN AMBITO CLOUD E MOBILE.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402109 -
IN440 - INFORMATICA 5, OTTIMIZZAZIONE COMBINATORIA
(obiettivi)
ACQUISIRE COMPETENZE SULLE PRINCIPALI TECNICHE DI RISOLUZIONE PER PROBLEMI DI OTTIMIZZAZIONE COMBINATORIA; APPROFONDIRE LE COMPETENZE SULLA TEORIA DEI GRAFI; ACQUISIRE COMPETENZE TECNICHE AVANZATE PER LA PROGETTAZIONE, L’ANALISI E L’IMPLEMENTAZIONE AL CALCOLATORE DI ALGORITMI PER LA RISOLUZIONE DI PROBLEMI DI OTTIMIZZAZIONE SU GRAFI, ALBERI E RETI DI FLUSSO.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402111 -
IN520 - INFORMATICA 8, TECNICHE DI SICUREZZA DEI DATI E DELLE RETI
(obiettivi)
GLI OBIETTIVI FORMATIVI SONO I SEGUENTI: - CATTURARE IL NESSO TRA MATEMATICA DISCRETA ED IL CONTRIBUTO ALLA SICUREZZA DEI SISTEMI; - FORNIRE AGLI STUDENTI LA CAPACITÀ DI SVILUPPARE IN MANIERA AUTONOMA APPROFONDIMENTI NEL SETTORE DELLA SICUREZZA INFORMATICA; - RENDERLI IN GRADO DI COMPRENDERE LE PROBLEMATICHE DI SICUREZZA DI REALTÀ MEDIO-PICCOLE; - FORNIRE SOLUZIONI ALLE PROBLEMATICHE DI SICUREZZA SOPRA IDENTIFICATE.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402114 -
ME410 - MATEMATICHE ELEMENTARI DA UN PUNTO DI VISTA SUPERIORE
|
Erogato in altro semestre o anno
|
20402115 -
ST410 - STATISTICA 1
|
Erogato in altro semestre o anno
|
20402117 -
FS410 - FISICA 3, RELATIVITA' E TEORIE RELATIVISTICHE
(obiettivi)
IL CORSO SI PROPONE DI FORNIRE LE CONOSCENZE DI BASE DELLA FISICA TEORICA RIGUARDANTI LA FORMULAZIONE COVARIANTE DELLA RELATIVITA’ RISTRETTA, LA MECCANICA QUANTISTICA RELATIVISTICA, LA TEORIA DEI CAMPI E LA ELETTRODINAMICA QUANTISTICA.
|
7
|
FIS/02
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402120 -
LM510 - TIPI E LOGICA LINEARE
(obiettivi)
ACQUISIRE UNA SISTEMATICA CONOSCENZA CRITICA DI UNA PARTICOLARE TEORIA LOGICA RELATIVAMENTE AL TEMA DELLA INTERAZIONE, CENTRALE NELLA RICERCA CONTEMPORANEA SULL’INFORMAZIONE E SULLA COMUNICAZIONE: LA LOGICA LINEARE E I SUOI SVILUPPI.
|
7
|
MAT/01
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402121 -
MC520 - TEORIA ASSIOMATICA DEGLI INSIEMI
(obiettivi)
LA DISCIPLINA SI PREFIGGE DI PRESENTARE AGLI STUDENTI LA TEORIA ASSIOMATICA DEGLI INSIEMI DI ZERMELO-FRAENKEL.
|
7
|
MAT/04
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402122 -
FS420 - MECCANICA QUANTISTICA
|
Erogato in altro semestre o anno
|
20402183 -
AM550 - PROBLEMI DI PICCOLI DIVISORI IN INFINITE DIMENSIONI
(obiettivi)
INTRODURRE ALLO STUDIO DI PROBLEMI CON PICCOLI DIVISORI IN INFINITE DIMENSIONI E RELATIVE APPLICAZIONI ALLE EQUAZIONI ALLE DERIVATE PARZIALI.
|
7
|
MAT/05
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402290 -
IN420-INFORMATICA 3, TEORIA DELL'INFORMAZIONE
(obiettivi)
IL CORSO DI TEORIA DELL'INFORMAZIONE È DEDICATO ALLO STUDIO DELLA TEORIA DI SHANNON SUL CONCETTO DI CODIFICA E DI COMPRESSIONE DEI SEGNALI ALLO SCOPO DI OTTENERE UNA COMUNICAZIONE EFFICIENTE ED AFFIDABILE. LO STUDIO QUANTITATIVO DELL'INFORMAZIONE TRASPORTATA IN UNA COMUNICAZIONE È UN ARGOMENTO DI INTERESSE PER UNA AMPIA AREA DISCIPLINARE TRA CUI L'INFERENZA STATISTICA, L'ELABORAZIONE DEL LINGUAGGIO NATURALE, LA CRITTOGRAFIA, LA NEUROBIOLOGIA, I CODICI MOLECOLARI, LA COMPUTAZIONE QUANTISTICA. SI INIZIERÀ CON LE NOZIONI DI BASE SULLE VARIABILI ALEATORIE, E DIMOSTREREMO I TEOREMI DI BASE SU CODIFICA DELLA SORGENTE E CODIFICA DEL CANALE. PRENDEREMO IN CONSIDERAZIONE I METODI DI COMPRESSIONE SENZA PERDITA DI DATI, LA COMPRESSIONE CON PERDITA DI DATI. INOLTRE FORNIREMO COLLEGAMENTI ALLA CRITTOGRAFIA.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402291 -
ST420- STATISTICA 2, STATISTICA MATEMATICA
|
Erogato in altro semestre o anno
|
20402293 -
CR510-CRITTOSISTEMI ELLITTICI
(obiettivi)
ACQUISIRE UNA CONOSCENZA DI BASE DEI CONCETTI E METODI MATEMATICI RELATIVI ALLA TEORIA DELLE CURVE ELLITTICHE DEFINITE SU CAMPI FINITE E LE LORO APPLICAZIONI NEL CAMPO DELLA CRITTOGRAFIA.
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402297 -
AL410 - ALGEBRA COMMUTATIVA - C
|
Erogato in altro semestre o anno
|
20402298 -
AM410 - EQUAZIONI ALLE DERIVATE PARZIALI DI TIPO ELLITTICO - C
|
Erogato in altro semestre o anno
|
20402299 -
AN410 - ANALISI NUMERICA 1 - C
|
Erogato in altro semestre o anno
|
20402300 -
CP410 - PROBABILITA' 2 - C
|
Erogato in altro semestre o anno
|
20402301 -
FM410 - FISICA MATEMATICA 3 - C
|
Erogato in altro semestre o anno
|
20402302 -
GE410 - GEOMETRIA ALGEBRICA 1 - C
|
Erogato in altro semestre o anno
|
20402303 -
LM410 - LOGICA MATEMATICA 1 - C
|
Erogato in altro semestre o anno
|
20402304 -
MA410 - MATEMATICA APPLICATA E INDUSTRIALE - C
(obiettivi)
IL CALCULUS E IN PARTICOLARE LE EQUAZIONI DIFFERENZIALI SONO IMPORTANTI NELLA RICERCA E SVILUPPO DELLA MATEMATICA APPLICATA E INDUSTRIALE. QUESTI STRUMENTI MATEMATICI SONO INDISPENSABILI PER COMPRENDERE UN GRAN NUMERO DI FENOMENI FISICI, CHIMICI, BIOLOGICI E FINANZIARI E PER MIGLIORARE PRODOTTI E PROCESSI INDUSTRIALI. SI PRESENTERANNO ESEMPI CONCRETI.
|
7
|
MAT/08
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402305 -
MC410 - MATEMATICHE COMPLEMENTARI 1 - C
|
Erogato in altro semestre o anno
|
20402306 -
AN420 - ANALISI NUMERICA 2 - C
(obiettivi)
IL CORSO INTENDE PRESENTARE UNA RASSEGNA DI METODI NUMERICI DI MAGGIOR IMPATTO APPLICATIVO RISPETTO AL PRIMO MODULO. IN QUESTO QUADRO, GLI ELEMENTI GIÀ INTRODOTTI VENGONO UTILIZZATI COME BLOCCHI COSTITUTIVI DI SCHEMI PIÙ COMPLESSI. IL PUNTO DI ARRIVO È FAR CONOSCERE (IN FORMA IN QUALCHE MODO SEMPLIFICATA) LE PROBLEMATICHE PIÙ GENERALI LEGATE IN PARTICOLARE ALLA SOLUZIONE APPROSSIMATA DI PROBLEMI DI OTTIMIZZAZIONE E DI EQUAZIONI E SISTEMI DIFFERENZIALI. LE TECNICHE INTRODOTTE SARANNO UTILIZZATE SU ALCUNI PROBLEMI DI INTERESSE APPLICATIVO.
|
7
|
MAT/08
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402307 -
CP420 - PROCESSI STOCASTICI - C
|
Erogato in altro semestre o anno
|
20402311 -
FM430 - FISICA MATEMATICA 5 - C
|
Erogato in altro semestre o anno
|
20402313 -
MC430 - LABORATORIO DI DIDATTICA DELLA MATEMATICA - C
|
Erogato in altro semestre o anno
|
20402314 -
AL440 - TEORIA DEI GRUPPI - C
(obiettivi)
CORSO AVANZATO DI TEORIA DEI GRUPPI. SI APPROFONDISCONO I CONCETTI INTRODOTTI IN AL210 (GRUPPI FINITI, SOTTOGRUPPI NORMALI E QUOZIENTI) FINO AD ARRIVARE A STUDIARE CONCETTI DEL TUTTO NUOVI COME I GRUPPI LIBERI, NILPOTENTI E RISOLUBILI CHE HANNO IMPORTANTI INTERAZIONI CON ARGOMENTI TRATTATI IN ALTRI CORSI DI ALGEBRA (TEORIA DI GALOIS, RAPPRESENTAZIONI DI MODULI SUI PID, ECC..)
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402315 -
AM440 - ARGOMENTI SPECIALI DELLA TEORIA DELLE EQUAZIONI DIFFERENZIALI ORDINARIE - C
(obiettivi)
GLI OBIETTIVI DEL CORSO SONO LA CONOSCENZA DI ALCUNI ARGOMENTI DELL’ANALISI ASINTOTICA UTILI PER STABILIRE PROPRIETÀ DI NUMEROSE FUNZIONI CONSIDERATE COME SOLUZIONI DI EQUAZIONI DIFFERENZIALI. METODI NUMERICI UTILI A STABILIRE LIMITAZIONI DELL’ERRORE IN VARI CONTESTI SARANNO ANCHE CONSIDERATI.
|
7
|
MAT/05
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402316 -
MC440 - LOGICA CLASSICA DEL PRIMO ORDINE - C
|
Erogato in altro semestre o anno
|
20402317 -
GE450 - TOPOLOGIA ALGEBRICA - C
(obiettivi)
FORNIRE ALLO STUDENTE STRUMENTI AVANZATI DI TOPOLOGIA ALGEBRICA, QUALI OMOTOPIA, OMOLOGIA E COOMOLOGIA, ED ILLUSTRARNE LE PRINCIPALI APPLICAZIONI.
|
7
|
MAT/03
|
60
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402318 -
GE460-TEORIA DEI GRAFI - C
|
Erogato in altro semestre o anno
|
20402319 -
MF410 - MODELLI MATEMATICI PER I MERCATI FINANZIARI (CORSO DI LETTURE)
|
7
|
SECS-S/06
|
-
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402321 -
CP430 - CALCOLO STOCASTICO - C (CORSO DI LETTURE)
(obiettivi)
ACQUISIRE UNA BUONA CONOSCENZA DI PROCESSI STOCASTICI, MOTO BROWNIANO, EQUAZIONI DIFFERENZIALI STOCASTICHE E LORO APPLICAZIONI.
|
7
|
MAT/06
|
-
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20402323 -
GE440 -TOPOLOGIA DIFFERENZIALE - C
|
Erogato in altro semestre o anno
|