В НГУ впервые прошёл хакатон «Тезис Чёрча», посвященный применению математической логики в IT

Для участия в соревнованиях зарегистрировались более 20 команд, в которые вошли студенты всех курсов Факультета информационных технологий и Механико-математического факультета НГУ, а также школьники...