20402083 -
AL310 - ISTITUZIONI DI ALGEBRA SUPERIORE
(obiettivi)
Acquisire una buona conoscenza dei concetti e metodi della teoria delle equazioni polinomiali di una variabile. Saper applicare le tecniche ed i metodi dell'algebra astratta. Capire e saper applicare il Teorema Fondamentale della corrispondenza di Galois per studiare la “complessità” di un polinomio
|
7
|
MAT/02
|
72
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402085 -
AM310 - ISTITUZIONI DI ANALISI SUPERIORE
(obiettivi)
Acquisire una buona conoscenza della teoria della integrazione astratta. Introduzione all'analisi funzionale: spazi di Banach e di Hilbert
|
7
|
MAT/05
|
72
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402086 -
FM310 - FISICA MATEMATICA 2
|
Erogato in altro semestre o anno
|
20402087 -
GE310 - ISTITUZIONI DI GEOMETRIA SUPERIORE
(obiettivi)
Topologia: Classificazione topologica di curve e superfici. Geometria differenziale: studio della geometria di curve e superfici in R^3 per fornire esempi concreti e facilmente calcolabili sul concetto di curvatura in geometria. I metodi usati pongono la geometria in relazione con il calcolo di più variabili, l’algebra lineare e la topologia, fornendo allo studente una visione ampia di alcuni aspetti della matematica
|
7
|
MAT/03
|
72
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402088 -
AN410 - ANALISI NUMERICA 1
(obiettivi)
Il corso intende dare gli elementi fondamentali (inclusa la implementazione in un linguaggio di programmazione) delle tecniche di approssimazione numerica di base, in particolare quelle legate alla soluzione di sistemi lineari e di equazioni scalari non lineari, all'interpolazione e alla integrazione approssimata
|
7
|
MAT/08
|
72
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
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
|
60
|
12
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402090 -
MC410 - MATEMATICHE COMPLEMENTARI 1
(obiettivi)
Approfondimento delle nozioni di base di geometria euclidea e studio le geometrie non euclidee e localmente euclidee. Individuazione delle relazioni esistenti tra algebra, geometria e analisi matematica. Relazioni tra matematica e arte. Particolare attenzione al modo di esporre e organizzare il materiale didattico: apprendimento ed elaborazione dei concetti di base da un punto di vista elementare, formale e astratto
|
7
|
MAT/04
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402091 -
TN410 - INTRODUZIONE ALLA TEORIA DEI NUMERI
|
Erogato in altro semestre o anno
|
20402092 -
AN420 - ANALISI NUMERICA 2
|
Erogato in altro semestre o anno
|
20402093 -
CP410 - PROBABILITA' 2
(obiettivi)
Acquisire una solida preparazione negli aspetti principali della teoria della probabilità: costruzione di misure di probabilità su spazi misurabili, legge 0- 1, indipendenza, aspettazioni condizionate, variabili casuali, convergenza di variabili casuali, funzioni caratteristiche, teorema del limite centrale, processi di ramificazione e alcuni risultati fondamentali nella teoria delle martingale a tempo discreto
|
7
|
MAT/06
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402094 -
AL410 - ALGEBRA COMMUTATIVA
|
Erogato in altro semestre o anno
|
20402097 -
AM410 - EQUAZIONI ALLE DERIVATE PARZIALI DI TIPO ELLITTICO
|
Erogato in altro semestre o anno
|
20402101 -
CP430 - CALCOLO STOCASTICO
|
Erogato in altro semestre o anno
|
20402103 -
FM410 - FISICA MATEMATICA 3
|
Erogato in altro semestre o anno
|
20402104 -
GE410 - GEOMETRIA ALGEBRICA 1
(obiettivi)
Introduzione allo studio di topologia e geometria definite attraverso strumenti algebrici. Raffinamento di conoscenze dell'algebra attraverso applicazioni allo studio delle varietà algebriche in spazi affini e proiettivi
|
7
|
MAT/03
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402108 -
IN430 - INFORMATICA 4, TECNICHE INFORMATICHE AVANZATE
|
Erogato in altro semestre o anno
|
20402113 -
MC430 - LABORATORIO DI DIDATTICA DELLA MATEMATICA
|
Erogato in altro semestre o anno
|
20402114 -
ME410 - MATEMATICHE ELEMENTARI DA UN PUNTO DI VISTA SUPERIORE
|
Erogato in altro semestre o anno
|
20402115 -
ST410 - STATISTICA 1
(obiettivi)
Acquisire una buona conoscenza delle metodologie statistico matematiche di base per problemi di inferenza e modellistica statistica. Sviluppare una conoscenza anche operativa di alcuni specifici pacchetti statistici per l'applicazione pratica degli strumenti teorici acquisiti
|
7
|
SECS-S/01
|
60
|
12
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402122 -
FS420 - MECCANICA QUANTISTICA
(obiettivi)
IL CORSO MIRA A FORNIRE UNA CONOSCENZA BASILARE DELLA MECCANICA QUANTISTICA, DISCUTENDO LE PRINCIPALI EVIDENZE SPERIMENTALI E LE CONSEGUENTI INTERPRETAZIONI TEORICHE CHE HANNO CONDOTTO ALLA CRISI DELLA FISICA CLASSICA E ILLUSTRANDONE I PRINCIPI FONDAMENTALI: CONCETTO DI PROBABILITÀ, DUALISMO ONDA-PARTICELLA, PRINCIPIO DI INDETERMINAZIONE. VIENE QUINDI DESCRITTA LA DINAMICA QUANTISTICA, L'EQUAZIONE DI SCHRODINGER E LA SUA RISOLUZIONE PER ALCUNI SISTEMI FISICI RILEVANTI.
|
7
|
FIS/02
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402123 -
MA410 - MATEMATICA APPLICATA E INDUSTRIALE
|
Erogato in altro semestre o anno
|
20402249 -
CH410- ELEMENTI DI CHIMICA
(obiettivi)
Conoscere i principi fondamentali della chimica generale e saper applicare le conoscenze acquisite alla soluzione di semplici problemi di chimica
|
7
|
CHIM/03
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402290 -
IN420-INFORMATICA 3, TEORIA DELL'INFORMAZIONE
|
Erogato in altro semestre o anno
|
20410031 -
MF410 - MATEMATICA FINANZIARIA
|
Erogato in altro semestre o anno
|
20410032 -
LM420 - COMPLEMENTI DI LOGICA CLASSICA
|
Erogato in altro semestre o anno
|
20410034 -
AM430 - EQUAZIONI DIFFERENZIALI ORDINARIE
|
Erogato in altro semestre o anno
|
20410035 -
LM430 - TEORIA ASSIOMATICA DEGLI INSIEMI
|
Erogato in altro semestre o anno
|
20410036 -
FM450 - ASPETTI MATEMATICI DELLA MECCANICA QUANTISTICA
|
Erogato in altro semestre o anno
|
20410037 -
GE450 - TOPOLOGIA ALGEBRICA
|
Erogato in altro semestre o anno
|
20410038 -
GE460 - TEORIA DEI GRAFI
(obiettivi)
Fornire strumenti e metodi della teoria dei grafi
|
7
|
MAT/03
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20410040 -
IN470 - INFORMATICA 10 - METODI COMPUTAZIONALI PER LA BIOLOGIA
(obiettivi)
Acquisire la conoscenza di base dei sistemi biologici e delle problematiche legate alla loro comprensione anche in relazione a deviazioni dal normale funzionamento e quindi all’insorgenza di patologie. Curare l’aspetto modellistico come pure quello della simulazione numerica, soprattutto di problemi formulati mediante equazioni e sistemi discreti. Acquisire la conoscenza dei principali algoritmi bio-informatici utili ad analizzare dati biologici.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20410044 -
FS430 - FISICA 3, RELATIVITA' E TEORIE RELATIVISTICHE
|
Erogato in altro semestre o anno
|
20410056 -
FS410 - LABORATORIO DI DIDATTICA DELLA FISICA
|
Erogato in altro semestre o anno
|
20410043 -
LM410 - LOGICA CLASSICA DEL PRIMO ORDINE
(obiettivi)
Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonché dei principali risultati che la concernono.
|
7
|
MAT/01
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20402095 -
AL420 - TEORIA ALGEBRICA DEI NUMERI
|
Erogato in altro semestre o anno
|
20402098 -
AM420 - SPAZI DI SOBOLEV ED EQUAZIONI ALLE DERIVATE PARZIALI
|
Erogato in altro semestre o anno
|
20402100 -
CP420 - PROCESSI STOCASTICI
|
Erogato in altro semestre o anno
|
20402106 -
GE430 - GEOMETRIA DIFFERENZIALE 2
|
Erogato in altro semestre o anno
|
20402110 -
IN450 - INFORMATICA 6, ALGORITMI PER LA CRITTOGRAFIA
(obiettivi)
Acquisire la conoscenza dei principali algoritmi di cifratura. Approfondire le competenze matematiche necessarie alla descrizione degli algoritmi. Acquisire le tecniche di crittoanalisi utilizzate nella valutazione del livello di sicurezza fornito dai sistemi di cifratura
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20410073 -
IN460 - INFORMATICA 7, GEOMETRIA COMPUTAZIONALE
|
Erogato in altro semestre o anno
|
20402291 -
ST420- STATISTICA 2, STATISTICA MATEMATICA
|
Erogato in altro semestre o anno
|
20410100 -
AC310 - ANALISI COMPLESSA 1
|
Erogato in altro semestre o anno
|
20410094 -
GE470 - SUPERFICI DI RIEMANN
|
Erogato in altro semestre o anno
|
20402280 -
AN430-ANALISI NUMERICA 3
(obiettivi)
Introdurre alle principali metodologie per la Analisi Numerica delle Equazioni alle Derivate Parziali, in particolare i metodi alle differenze finite e quelli variazionali
|
7
|
MAT/08
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20410107 -
CR410 - CRITTOGRAFIA 1
(obiettivi)
Acquisire una conoscenza di base dei concetti e metodi 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/03
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20410068 -
MF410 - MODELLI MATEMATICI PER I MERCATI FINANZIARI
(obiettivi)
Acquisire la conoscenza delle nozioni base di matematica finanziaria. Approfondire la valutazione delle attività finanziarie e dei titoli obbligazionari, la struttura a termine dei tassi d'interesse. Studiare Modelli CAPM ed APT per le scelte di portafoglio, funzioni di utilità, dinamiche di prezzo dei titoli azionari a tempo discreto e continuo, valutazione dei derivati
|
7
|
SECS-S/06
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20410069 -
FS410 - LABORATORIO DI DIDATTICA DELLA FISICA
|
Erogato in altro semestre o anno
|
20410074 -
LM430 - TEORIA ASSIOMATICA DEGLI INSIEMI
|
Erogato in altro semestre o anno
|
20410070 -
LM420 - COMPLEMENTI DI LOGICA CLASSICA
(obiettivi)
Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.
|
7
|
MAT/01
|
60
|
-
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |
20410133 -
IN480 - CALCOLO PARALLELO E DISTRIBUITO
(obiettivi)
Acquisire le tecniche di programmazione parallela e distribuita, e la conoscenza delle moderne architetture hardware e software per il calcolo scientifico ad alte prestazioni. Introdurre i metodi iterativi distribuiti per la simulazione di problemi numerici. Acquisire la conoscenza dei linguaggi di nuova concezione per la programmazione dinamica nel calcolo scientifico, quali il linguaggio Julia
|
7
|
INF/01
|
48
|
12
|
-
|
-
|
Attività formative a scelta dello studente (art.10, comma 5, lettera a)
|
ITA |