Magistrale per approfondire Logica e Teoria dei Linguaggi

[Bibbo123]

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 la migliore magistrale in Italia 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?

[LouisCeline]

Wow, complimenti per la scelta, è davvero raro qualcuno che si interessa alla logica piuttosto che ai suoi effetti più concreti, dimostri avere capacità di astrazione deduzione non comuni. Detto questo, dovrai scegliere un corso che tratta logica, teoria degli insiemi ec.. il dilemma è che sia matematica che filosofia (potrà sembrare strano ai meno esperti ma è proprio così) trattano questi argomenti infatti in America è possibile studiare metodologia, logica e teoria ec.. al dipartimento di filosofia. Dal tuo percorso universitario deduco che tu non voglia abbandonare per sempre l'informatica o meglio se è presente va più che bene. Se sei interessato alla Logica pura esistono corsi più specifici di quello in Logica Matematica e informatica teorica ma se invece vuoi una coerenza di percorso direi che ha tanto senso iscriversi a quest'ultimo.
Ti interessa la Logica o la Logica a servizio dell'informatica? Se protendi per l'ultima non esiste laurea migliore almeno in Italia.
Se hai scelto fammi sapere come sta andando, ti auguro il meglio, ciao !