Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 2 ()
Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020».
Заседание второе ().
Заседание первое () доступно по ссылке:
Доклады:
1. Кирова Валерия Орлановна
(МГУ, асп. 2 года, научный руководитель — проф. В. А. Любецкий)
Алгоритм кратчайшего приведения циклических графов к финальному виду
2. Колмаков Евгений Александрович
(МГУ, асп. 4 года, научный руководитель — акад. РАН Л. Д. Беклемишев)
Об изоморфизмах алгебр доказуемости формальных теорий
3
13 views
1890
650
4 months ago 00:06:07 1
«Парламентский форум БРИКС, Ораниенбаум, встреча с Бегловым!»: Насыщенный день Путина в Петербурге
4 months ago 01:07:14 1
Зарубежный опыт сохранения и восстановления природы в городе: фотосправочник для практиков
5 months ago 00:10:31 22
✓ Как научиться решать задачи на вероятность | ЕГЭ. Математика. Задание 4. Профиль | Борис Трушин
5 months ago 00:28:00 1
⚡Итоговое собрание с учащимися курсов ЕГЭ 2024 от Lomonosov School!