Este máster proporciona una sólida base en el ámbito de la lógica avanzada, pura y aplicada. El programa del máster abarca áreas muy diversas que van desde la lógica y las aplicaciones matemáticas hasta la informática, la inteligencia artificial y la lingüística computacional. Además, ofrece dos asignaturas de fundamentos para quienes necesiten una...