Русские видео

Сейчас в тренде

Иностранные видео


Скачать с ютуб Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 1 (11.11.2020) в хорошем качестве

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


Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса savevideohd.ru



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

Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020» Заседание первое (11.11.2020). Заседание второе (18.11.2020) доступно по ссылке:    • Конференция Ломоносов 2020: Математическая...   Доклады: 1. Зверева Татьяна Юрьевна (СибФУ, магистратура, научный руководитель — к.ф.-м.н. С. И. Башмаков) Унификация и финитная аппроксимируемость линейной ступенчатой логики знания с универсальной модальностью 2. Исаев Роман Дмитриевич (МГУ, 1 курс, научный руководитель — Алексей Яковлевич Канель-Белов) Полная система инвариантов многомерного кубика Рубика 3. Мельников Игорь Александрович (МФТИ, бакалавриат, научный руководитель — проф. А. Я. Канель-Белов) О логарифмической оценке функции ко-роста алгебр и равномерно рекуррентных слов 4. Пшеницын Тихон Григорьевич (МГУ, 4 курс, научный руководитель — проф. М. Р. Пентус) Последовательное замыкание классов языков относительно пересечения и гомоморфизмов Конференцию "Ломоносов 2019" можно посмотреть по ссылке:    • Конференция Ломоносов 2019: Математическая...   ============================================ Научно-исследовательский семинар по математической логике под руководством академика РАН С. И. Адяна, академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова (по средам в ауд. 16-04 ГЗ МГУ) Веб-страница семинара: http://logic.math.msu.ru/sem/nis/

Comments