CosaSeminario
Quando18/7/2017 - 11:30
DoveSala Riunioni
ReferenteFabio Zanolin
Emailfabio.zanolin@uniud.it

Closing and connecting lemmas for conservative flows in Euclidean spaces

Sergey Kryzhevicz

Saint-Petersburg State University, Russia e Università di Nova Gorica, Slovenia

Let V be a bounded Lipschitz continuous vector field in Rd. Suppose that V is divergence – free and satisfies the so-called small mean drift condition V(x+y)dy =0. (1) L→∞x∈Rd L [0,L]d authors demonstrate that the system x ̇ = V (x) (2) is controllable. Namely, for any σ > 0 there exist positive [...]

CosaSeminario
Quando14/7/2017 - 10:00
DoveSala Riunioni
ReferenteRossana Vermiglio
Emailrossana.vermiglio@uniud.it

Le espansioni secondo il Chaos Polinomiale con applicazioni alle equazioni differenziali con ritardo

Andrea Zamolo

Laureando Magistrale in Matematica

CosaSeminario
Quando28/6/2017 - 10:00
DoveAula Multimediale
ReferenteAgostino Dovier
Emailagostino.dovier@uniud.it

Espressività in termini di classi di complessità "catturate" dei linguaggi logici per la rappresentazione della conoscenza

Marta Fiori Carones

Università di Udine

CosaSeminario
Quando15/6/2017 - 16:30
DoveAula Multimediale
ReferenteAngelo Montanari
Emailangelo.montanari@uniud.it

Il concetto di spazio in Federigo Enriques: tra scienza e conoscenza

Paolo Bussotti

Università di Udine

Federigo Enriques (1871-1946) fu uno dei più importanti e creativi matematici europei della propria generazione. Dette contributi fondamentali in diversi settori della disciplina, ma soprattutto in geometria algebrica. Fin dalla fine del XIX secolo, gli interessi di Enriques si focalizzarono anche su una serie di problemi che, per quanto connessi con la matematica, erano di [...]

CosaSeminario
Quando7/6/2017 - 16:30
DoveAula Multimediale
ReferenteAngelo Montanari
Emailangelo.montanari@uniud.it

La logica al lavoro

Alessandro Cimatti

Fondazione Bruno Kessler (Trento)

La logica matematica, nata per rappresentare il ragionamento matematico, e’ diventata negli ultimi decenni uno strumento di ingegneria per la progettazione dei sistemi ad alta complessita’. Puo’ aiutare a rappresentare univocamente il problema della correttezza ed essere utilizzata per l'identificazione di difetti di progettazione e per la certificazione. La logica sta alla base di sistemi software per la verifica che vengono utilizzati [...]