15:00; Аблаев Ф. М. ; Эффективные квантовые алгоритмы поиска в словаре link=https://drive.google.com/file/d/1pr622uimb0YNF0dPAUB2NljxyqWpq61p/view?usp=drive_link; 60 минут
16:05; Нечесов А. В.; Теория обучения интеллектуальных систем link=https://drive.google.com/file/d/11vohuKtzcZHdmsq-VjGwbDgwNcoRHpBG/view?usp=drive_link; 20 минут
Время ;Докладчик ;Название; Длительность
15:30; Шехтман В. Б. ; О модальных и суперинтуитционистских логиках с равенством link=https://drive.google.com/file/d/1IWLi5Nxoo1S3kENHT84hcg9wTfSawxiT/view?usp=share_link; 20 минут
15:50; Беклемишев Л. Д.; К проблеме унификации для логики доказуемости GLP link=https://drive.google.com/file/d/1zznnECqlmSx38SZeUMlUGCbouKEKHQ7F/view?usp=drive_link; 20 минут
16:20; Шамканов Д. С. ; О нефундированных доказательствах link=https://drive.google.com/file/d/1UiGu_Fa6vdYyHuRj5to_zWLCCxbxyhPd/view?usp=drive_link; 20 минут
16:40; Попова Е. Л.; Семантика логики свидетельств первого порядка со связывающей модальностью link=https://drive.google.com/file/d/1aqki3eCGo-ko9dIay7UcT2uRQahW5ZJA/view?usp=drive_link; 20 минут
Время ;Докладчик ;Название; Длительность
15:30; Сперанский С. О.; О нижних сложностных оценках в кванторной вероятностной логике link=https://drive.google.com/file/d/1vsX_x1oMsHfAjcqt3wObcTm7LoL7uvt3/view?usp=drive_link; 60 минут
16:35; Рыбаков М. Н.; Неразрешимость логики QLC в языке с двумя предметными переменными link=https://drive.google.com/file/d/1L7QM_CTDVz74CZ5cNMpVIPTRX_aRjTnD/view?usp=share_link; 20 минут
17:30; Одинцов С. П.; Сильная и слабая определимость в логиках с сильным отрицанием link=https://drive.google.com/file/d/1TUNW67na8MGIYb6B3BogEhPfPzXz3PSN/view?usp=drive_link; 20 минут
17:55; Рыбаков В. В.; Проблемы выполнимости и допустимости многоагентных модальных логиках с мульти-означиваниями link=https://drive.google.com/file/d/1licvtlUaWcy3uIR2g1S0PJAe0NtgvX_B/view?usp=drive_link; 20 минут
18:20; Герасимов А. С.; Полнота инфинитарного аналитического исчисления для бесконечнозначной логики Лукасевича первого порядка link=https://drive.google.com/file/d/1T90rL3hNSMpyCFWcakwRbRSvQROYUQqs/view?usp=drive_link; 20 минут
Время ;Докладчик ;Название; Длительность
15:30; Разборов А. А.; Сложность пропозициональных доказательств link=https://drive.google.com/file/d/1X2NaBTlxCkvEdxP7N6lfr48YyDbh2IHa/view?usp=drive_link/; 60 минут
16:35; Стукачев А. И.; Структуры на сигнатурах структур link=https://drive.google.com/file/d/17p4ZB-JxXSe48-FB5TlVTMzjxm0rsiAr/view?usp=drive_link; 20 минут
Время ;Докладчик ;Название; Длительность
15:30; Баженов Н. А.; О примитивно рекурсивных алгебраических структурах link=https://drive.google.com/file/d/1IAzxziZnyxcrYzT7aJ80Uh_gporAIg39/view?usp=drive_link; 60 минут
16:35; Файзрахманов М. Х.; Минимальные нумерации вычислимых и обобщенно вычислимых семейств link=https://drive.google.com/file/d/1JPrONoML1Y_INbvbGVRKlwlARKgo8dbS/view?usp=drive_link; 20 минут
17:30; Алаев П. Е. ; Наследственно алгоритмические отношения в структурах link=https://drive.google.com/file/d/12Dj9hL6XpQN3gSxmVPMQKMW9_iPIx6XX/view?usp=drive_link; 20 минут
17:55; Корнев Р. А.; О группе вычислимых автоморфизмов порядка на вещественных числах link=https://drive.google.com/file/d/19qLHdbpuDwZKoo29TJIwFyTuUvPvX3bQ/view?usp=drive_link; 20 минут
Время ;Докладчик ;Название; Длительность
12:30; Золотов Б. А.; Алгоритмы сравнения периодических строк link=https://drive.google.com/file/d/1PRU0Om2c9EkaiI3bRfeTN3bzE-XccxGV/view?usp=drive_link; 20 минут
12:55; Соколов П. П.; Двусторонний вывод с режимом применения для зависимых типов с неявными аргументами link=https://drive.google.com/file/d/11kFseUpiWV7sIUnAW-14xK0NJ1g471nT/view?usp=drive_link; 20 минут
13:20; Долгоруков В. В.; Динамическая эпистемическая логика для групп агентов с ресурсными ограничениями link=https://drive.google.com/file/d/100Emfk5oF4a-OG7jCkYH_cL1yuUGOd7W/view?usp=drive_link; 20 минут
15:30; Кирова В. О.; Комбинаторная сложность и ее модификации. Оценки для слов Штурма link=https://drive.google.com/file/d/1vcF4eZf0mKneATprXzbM6QhOUz6CBMca/view?usp=drive_link; 20 минут
15:50; Филимонова А. Н.; Абелева периодичность морфических слов link=https://drive.google.com/file/d/1IvKgmpaPs8qMGGpsw4O8_U092RTfImKW/view?usp=drive_link; 20 минут
16:20; Пшеницын Т. Г.; Исчисление Ламбека с омега-итерацией link=https://drive.google.com/file/d/16GaiByuWg_sLWNIJFl3XTkTWtCE9_KSH/view?usp=drive_link; 20 минут
16:40; Грефенштейн А. В. ; Кванторная модальная логика Белнапа – Данна link=https://drive.google.com/file/d/16syiJMwpk-4laIdz9T-dMLervLbB6SE9/view?usp=drive_link; 20 минут
17:20; Ковалёв К. А.; Аксиоматизация арифметики Бюхи link=https://drive.google.com/file/d/1eo2mEj4A-cNS0kjujm4-eBaIQ-Z4C7bw/view?usp=drive_link; 20 минут
17:45; Старчак М. Р.; Элиминация кванторов для экзистенциальной арифметики Бюхи link=https://drive.google.com/file/d/1TGS4-JXXTXrqgvaTnHJaohTcNMOhtMMl/view?usp=drive_link; 20 минут
Nikola Tesla
Nikola Tesla was a Serbian American inventor, electrical engineer, mechanical engineer, physicist, and futurist best known for his contributions to the design of the modern alternating current (AC) electricity supply system.
