М. А. Батанин (ВШЭ, Москва)
2-операды и их приложения.
Архив семинара
Итоговая аттестация аспиранта:
Ю. Д. Ефременко
Характеристические классы Лосика псевдогрупп диффеоморфизмов (кандидатская диссертация).
Научный руководитель - Я. А. Копылов.
Предзащиты дипломных работ:
1. Х. М. Трой (2 курс маг.)
Субримановы геодезические на диких группах Ли.
Научный руководитель - И. А. Тайманов.
2. С. Кунназаров (2 курс маг.)
Рациональные интегралы геодезических потоков.
Научный руководитель - С. В. Агапов.
Защита курсовой работы:
Д. В. Соловьев (1 курс маг)
Магнитные геодезические потоки и обобщенный метод годографа.
Научный руководитель - С. В. Агапов.
Предзащиты дипломных работ:
1. А. А. Горбунов (4 курс бак.)
Зеркальность пространственных графов и инвариант Мураками.
Научный руководитель - А. Ю. Веснин.
2. В. С. Макагонов (4 курс бак.).
Объемы и детерминанты зацеплений «турецкая чалма».
Научный руководитель - А. Ю. Веснин.
Защита курсовой работы:
А. А. Акимов (1 курс маг.)
Узлы и зацепления с дополнительными связями.
Научный руководитель - А. Ю. Веснин.
Д. С. Климентов (Южный федеральный университет, Ростов-на-Дону)
Изгибания поверхностей, основные методы и некоторые нерешённые задачи.
Аннотация
В докладе рассматриваются основные методы теории изгибаний поверхностей, даётся краткий обзор основных результатов (в основном ростовской школы), приводятся некоторые нерешённые задачи.Р. Н. Ли (ИЯФ СО РАН)
Искусственный интеллект и математические олимпиады: взгляд любителя.
Аннотация
Как современный искусственный интеллект справляется с задачами, которые решают школьники на математических олимпиадах? Насколько быстро ИИ превзойдёт человека в этом искусстве? На семинаре будет представлен взгляд любителя олимпиадных задач и, в прошлом, участника математических олимпиад, интересующегося новыми возможностями искусственного интеллекта.Д. М. Анищенко (НГУ)
Фундаментальные свойства пространств Эсакиа.
Аннотация
Одним из подходов к решению задач неклассических логик является алгебраический подход: чтобы установить свойства некоторой логики, можно установить свойства алгебр, являющихся моделями данной логики, и перейти обратно к логической формулировке.
В свою очередь, чтобы установить свойства алгебр, иногда бывает полезно перейти к топологическому представлению этих алгебр. Именно так и возникают пространства Эсакиа.
Пространства Эсакиа – это топологические пространства, на которых задан предпорядок, согласованный с топологией. В докладе будут разобраны фундаментальные свойства данных пространств, будет приведен пример применения данных пространств к решению одной задачи из неклассических логик и будет сформулирована некоторая проблема, открытая на момент 1985 года и про которую автору доклада неизвестно, решена ли данная проблема на данный момент.
Информация о семинаре
Руководитель:
академик, д.ф.-м.н. И. А. Тайманов
Время и место проведения:
Пятница, 16.20 ч., к. 305, ИМ
