I mercoledì del DIMI

Appuntamenti a cadenza settimanale di divulgazione scientifica organizzati dal DIMI

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 [...]

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

L'edizione ginevrina dei Principia di Newton (1739-1742): i contenuti e il contesto

Paolo Bussotti

Università di Udine

La prima edizione dei Principia newtoniani risale al 1687. Ad essa, durante la vita di Newton, ne seguirono altre due: la seconda nel 1723 e la terza nel 1726, in cui vennero introdotte alcune importanti aggiunte, come, per esempio, il celebre Scolio generale. Andrew Motte tradusse i Principia dal latino in inglese nel 1729. In [...]

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 [...]