I mercoledì del DIMI

Appuntamenti a cadenza settimanale di divulgazione scientifica organizzati dal DIMI

CosaSeminario
Quando9/11/2016 - 16:30
DoveAula Multimediale
ReferenteAngelo Montanari
Emailamgelo.montanari@uniud.it

Aspetti geometrici nella separazione di fase

Susanna Terracini

Università di Torino

Diversi fenomeni fisici possono essere descritti mediante lo studio di alcuni parametri di densità, quali, ad esempio, la densità di massa, di popolazione o di probabilità, che si distribuiscono in una certa regione. Tali densità sono tipicamente soggette a leggi fisiche di diffusione, di reazione e/o di interazione. Quando i fenomeni di interazione sono prevalenti, [...]

CosaSeminario
Quando14/6/2016 - 14:30
DoveAula Multimediale
Referenteprof. Angelo Montanari
Emailangelo.montanari@uniud.it

Intelligenza Artificiale: Neats vs. Scruffies

Eugenio Omodeo

Università di Trieste

Molta dell’attrattiva che l’informatica esercita sul vasto pubblico nasce da un settore che appare “insoddisfatto, eternamente inquieto” tanto nel delimitare i propri obiettivi quanto nell’attribuirsi risultati stabili. Gli ambiti in cui l’Intelligenza Artificiale cerca di emulare facoltà proprie dell’uomo non riguardano solo funzioni cognitive superiori (e.g.: apprendimento, rappresentazione della conoscenza, elaborazione del linguaggio) ma anche, da [...]

CosaSeminario
Quando20/4/2016 - 17:00
DoveAula Multimediale del Dipartimento di Scienze Matematiche, Informatiche e Fisiche - via delle Scienze 206 - Udine
ReferenteAngelo Montanari
Emailangelo.montanari@uniud.it

I grandi cardinali in matematica e in combinatoria infinita

Vincenzo Dimonte

Kurt Goedel Research Center (Vienna)

La teoria degli insiemi, ramo della logica matematica, ha fin dalla sua fondazione un duplice ruolo in matematica.Si occupa di un'analisi rigorosa dell'infinito e di tutte le sue derivazioni, ma anche delle fondamenta, costruendo una teoria su cui tutta la matematica possa basarsi senza timore di paradossi. La teoria dei grandi cardinali è in questo [...]

CosaSeminario
Quando6/4/2016 - 15:00
DoveAula Multimediale
ReferenteFranco Blanchini
Emailfranco.blanchini@uniud.it

Matematica e automazione

Patrizio Colaneri

Politecnico di Milano

CosaSeminario
Quando9/3/2016 - 16:30
DoveAula Multimediale
ReferenteAngelo Montanari
Emailangelo.montanari@uniud.it

A century of parentheses languages with some amazing returns

Prof. Stefano Crespi Reghizzi

Professore emerito del Dipartimento di Elettronica, Informazione e Bioingegneria del Politecnico di Milano

Parentheses have appeared in algebraic writing in the XV-XVI century. Erasmus of Rotterdam calls them lunulae. Earlier and until the XVIII century, overline vinculum had been used for grouping literals into a term. Abstracting from the contents of parenthesized text, Walter von Dyck’s (1856-1934) name has been given to the formal language every computer science [...]