CosaSeminario
Quando15/12/2017 - 10:00
DoveSala Riunioni
ReferenteNicola Vitacolonna
Emailnicola.vitacolonna@uniud.it

Uso del semi-join per la risoluzione di query relazionali

Andrea Urgolo

Corso di Complementi di Basi di Dati e GIS

Il seminario ha per tema l'operatore algebrico di semi-join e il suo uso nella realizzazione di strategie efficienti per il processamento di interrogazioni relazionali, specialmente in un contesto distribuito. In particolare, saranno discusse le proprietà di cui gode tale operatore, quando è conveniente il suo impiego e quali caratteristiche devono possedere le interrogazioni per poter [...]

CosaSeminario
Quando12/12/2017 - 09:00
DoveSala Riunioni
ReferenteDomenico Freni
Emaildomenico.freni@uniud.it

Politopi Regolari Astratti

Nunzio Turtulici

Laureando in Matematica

CosaSeminario
Quando11/12/2017 - 16:30
DoveSala Riunioni
ReferenteGianluca Gorni
Emailgianluca.gorni@uniud.it

Instabilità per oscillatori parametrici

Raffaele Dusefante

Laureando magistrale in Matematica

È noto da secoli che un oscillatore del tipo y''(t)=-k(t)y(t) può essere instabile quando il parametro di elasticità k(t) oscilla con certe frequenze. Qui studiamo il caso in cui k(t) è della forma g(x(t)), dove x(t) a sua volta è un oscillatore del tipo x''(t)=-f(x(t))x(t). Classifichiamo i tipi di stabilità e instabilità del sistema, fra cui [...]

CosaSeminario
Quando22/11/2017 - 14:30
ReferentePietro Corvaja
Emailpietro.corvaja@uniud.it

La matematica immanente (e limitata) di Aristotele: alcuni spunti per una lettura non banalizzante

Monica Ugaglia

CosaSeminario
Quando21/11/2017 - 17:00
DoveAula Multimediale
ReferenteAlberto Marcone
Emailalberto.marcone@uniud.it

How can one sort mathematical theorems

Vasco Brattka

Universitat der Bundeswehr di Monaco

It is common mathematical practice to say that one theorem implies another one. For instance, it is mathematical folklore that the Baire Category Theorem implies the Closed Graph Theorem and Banach's Inverse Mapping Theorem. However, after a bit of reflection it becomes clear that this notion of implication cannot be the usual logical implication that [...]