48
часов будет у студентов на создание прототипа «железного» продукта на хакатоне НИУ ВШЭ, который пройдет 25-27 сентября.
Суббота, 13 сентября
Семинар «Математическая логика и теория категорий»: доклад Сергея Артёмова «The consistency of Peano Arithmetic PA is provable in PA, after all»
Воскресенье, 14 сентября
Фестиваль «Вышка школьникам»
часов будет у студентов на создание прототипа «железного» продукта на хакатоне НИУ ВШЭ, который пройдет 25-27 сентября.
очно/онлайн