Myvideo

Guest

Login

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

Uploaded By: Myvideo
13 views
0
0 votes
0

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

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later