Master's degree in Pure and Applied Logic
Facultat d'Informàtica de Barcelona (FIB)
El master's degree in Pure and Applied Logic (web del màster) (màster universitari en Lògica Pura i Aplicada), coordinat per la Universitat de Barcelona (UB) i amb la participació de la UPC, proporciona un context sòlid en l’àmbit de la lògica avançada, pura i aplicada. El programa del màster inclou àrees molt diverses que van de la lògica i les aplicacions matemàtiques fins a la informàtica, la intel·ligència artificial i la lingüística computacional. A més, ofereix dos cursos de fonaments per a les persones que necessiten una introducció bàsica a la lògica o a les matemàtiques.