New course started
Today, the course Mathematical Logic, in the master degree in Mathematics has started. The material is not yet finished: slides are almost complete, except for the last few lessons and … Continue reading
Time for a change
Now it is official: from November 1st, 2014, I will be a mathematical logician in the Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, part of the mathematical … Continue reading
A few notes on balanced trees
In the last project of the course “Algoritmi and Strutture Dati”, there was a problem requiring to find all the points containing some objects in a square of given width … Continue reading
Progetto “Monnezza”
Alcune chiarificazioni sul progetto di Algoritmi e Strutture Dati denominato “Monnezza”. Se si abbandonano rifiuti in una discarica, eccedendo la sua capacità, l’eccedenza deve essere posta a destra della discarica, … Continue reading