Primo semestre Automi calcolabilità e complessità Linguaggi di programmazione Ingegneria del software