Obiettivo è una introduzione ai metodi della Logica Matematica. Nell'ambito dalla logica proposizionale sono presentate in maniera formale le nozioni di verità, conseguenza logica e dimostrabilità, con il fine di dimostrare l'equivalenza fra la relazione di conseguenza logica e quella di dimostrabilità (teorema di completezza). Per superare il limitato potere espressivo della logica proposizionale, le nozioni di cui sopra vengo poi estese alla logica dei predicati del primo ordine, giungendo alla dimostrazione del teorema di completezza di Gödel. Nell'ultima parte dell'insegnamento si mostrano i legami fra la logica dei predicati e la pratica matematica. A tal fine vengono presentati alcuni risultati di base, ma fondamentali, nella teoria dei modelli e se ne discutono applicazioni in algebra, geometria e analisi matematica.

L'obiettivo del corso di acquisire tecniche avanzate di teoria dei codici e attraverso una familiarità con metodi di algebra commutativa e geometria algebrica. Ampio spazio è dedicato alla descrizione delle applicazioni industriali della teoria

Introduce la teoria delle basi di Gröbner, metodi di fattorizzazione per interi e polinomi, e l'algoritmo LLL.

L’insegnamento si propone di fornire agli studenti le nozioni di base di geometria differenziale reale e complessa. Al termine dell'insegnamento lo studente avrà acquisito le conoscenze fondamentali della teoria delle varietà differenziabili reali (con e senza bordo) e complesse. Egli sarà in grado di calcolare anelli di coomologia di De Rham di tali varietà, determinare attraverso calcoli coomologici proprietà topologiche quali l'orientabilità, la connessione o l'esistenza di intersezione tra sottovarietà. Infine sarà in grado di risolvere in casi semplici problemi geometrici quali la pettinabilità di una varietà o l'esistenza di punti fissi di un'autoapplicazione traducendoli in calcoli coomologici.

Sono presentati argomenti scelti di Analisi Reale e Funzionale e alcune loro applicazioni alle equazioni alle derivate parziali.

Il corso si propone di fornire una introduzione alla teoria delle equazioni a derivate parziali lineari. Saranno studiate le principali classi di equazioni del secondo ordine e le loro interpretazioni matematico fisiche. Saranno inoltre introdotti gli spazi di Sobolev e spiegato il loro uso nelle formulazioni deboli dei problemi con dati al bordo e nei problemi con valori iniziali

Questo corso fornisce elementi di base della teoria dei processi stocastici: processi gaussiani, processi stazionari, martingale e processi di Markov. In particolare, il processo di Wiener e il processo di Poisson.

Il corso sviluppa strumenti matematici avanzati della Fisica Matematica e tratta le loro applicazioni alle Teorie Quantistiche e Relativistiche.

Il corso sviluppa strumenti matematici avanzati della Fisica Matematica e tratta alcune loro applicazioni alla Meccanica Analitica, al Calcolo delle Variazioni, alla Meccanica dei Continui, alla Propagazione delle onde, alla Relatività ristretta e generale.

Scopo del corso è l'analisi di metodi numerici per la risoluzione approssimata di equazioni differenziali a derivate parziali, in particolare il metodo degli elementi finiti e il metodo degli elementi al contorno. È completato da esempi in laboratorio usando FreeFem e Matlab.

Scegliere nell’elenco dei settori affini, di cui almeno 24 crediti in settori MAT/ o FIS/ offerti dalle Lauree Magistrali dell'Ateneo oppure da altre istituzioni accademiche sulla base di convenzioni sottoscritte con il Dipartimento di Matematica come stabilito dall’Art. 5 del Regolamento, purché non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale.
Ogni anno il Manifesto indica l’elenco degli insegnamenti affini forniti dal Dipartimento di Matematica dell'Università di Trento. Fra gli affini si possono inserire anche insegnamenti non scelti nella tabella precedente.

Insegnamenti scelti tra tutti i corsi offerti dall'Ateneo oppure dalla Laurea Magistrale in Matematica dell’Università di Verona, che non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale, coerenti con il piano di studi. 3 crediti possono essere utilizzati per ottenere il certificato C1 di inglese.

Inglese B2.

L’attività che porta alla stesura della tesi può essere articolata in uno dei seguenti modi: a. una tesi originale, svolta con la guida di un relatore (30 CFU); b. una attività di tirocinio/stage (12 CFU) seguita da una tesi originale, svolta sotto la guida di un relatore (18 CFU). Questa seconda alternativa non è ammessa per chi abbia inserito il tirocinio breve da 3 CFU fra le attività a libera scelta.

Introduce la teoria delle basi di Gröbner, metodi di fattorizzazione per interi e polinomi, e l'algoritmo LLL.

