Book on Constructive Linguistics
The book on Constructive Linguistics I wrote with Federico Gobbo is now available on the publisher’s site. Here the details: Constructive Adpositional Grammars: Foundations of Constructive Linguistics Author: Federico Gobbo … 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
Italian keyboards and Emacs
When typing on an Italian keyboard, composing LaTeX documents, it is always a pain since a couple of fundamental characters are lacking: tilde and backtick. There are useless characters like … Continue reading
Monomorphisms as limits
Sometimes it is useful to think to monomorphisms as limits of a category. Let be a monomorhism, i.e., for every pair of arrows , if , then . This is … Continue reading
Old website
As announced, I dismissed my old website. Its URL is still valid, and it redirects here.
An exact formula for satisfiability
Let be an instance of SAT. As in a previous post, let denote the i-th clause. Moreover, let . We know that . Evidently, is the set of assignments falsifying … Continue reading
A quick satisfiability check
As it is well-known, Boolean Satisfiability, SAT for short, is NP-complete. Suppose is a formula where is a literal, i.e., the variable , or , or (when the variable does … Continue reading
Order (and small disorder)
In most textbooks, one finds that a category represents a preorder exactly when there is at most one arrow between any pair of objects. But, surprisingly, the same is told … Continue reading
New home site
Although I’ll keep my old home page, I’ll not maintain it anymore. Sooner or later, I’ll get rid of that page by redirecting the traffic here. Stay tuned!
Marco Benini 
You must be logged in to post a comment.