Передумови
Інститут передбачає два факультети: математики та інформатики з пʼятьома кафедрами, кожна з яких має у штаті пʼять PhD, які спеціалізуються на певних наборах з обовʼязковим покриттям всіх курсів. Курси кафедри формальної філософії є обовʼязковими. Ви можете отримати курси всіх кафедр самостійно в університетах.