L'obiettivo del corso di acquisire tecniche avanzate di teoria dei codici e attraverso una familiarità con metodi di algebra commutativa e geometria algebrica. Ampio spazio è dedicato alla descrizione delle applicazioni industriali della teoria.

Il corso offre una introduzione alla crittografia algebrica. Teoria di Shannon, crittografia simmetrica ed asimmetrica. Funzioni booleane e funzioni booleane vettoriali. LFSR, stream ciphers (A5/1,A5/2,A5/3, E0) e block ciphers (AES, serpent, present). Crittoanalisi classica e avanzata nella crittografia simmetrica. Funzioni di hash. Introduzione alla crittografia delle curve ellittiche. Cenni alle zero-knowledge proof ed al secret sharing..

Scelti dalla Tabella 2 dell'allegato 1 del Regolamento didattico del corso.

Ogni anno il Manifesto indica l’elenco degli insegnamenti affini tra cui scegliere nei SSD MAT/, INF/, ING-INF/ offerti dalle Lauree Magistrali dell'Ateneo oppure da altre istituzioni accademiche sulla base di convenzioni sottoscritte con il Dipartimento di Matematica, purché non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale. Annualmente il Manifesto presenta due piani di studio consigliati, uno rivolto verso le applicazioni (stage-oriented), e uno rivolto verso la ricerca teorica (research-oriented).

Insegnamenti scelti tra tutti i corsi offerti dall'Ateneo oppure dalla Laurea Magistrale in Matematica dell’Università di Verona, che non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale, coerenti con il piano di studi. 3 crediti possono essere utilizzati per ottenere il certificato C1 di inglese.

Inglese B2.

L’attività che porta alla stesura della tesi può essere articolata in uno dei seguenti modi: a. una tesi originale, svolta con la guida di un relatore (30 CFU); b. una attività di tirocinio/stage (12 CFU) seguita da una tesi originale, svolta sotto la guida di un relatore (18 CFU).

Introduzione alle distribuzioni di Schwartz, alla teoria delle trasformate integrali (in particolare quelle di Laplace e di Fourier) ed alle loro applicazioni alle equazioni a derivate parziali e ai sistemi lineari.

Introduzione ai modelli matematici più semplici in biologia, specialmente ma non solo nell’area della biologia di popolazione e dell’ecologia. Sarà prestata attenzione sia alla costruzione dei modelli, sia all’analisi dei problemi matematici risultanti, soprattutto nell’area delle equazioni differenziali ordinarie, ma anche delle equazioni a derivate parziali, alle differenze e ai modelli stocastici.

Sono presentati argomenti scelti di Analisi Reale e Funzionale e alcune loro applicazioni alle equazioni alle derivate parziali.

Combinando concetti topologici e algoritmici, il corso fornisce un'introduzione al campo della topologia computazionale. Partendo dalle motivazioni sia matematiche che informatiche e sviluppando argomenti classici di topologia geometrica e algebrica, si arriva all'omologia persistente.

Il corso si propone di fornire una introduzione alla teoria delle equazioni a derivate parziali lineari. Saranno studiate le principali classi di equazioni del secondo ordine e le loro interpretazioni matematico fisiche. Saranno inoltre introdotti gli spazi di Sobolev e spiegato il loro uso nelle formulazioni deboli dei problemi con dati al bordo e nei problemi con valori iniziali.

Questo corso fornisce elementi di base della teoria dei processi stocastici: processi gaussiani, processi stazionari, martingale e processi di Markov. In particolare, il processo di Wiener e il processo di Poisson.

Scopo del corso è l'analisi di metodi numerici per la risoluzione approssimata di equazioni differenziali a derivate parziali, in particolare il metodo degli elementi finiti e il metodo degli elementi al contorno. È completato da esempi in laboratorio usando FreeFem e Matlab.

Il corso fornisce abilità per la programmazione scientifica di base e avanzata applicata ad algoritmi numerici per la soluzione di equazioni differenziali parziali, ed usando vari linguaggi moderni di programmazione.

Il corso fornisce gli strumenti matematici essenziali (equazioni di Maxwell, problemi inversi e loro regolarizzazioni, trasformate integrali, soluzioni fondamentali) per la comprensione di diverse tecniche di imaging, in particolare quelle basate su proprietà biomagnetiche.

Lo studente dovrà ottenere una panoramica della teoria delle equazioni differenziali stocastiche e delle loro applicazioni all'Analisi Matematica, alla Fisica e alla Finanza Matematica. Gli studenti dovranno essere in grado di affrontare i problemi che gli vengono proposti settimanalmente, anche attraverso un uso consapevole della letteratura scientifica, e che saranno poi discussi in classe.

