Informatica teorica - Tenuto da Vincenzo Fano - A.A. 2007/2008