Adesso all'università "Sapienza" di Roma, è parte di Fondamenti di informatica 2, secondo anno.
Io l'ho fatto con il vecchio ordinamento "Linguaggi e sistemi formali" (secondo anno) molto più d'effetto come nome