Scopo del corso è fornire una conoscenza di base delle problematiche riguardanti l'analisi statistica di dati provenienti da serie temporali; in particolare, struttura e stime per modelli lineari ARMA; analisi spettrale; cenni a modelli non linear.

Scegliere nell’elenco degli insegnamenti dei settori affini offerti dalle Lauree Magistrali dell’Ateneo oppure da altre istituzioni accademiche sulla base di convenzioni sottoscritte con il Dipartimento di Matematica, che non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale, e che siano propedeutici ad un’area di applicazione della matematica. Ogni anno la struttura didattica presenterà nel Manifesto alcuni piani di studio consigliati per uno specifico tipo di applicazioni, in particolare nell’ambito di ecologia, epidemiologia, reti molecolari, fisiologia, biomedicina o aree collegate.

Insegnamenti scelti tra tutti i corsi offerti dall'Ateneo oppure dalla Laurea Magistrale in Matematica dell’Università di Verona, che non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale, coerenti con il piano di studi. 3 crediti possono essere utilizzati per ottenere il certificato C1 di inglese.

Inglese B2.

L’attività che porta alla stesura della tesi può essere articolata in uno dei seguenti modi:

• una tesi originale, svolta con la guida di un relatore (30 CFU)
• una attività di tirocinio/stage (12 CFU) seguita da una tesi originale, svolta sotto la guida di un relatore (18 CFU).

In questo corso sono presentate alcune applicazioni dell’analisi e della probabilità in finanza, biologia, ingegneria e fisica.

L'insegnamento si propone di: - riconsiderare le nozioni fondamentali della geometria Euclidea (Libri IIV degli elementi di Euclide) da un punto di vista superiore, in particolare utilizzando la formulazione assiomatica moderna introdotta a partire da Hilbert - introdurre in modo rigoroso la nozione di geometria non euclidea, con particolare attenzione alla geometria iperbolica e al modello di Poincarè. - studiare costruzioni con riga e compasso, mediante l'utilizzo del software libero GeoGebra.

Oggetto del corso è lo sviluppo storico che ha portato alla moderna formalizzazione dell’analisi matematica.

Il corso si propone di fornire una descrizione organica della forma e funzione della matematica, approfondendo le origini, il carattere e le correlazioni tra le sue parti fondamentali.

Costruire conoscenze e competenze per accompagnare l'insegnamento/apprendimento della matematica con attività laboratoriali, che consentano di fare attivamente esperienze dirette di matematica. Fornire un metodo di lavoro da utilizzare nell'insegnamento scolastico.

Sviluppo e potenziamento delle competenze attinenti a diverse modalità espositive di argomenti matematici, proprie della scuola secondaria superiore.

Obiettivo è una introduzione ai metodi della Logica Matematica. Nell'ambito dalla logica proposizionale sono presentate in maniera formale le nozioni di verità, conseguenza logica e dimostrabilità, con il fine di dimostrare l'equivalenza fra la relazione di conseguenza logica e quella di dimostrabilità (teorema di completezza). Per superare il limitato potere espressivo della logica proposizionale, le nozioni di cui sopra vengo poi estese alla logica dei predicati del primo ordine, giungendo alla dimostrazione del teorema di completezza di Gödel. Nell'ultima parte dell'insegnamento si mostrano i legami fra la logica dei predicati e la pratica matematica. A tal fine vengono presentati alcuni risultati di base, ma fondamentali, nella teoria dei modelli e se ne discutono applicazioni in algebra, geometria e analisi matematica.

Introduce la teoria delle basi di Gröbner, metodi di fattorizzazione per interi e polinomi, e l'algoritmo LLL.

Scegliere nell’elenco degli insegnamenti dei settori affini offerti dalle Lauree Magistrali dall’Ateneo oppure da altre istituzioni accademiche sulla base di convenzioni sottoscritte con il Dipartimento di Matematica, che non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale.

Insegnamenti scelti tra tutti i corsi offerti dall'Ateneo oppure dalla Laurea Magistrale in Matematica dell’Università di Verona, che non ripetano attività già svolte nei corsi precedenti né nel percorso di Laurea Triennale, coerenti con il piano di studi. 3 crediti possono essere utilizzati per ottenere il certificato C1 di inglese.

Inglese B2.

L’attività che porta alla stesura della tesi può essere articolata in uno dei seguenti modi:

• una tesi originale, svolta con la guida di un relatore (30 CFU)
• una attività di tirocinio/stage (12 CFU) seguita da una tesi originale, svolta sotto la guida di un relatore (18 CFU). Questa seconda alternativa non è ammessa per chi abbia inserito il tirocinio breve da 3 CFU fra le attività a libera scelta.