Лекция 13. С.О. Сперанский. Разрешимые и неразрешимые теории.
2024 г. НОЦ. Курс С.О. Сперанского "Разрешимые и неразрешимые теории".
Лекция 13. С.О. Сперанский. Разрешимые и неразрешимые теории.
8 мая 2024 г. 10:00, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
Источник: http://www.mathnet.ru/present42840
Все видео курса: http://www.mathnet.ru/conf2379
https://youtube.com/playlist?list=PLUbD59ZHv1GT81-wXfBv0e3hJUPq3oXKI&si=k8mxFIa7mcXU7u6G
Видео Лекция 13. С.О. Сперанский. Разрешимые и неразрешимые теории. канала МЦМУ МИАН
Лекция 13. С.О. Сперанский. Разрешимые и неразрешимые теории.
8 мая 2024 г. 10:00, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
Источник: http://www.mathnet.ru/present42840
Все видео курса: http://www.mathnet.ru/conf2379
https://youtube.com/playlist?list=PLUbD59ZHv1GT81-wXfBv0e3hJUPq3oXKI&si=k8mxFIa7mcXU7u6G
Видео Лекция 13. С.О. Сперанский. Разрешимые и неразрешимые теории. канала МЦМУ МИАН
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Лекция 7. И.А. Дынников, М.В. Прасолов. Гильбертов куб и маломерная топологияЛекция 5. Р.В. Шамин. Математика анализа данныхЛекция 1. Т.Л. Яворская. Логики свидетельствЛекция 5. А.В. Дымов, С.Б. Куксин. Случайные динамические системыЛекция 1. В.В. Шокуров. Бирациональная геометрия алгебраических поверхностейВ.А. Тиморин. Поверхности, склеенные из полос бумаги, и квадратичные дифференциалыИ.А. Дынников. Слова Арну–Рози. ЛекцияА.Ю. Окуньков. q-аналоги и кратные дзета значения. ЛекцияОткрытие сессииЛекция 1. С.Н. Филиппов. Квантовые тензорные сетиА.Б. Калмынин. Вероятность в теории чисел. Семинар 4Лекция 1. Г.Г. Амосов. Математические основания квантовой механикиЕ.Ю. Смирнов. RSK-соответствие и массивы. Семинар 2Лекция 4. Д.А. Кронберг. Квантовая криптографияА.В. Гасников. Математическое моделирование транспортных потоковЛекция 5. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемахЛекция 4. Е.В. Дашков. Введение в теорию сложностиС.Л. Кузнецов, С.О. Сперанский. Инфинитарная логика действий с экспоненциальными модальностямиА.С. Трушечкин. Новые кинетические уравнения для открытых квантовых системЛекция 1. И.В. Ермаков. Неравновесная динамика квантовых и классических многочастичных системСеминар 2: С.Л. Кузнецов. Субструктурные логики и их приложения в лингвистике