Sto prendendo una laurea triennale in Ingegneria Informatica, nella magistrale vorrei approfondire gli aspetti di informatica teorica, soprattutto logica e teoria dei linguaggi. Qual è secondo voi in Italia la migliore magistrale, di Informatica o di Matematica, che pone l'accento su questi aspetti?
Ho visto che Roma 3 ha nella magistrale di Matematica il curriculum di Logica Matematica e Informatica Teorica, potrebbe aver senso iscriversi a questa magistrale dopo una triennale in Ingegneria?
Ho visto che Roma 3 ha nella magistrale di Matematica il curriculum di Logica Matematica e Informatica Teorica, potrebbe aver senso iscriversi a questa magistrale dopo una triennale in Ingegneria?