Семинар «Алгебра, геометрия и теория чисел»
Когда: суббота 3 октября, 19:00
Где: 322 АдмК
К-теория категорий модулей над полукольцевыми категориями (ч. II) (Александр Фролов, 19:00)
Продолжение доклада https://t.me/mipt_math/525.
В этой части я расскажу про категорию категорных спектров CatSp и E_1-структуру (тензор Грея) на ней.
CatSp -- вертикальная категорификация классической категории спектров. При этом, основное преимущество (для К-теории) перед обычными спектрами -- "направленная" стабильность, отсутствие необходимости обычной стабилизации категорий. Например, категория моноидов CMon(Spc_*) является естественной подкатегорией в CatSp, что позволяет построить производные категории полукольцевых категорий и, в частности, производные категории полуколец.
Присоединяйтесь к ТГ группе семинара.
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Когда: суббота 3 октября, 19:00
Где: 322 АдмК
К-теория категорий модулей над полукольцевыми категориями (ч. II) (Александр Фролов, 19:00)
Продолжение доклада https://t.me/mipt_math/525.
В этой части я расскажу про категорию категорных спектров CatSp и E_1-структуру (тензор Грея) на ней.
CatSp -- вертикальная категорификация классической категории спектров. При этом, основное преимущество (для К-теории) перед обычными спектрами -- "направленная" стабильность, отсутствие необходимости обычной стабилизации категорий. Например, категория моноидов CMon(Spc_*) является естественной подкатегорией в CatSp, что позволяет построить производные категории полукольцевых категорий и, в частности, производные категории полуколец.
Присоединяйтесь к ТГ группе семинара.
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
🏆2
Семинар Добрушинской лаборатории
Когда: вторник 6 октября, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
Рыбаков Михаил (МФТИ),
"Логики, описывающие вычисления: их синтаксис, семантика и сложность \\ Logics describing computations: their syntax, semantics, and complexity"
Предполагается рассказать о формальных языках и логиках, предназначенных для описания свойств вычислительных процессов. Это прежде всего т.н. динамические пропозициональные логики (PDL, DPDL, IPDL и др.), а также такие темпоральные логики как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Все эти логики являются полимодальными, т.е. помимо логических средств классической логики высказываний содержат несколько (или даже бесконечно много) модальностей, позволяющих строить утверждения, касающиеся вычислений. Некоторые из таких модальностей называют также кванторами, и их связь с привычными кванторами всеобщности и существования будет показана. Модели этих логик связаны с процессами, развивающимися (дискретно) во времени, и, за редким исключением, предполагается, что время — ветвящееся. Причины такого допущения также предполагается обсудить (с примерами). Далее предполагается уделить внимание сложности проблемы разрешения рассматриваемых логик: будут приведены оценки сложности как для логик в полном языке, так и для некоторых их фрагментов (если успеем). При этом предполагается обсудить не только результаты о разрешимости, но и о неразрешимости, а также идеи, лежащие в основе сложностных оценок. Именно, мы посмотрим, какие условия в каких языках являются выразимыми (или невыразимыми), что даст содержательное представление о границах выразительных возможностей языков и их влиянии на сложность. Все необходимые определения будут даны.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
Когда: вторник 6 октября, 16:15
Где: Адм.корпус, ауд.322.
Доклад:
Рыбаков Михаил (МФТИ),
"Логики, описывающие вычисления: их синтаксис, семантика и сложность \\ Logics describing computations: their syntax, semantics, and complexity"
Предполагается рассказать о формальных языках и логиках, предназначенных для описания свойств вычислительных процессов. Это прежде всего т.н. динамические пропозициональные логики (PDL, DPDL, IPDL и др.), а также такие темпоральные логики как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Все эти логики являются полимодальными, т.е. помимо логических средств классической логики высказываний содержат несколько (или даже бесконечно много) модальностей, позволяющих строить утверждения, касающиеся вычислений. Некоторые из таких модальностей называют также кванторами, и их связь с привычными кванторами всеобщности и существования будет показана. Модели этих логик связаны с процессами, развивающимися (дискретно) во времени, и, за редким исключением, предполагается, что время — ветвящееся. Причины такого допущения также предполагается обсудить (с примерами). Далее предполагается уделить внимание сложности проблемы разрешения рассматриваемых логик: будут приведены оценки сложности как для логик в полном языке, так и для некоторых их фрагментов (если успеем). При этом предполагается обсудить не только результаты о разрешимости, но и о неразрешимости, а также идеи, лежащие в основе сложностных оценок. Именно, мы посмотрим, какие условия в каких языках являются выразимыми (или невыразимыми), что даст содержательное представление о границах выразительных возможностей языков и их влиянии на сложность. Все необходимые определения будут даны.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
❤🔥2❤2👍1
ВШМята сходили в поход! Наши первокурсники, второкурсники и магистры отправились в небольшой поход по окрестностям Тучково: погуляли по чудесному осеннему лесу, подвесному мосту, заброшенной железнодорожной ветке и старому железнодорожному мосту. Много общались про математику и жизнь. Травили анекдоты, рассказывали байки и играли на гитаре (спасибо Мише Гарковенко и Косте Щербакову!).
Прошли около 18 км (спасибо Саше Яшкиной, которая прекрасно выбирала дорогу) и даже ни разу не потерялись 😊 Разумеется, по старинной математической традиции, было и купание в реке. Героями стали Федя Архипов и Эмиль Букреев.
Впереди коллоквиумы для наших пекусов 😊 Ну а мы с вами поделимся прекрасными видами и счастливыми лицами вшмят и Андрея Николаевича!
Прошли около 18 км (спасибо Саше Яшкиной, которая прекрасно выбирала дорогу) и даже ни разу не потерялись 😊 Разумеется, по старинной математической традиции, было и купание в реке. Героями стали Федя Архипов и Эмиль Букреев.
Впереди коллоквиумы для наших пекусов 😊 Ну а мы с вами поделимся прекрасными видами и счастливыми лицами вшмят и Андрея Николаевича!
🔥25❤15❤🔥4👍4🥰1
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 7 октября, 14:00
Где: Доклад будет онлайн, мы организуем трансляцию в МФТИ, Административный корпус, ауд.322
Доклад:
С.В. Судоплатов (Новосибирск),
"Классификационные характеристики счетных моделей полных теорий и проблема Лахлана"
Планируется представить обзор классификационных результатов о счетных моделях полных теорий относительно предпорядков Рудин-Кейслера и функций распределения числа предельных моделей, задающихся этими предпорядками. Будет приведен список основных структурных свойств эренфойхтовых теорий, т.е. теорий имеющих конечное, но большее единицы число попарно неизоморфных счетных моделей. Будет рассмотрена синтаксическая генерическая конструкция, обобщающая конструкцию Фраиссе и конструкцию Хрушовского и приводящая к решению проблемы Лахлана о существовании стабильных эренфойхтовых теорий. Будет показано, что класс стабильных эренфойхтовых теорий включает теории, имеющие произвольные заданные предпорядки Рудин-Кейслера и функции распределения числа предельных моделей.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 7 октября, 14:00
Где: Доклад будет онлайн, мы организуем трансляцию в МФТИ, Административный корпус, ауд.322
Доклад:
С.В. Судоплатов (Новосибирск),
"Классификационные характеристики счетных моделей полных теорий и проблема Лахлана"
Планируется представить обзор классификационных результатов о счетных моделях полных теорий относительно предпорядков Рудин-Кейслера и функций распределения числа предельных моделей, задающихся этими предпорядками. Будет приведен список основных структурных свойств эренфойхтовых теорий, т.е. теорий имеющих конечное, но большее единицы число попарно неизоморфных счетных моделей. Будет рассмотрена синтаксическая генерическая конструкция, обобщающая конструкцию Фраиссе и конструкцию Хрушовского и приводящая к решению проблемы Лахлана о существовании стабильных эренфойхтовых теорий. Будет показано, что класс стабильных эренфойхтовых теорий включает теории, имеющие произвольные заданные предпорядки Рудин-Кейслера и функции распределения числа предельных моделей.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
❤1👍1
С днем учителя!
...поздравляем всех замечательных школьных педагогов, кружководов, преподавателей матлагерей и олимпиадных школ, кто раскрывает и поддерживает в ребятах интерес к математике, показывает математикам красоту других предметов — от физики и информатики до литературы и истории, дает разгореться любви к узнаванию нового, а главное — помогает своим ученикам вырасти хорошими людьми.
За два набора студентами ВШМ стали выпускники школ всей страны: Москвы и Санкт-Петербурга, Долгопрудного, Екатеринбурга, Казани, Калуги, Михайловки (Волгоградская область), Омска, Оренбурга, Ставрополя, Тольятти, Уфы, Чебоксар, Челябинска, Якутска, Ярославля. Учителям, которые помогли нашим студентам найти себя, а также еще неизвестным нам учителям тех, кто придет на ВШМ в следующие годы — поклон и пожелания сил, веры в свое дело, профессиональной удачи и хорошего настроения!
...поздравляем всех замечательных школьных педагогов, кружководов, преподавателей матлагерей и олимпиадных школ, кто раскрывает и поддерживает в ребятах интерес к математике, показывает математикам красоту других предметов — от физики и информатики до литературы и истории, дает разгореться любви к узнаванию нового, а главное — помогает своим ученикам вырасти хорошими людьми.
За два набора студентами ВШМ стали выпускники школ всей страны: Москвы и Санкт-Петербурга, Долгопрудного, Екатеринбурга, Казани, Калуги, Михайловки (Волгоградская область), Омска, Оренбурга, Ставрополя, Тольятти, Уфы, Чебоксар, Челябинска, Якутска, Ярославля. Учителям, которые помогли нашим студентам найти себя, а также еще неизвестным нам учителям тех, кто придет на ВШМ в следующие годы — поклон и пожелания сил, веры в свое дело, профессиональной удачи и хорошего настроения!
❤29🥰6👍1🔥1