I mercoledì del DIMI

Appuntamenti a cadenza settimanale di divulgazione scientifica organizzati dal DIMI

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

CosaSeminario
Quando25/10/2017 - 16:30
DoveAula Multimediale
ReferenteGiuseppe Lancia
Emailgiuseppe.lancia@uniud.it

Compact Extended Linear Programming Models

Paolo Serafini

Università di Udine

In this talk we will present the new book "Compact Extended Linear Programming Models" by G. Lancia e P. Serafini, published by Springer 2017. The volume provides a handy, unified introduction to the theory of compact extended reformulations for very large size integer linear programming (ILP) models. The book is written in [...]

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