Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 2 ()
Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020».
Заседание второе ().
Заседание первое () доступно по ссылке:
Доклады:
1. Кирова Валерия Орлановна
(МГУ, асп. 2 года, научный руководитель — проф. В. А. Любецкий)
Алгоритм кратчайшего приведения циклических графов к финальному виду
2. Колмаков Евгений Александрович
(МГУ, асп. 4 года, научный руководитель — акад. РАН Л. Д. Беклемишев)
Об изоморфизмах алгебр доказуемости формальных теорий
3
13 views
1890
650
1 month ago 00:32:35 15
✓ Как помочь ребёнку пережить год перед ЕГЭ | трушин ответит #108 | Борис Трушин