📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #наука #лекции #НИС
Научно-исследовательский семинар по математической логике
под руководством академика РАН
_______________
| С. И. Адяна |
|_____________|
академика РАН Л. Д. Беклемишева
и академика РАН А. Л. Семёнова
(по средам в 18:30)
В среду 20 мая 2020 г. в 18:30
состоится доклад через ZOOM (см. ниже):
Докладчики:
Мельников Игорь Александрович (МФТИ),
Митрофанов Иван Викторович (Высшая нормальная школа, Париж, Франция)
"О логарифмической оценке функции ко-роста равномерно рекуррентных сверхслов"
Аннотация:
Бесконечное слово (сверхслово) A называется равномерно рекуррентным (почти периодическим), если для всякого его подслова S существует n, такое что S входит в любой отрезок длины n сверхслова A.
Обструкцией назовем слово, не являющееся подсловом в A, всякое подслово которого уже является подсловом A.
Мы покажем, что количество обструкций длины не более n в равномерно рекуррентном слове не меньше log_3 n.
[1] Igor Melnikov, and Ivan Mitrofanov. On cogrowth function of uniformly recurrent sequences. 2020.
https://arxiv.org/abs/2001.02272 ---------------------------
Доклад будет проводиться через ZOOM
(приложение для компьютера и смартфона)
Скачать:
https://zoom.us/download Ссылка для подключения к докладу:
https://us02web.zoom.us/j/89037296963?pwd=TS9NZE9iSUEzTSszMmNtcER2bG56QT09 Идентификатор: 890 3729 6963
Пароль: 171060
Два способа подключения:
1) либо кликнуть по вышеуказанной ссылке;
2) либо запустить Zoom, кликнуть "Войти" и ввести идентификатор и пароль.
Наиболее частая проблема (у начинающих):
вы видите, но не слышите докладчика
(по умолчанию zoom включается именно так).
Как начать слышать докладчика и всех -
короткая инструкция (менее 1 минуты):
https://youtu.be/oNOe1hkCgok ---------------------------
YouTube-канал семинара:
http://www.youtube.com/channel/UCEEPLGdGja3msw4ZBv-lnVw Плейлист видеозаписей прежних докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeWSIr6UvHqBgoGs_8VL-8PE Веб-страница семинара:
http://lpcs.math.msu.su/rus/nis.htm