Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 2 ()

Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020». Заседание второе (). Заседание первое () доступно по ссылке: Доклады: 1. Кирова Валерия Орлановна (МГУ, асп. 2 года, научный руководитель — проф. В. А. Любецкий) Алгоритм кратчайшего приведения циклических графов к финальному виду 2. Колмаков Евгений Александрович (МГУ, асп. 4 года, научный руководитель — акад. РАН Л. Д. Беклемишев) Об изоморфизмах алгебр доказуемости формальных теорий 3