Discrete Maths and Logic lab 2015/2016

This year's exercises are hosted at course web page maintained by Prof. Alessandro Artale.

Download week 4 exercises (temporary link)