Logica e informatica A.A. 2022/23 (Metodi quantitativi per l'informatica)