📋 Пост в группе Мехмат МГУ:
🚀 Product University и Кафедра экономики инноваций МГУ приглашает всех, кто занимается разработкой генеративных ИИ-проектов (генерация текста, видео, изображений) принять участие в командном соревновании
🗓 Хакатон пройдёт 25 марта в формате онлайн + офлайн в Москве по адресу: Ленинские горы, дом 1, строение 46, Экономический факультет МГУ. Победители смогут получить полезные призы от организаторов и разделить общий призовой фонд в размере 200 000 рублей!
🧩 Основная задача:
Идеи в области разработки генеративных ИИ-проектов (генерация текста, видео, изображений).
🏆 Лучшие 30 идей будут допущены до финального питчинга 25 марта в МГУ. Важно собрать команду единомышленников из 2-5 человек и вместе дорабатывать идею до полноценного продукта.
Причины прийти на хакатон от МГУ:
✅ Продвинуть свой ИИ-проект и найти тех, кому он интересен
✅ Выиграть до 100 000 рублей на развитиe
✅ Услышать обратную связь от экспертов и коллег
✅ Эксперты-практики в сфере ИИ-технологий
✅ Отлично провести время, познакомиться с классными людьми и проектами
👉 Успейте зарегистрироваться и отправить свою идею до 21 марта: https://cnrlink.com/hackaimsu
🚀 Product University и Кафедра экономики инноваций МГУ приглашает всех, кто занимается разработкой генеративных ИИ-проектов (генерация текста, видео, изображений) принять участие в командном соревновании
🗓 Хакатон пройдёт 25 марта в формате онлайн + офлайн в Москве по адресу: Ленинские горы, дом 1, строение 46, Экономический факультет МГУ. Победители смогут получить полезные призы от организаторов и разделить общий призовой фонд в размере 200 000 рублей!
🧩 Основная задача:
Идеи в области разработки генеративных ИИ-проектов (генерация текста, видео, изображений).
🏆 Лучшие 30 идей будут допущены до финального питчинга 25 марта в МГУ. Важно собрать команду единомышленников из 2-5 человек и вместе дорабатывать идею до полноценного продукта.
Причины прийти на хакатон от МГУ:
✅ Продвинуть свой ИИ-проект и найти тех, кому он интересен
✅ Выиграть до 100 000 рублей на развитиe
✅ Услышать обратную связь от экспертов и коллег
✅ Эксперты-практики в сфере ИИ-технологий
✅ Отлично провести время, познакомиться с классными людьми и проектами
👉 Успейте зарегистрироваться и отправить свою идею до 21 марта: https://cnrlink.com/hackaimsu
📢 Репост из группы MM ML Team:
Друзья, сегодня (15.03.2023) в 18.30 мы проведём очередной семинар, на которым продолжим обсуждение метрик качества классификации и регрессии. На этой теме мы закончим нашем знакомство с классическим машинным обучением и перейдем к обсуждению нейронных сетей и DL. Ссылка на занятие прежняя, как всегда продублирую в электронном письме.
Друзья, сегодня (15.03.2023) в 18.30 мы проведём очередной семинар, на которым продолжим обсуждение метрик качества классификации и регрессии. На этой теме мы закончим нашем знакомство с классическим машинным обучением и перейдем к обсуждению нейронных сетей и DL. Ссылка на занятие прежняя, как всегда продублирую в электронном письме.
📢 Репост из группы Кафедра математической логики МГУ:
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 16 марта, начало в 18:30, состоится доклад
И.Б. Шапировский (ИППИ РАН и Университет Нью-Мексико)
Локально конечные полимодальные логики и критерий Сегерберга-Максимовой
Логика L локально конечна (в другой терминологии - локально таблична), если каждый её фрагмент с конечным числом переменных содержит лишь конечное число неэквивалентных формул. В алгебраических терминах, это значит что локально конечно многообразие алгебр логики L.
Для одномодальных транзитивных логик критерий локальной конечности был получен в 1970х годах К. Сегербергом [2] и Л.Л. Максимовой [1]: в этом случае локальная конечность L равносильна тому, что L содержит формулу B_n конечной глубины. Это замечательная теорема в нескольких отношениях. Помимо того, что она даёт естественный семантический критерий через свойства бинарных отношений, она также даёт синтаксическое описание: локальная конечность выражается формулой из некоторого явно описанного множества формул {B_n: n<ω}. В работе [4] критерий Сегерберга-Максимовой был обобщен на некоторые семейства нетранзитивных одномодальных логик. Я расскажу об обобщениях этого критерия на полимодальный случай. Часть результатов основана на недавней работе [3].
[1] L. Maksimova, Modal logics of finite slices, Algebra and Logic, vol. 14 (1975), no. 3, pp. 304–319.
[2] K. Segerberg, An essay in classical modal logic, Filosofska Studier, vol.13, Uppsala Universitet, 1971.
[3] I. Shapirovsky, Sufficient conditions for local tabularity of a polymodal logic, Preprint, 2022. arxiv.2212.07213
[4] I. Shapirovsky and V. Shehtman, Local tabularity without transitivity, Advances in Modal Logic, volume 8, College Publications, 2016, pp. 520–534.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки на зум-конференцию пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
— Ссылка:
Модальная и алгебраическая логика (научный семинар) - YouTube
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 16 марта, начало в 18:30, состоится доклад
И.Б. Шапировский (ИППИ РАН и Университет Нью-Мексико)
Локально конечные полимодальные логики и критерий Сегерберга-Максимовой
Логика L локально конечна (в другой терминологии - локально таблична), если каждый её фрагмент с конечным числом переменных содержит лишь конечное число неэквивалентных формул. В алгебраических терминах, это значит что локально конечно многообразие алгебр логики L.
Для одномодальных транзитивных логик критерий локальной конечности был получен в 1970х годах К. Сегербергом [2] и Л.Л. Максимовой [1]: в этом случае локальная конечность L равносильна тому, что L содержит формулу B_n конечной глубины. Это замечательная теорема в нескольких отношениях. Помимо того, что она даёт естественный семантический критерий через свойства бинарных отношений, она также даёт синтаксическое описание: локальная конечность выражается формулой из некоторого явно описанного множества формул {B_n: n<ω}. В работе [4] критерий Сегерберга-Максимовой был обобщен на некоторые семейства нетранзитивных одномодальных логик. Я расскажу об обобщениях этого критерия на полимодальный случай. Часть результатов основана на недавней работе [3].
[1] L. Maksimova, Modal logics of finite slices, Algebra and Logic, vol. 14 (1975), no. 3, pp. 304–319.
[2] K. Segerberg, An essay in classical modal logic, Filosofska Studier, vol.13, Uppsala Universitet, 1971.
[3] I. Shapirovsky, Sufficient conditions for local tabularity of a polymodal logic, Preprint, 2022. arxiv.2212.07213
[4] I. Shapirovsky and V. Shehtman, Local tabularity without transitivity, Advances in Modal Logic, volume 8, College Publications, 2016, pp. 520–534.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки на зум-конференцию пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
— Ссылка:
Модальная и алгебраическая логика (научный семинар) - YouTube
VK
Мехмат МГУ
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 16 марта, начало в 18:30, состоится…
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 16 марта, начало в 18:30, состоится…
📋 Пост в группе Мехмат МГУ:
Поздравьте Азата Мифтахова с днем рождения!
21 марта Азат встретит свой пятый день рождения в заключении — ему исполнится 30. Это должен быть его последний день рождения, проведенный в колонии по делу о разбитом окне.
Инициативная группа поддержки Азата Мифтахова призывает обязательно поздравить Азата! Они снова ждут ваши фотопоздравления: оригинальные и необычные, или же самые что ни на есть «на скорую руку». Публикуйте их в своих соцсетях с тегом #freeazat и присылайте до 21 марта включительно на www.tg-me.com/freeazat_bot. В этот день все фото будут опубликованы, а затем отправлены Азату.
Также можно самостоятельно поздравить Азата, написав ему письмо.
Данные для отправки письма:
Мифтахову Азату Фанисовичу 1993 г.р.
Кировская область, г. Омутнинск, ул. Трудовых резервов, 125, ФКУ ИК-17, 612744
Электронное письмо можно отправить через сервис Zonatelecom
Поздравьте Азата Мифтахова с днем рождения!
21 марта Азат встретит свой пятый день рождения в заключении — ему исполнится 30. Это должен быть его последний день рождения, проведенный в колонии по делу о разбитом окне.
Инициативная группа поддержки Азата Мифтахова призывает обязательно поздравить Азата! Они снова ждут ваши фотопоздравления: оригинальные и необычные, или же самые что ни на есть «на скорую руку». Публикуйте их в своих соцсетях с тегом #freeazat и присылайте до 21 марта включительно на www.tg-me.com/freeazat_bot. В этот день все фото будут опубликованы, а затем отправлены Азату.
Также можно самостоятельно поздравить Азата, написав ему письмо.
Данные для отправки письма:
Мифтахову Азату Фанисовичу 1993 г.р.
Кировская область, г. Омутнинск, ул. Трудовых резервов, 125, ФКУ ИК-17, 612744
Электронное письмо можно отправить через сервис Zonatelecom
📢 Репост из группы Спорт на мехмате:
Открытое первенство Гребного клуба МГУ
#снмм_турниры
23 марта в Ломоносовском корпусе состоится первенство по гребле-индор, приуроченное к открытию нового спортивного зала сборной МГУ.
Принять участие могут все желающие, а студенты, показавшие первые десять результатов, получат дополнительные баллы для зачёта по физической культуре!
📅 Начало в 18:00 23 марта
📍 Ломоносовский корпус, спортивный зал Б-114
📌 Регистрация по ссылке: vk.cc/cmqMUA
Подробнее можно прочитать здесь.
Открытое первенство Гребного клуба МГУ
#снмм_турниры
23 марта в Ломоносовском корпусе состоится первенство по гребле-индор, приуроченное к открытию нового спортивного зала сборной МГУ.
Принять участие могут все желающие, а студенты, показавшие первые десять результатов, получат дополнительные баллы для зачёта по физической культуре!
📅 Начало в 18:00 23 марта
📍 Ломоносовский корпус, спортивный зал Б-114
📌 Регистрация по ссылке: vk.cc/cmqMUA
Подробнее можно прочитать здесь.
Не забудь зарегистрироваться!
📢 Репост из группы Конкурс групп на мехмате 2023:
Кто тут самый умный?
“Desine sperare qui hic intras” — фраза, которая должна отталкивать, однако, завидев её, человек ещё сильнее стремится узнать, что же находится за той дверью, что заставляет оставить всякую надежду. Так и с заброшенными домами.
🏚 Когда-то они были полны жизни, поместья дышали своими обитателями, но сейчас они пусты, и все надежды и мечты покинули их вместе со своими хозяевами, но оттого скрипящие половицы, покрытая пылью мебель, двери, поющие свою заунывную песню под завывание ветра, притягивают к себе, как ночные фонари мотыльков. И вот бродишь ты посреди прошлой, ушедшей жизни и оказываешься напротив больших дубовых дверей, медленно открываешь их, и тебя окутывает запахом старого, разлагающегося, покрытого чернилами дерева, и ты понимаешь, что отсюда не уйдешь еще очень и очень долго. Ты оказался в библиотеке.
📚 Как выяснилось, библиотека «Дома на Холме» содержит издания, которые многие века считались утерянными и которые содержат мудрость нескольких поколений. Наш второй лот — реликвия, отражающая все знания, накопленные за много-много лет в поместье семьи Аддамс. И мы считаем, что только самые эрудированные, образованные и способные мыслить за рамками обыденного смогут по-настоящему осознать её ценность.
Мы объявляем Интеллектуальный этап Конкурса групп 2023. Проводить его будет творческая группа Экспромт!
📌 21 марта в 17:30 в зале-трансформере нового коворкинга 1 ГУМа состоится интеллектуальное состязание между нашими участниками. Коворкинг находится на первом этаже 1 учебного корпуса. После входа поверните налево и следуйте до конца коридора, далее мы вас встретим.
👫 Для данного этапа мы приглашаем команды от 3 до 6 человек от каждой группы. Напоминаем, что составы на разных этапах могут отличаться, но участники должны учиться в одной академической группе.
Не забывайте зарегистрировать свою команду по ссылке, мы ещё принимаем заявки: vk.cc/cm6Pg7.
📢 Репост из группы Конкурс групп на мехмате 2023:
Кто тут самый умный?
“Desine sperare qui hic intras” — фраза, которая должна отталкивать, однако, завидев её, человек ещё сильнее стремится узнать, что же находится за той дверью, что заставляет оставить всякую надежду. Так и с заброшенными домами.
🏚 Когда-то они были полны жизни, поместья дышали своими обитателями, но сейчас они пусты, и все надежды и мечты покинули их вместе со своими хозяевами, но оттого скрипящие половицы, покрытая пылью мебель, двери, поющие свою заунывную песню под завывание ветра, притягивают к себе, как ночные фонари мотыльков. И вот бродишь ты посреди прошлой, ушедшей жизни и оказываешься напротив больших дубовых дверей, медленно открываешь их, и тебя окутывает запахом старого, разлагающегося, покрытого чернилами дерева, и ты понимаешь, что отсюда не уйдешь еще очень и очень долго. Ты оказался в библиотеке.
📚 Как выяснилось, библиотека «Дома на Холме» содержит издания, которые многие века считались утерянными и которые содержат мудрость нескольких поколений. Наш второй лот — реликвия, отражающая все знания, накопленные за много-много лет в поместье семьи Аддамс. И мы считаем, что только самые эрудированные, образованные и способные мыслить за рамками обыденного смогут по-настоящему осознать её ценность.
Мы объявляем Интеллектуальный этап Конкурса групп 2023. Проводить его будет творческая группа Экспромт!
📌 21 марта в 17:30 в зале-трансформере нового коворкинга 1 ГУМа состоится интеллектуальное состязание между нашими участниками. Коворкинг находится на первом этаже 1 учебного корпуса. После входа поверните налево и следуйте до конца коридора, далее мы вас встретим.
👫 Для данного этапа мы приглашаем команды от 3 до 6 человек от каждой группы. Напоминаем, что составы на разных этапах могут отличаться, но участники должны учиться в одной академической группе.
Не забывайте зарегистрировать свою команду по ссылке, мы ещё принимаем заявки: vk.cc/cm6Pg7.
📢 Репост из группы ЭкоГильдия МГУ:
Друзья! ЭкоГильдией выигран грант Росмолодёжи «Расширение инфраструктуры рационального природопользования в МГУ», и теперь мы хотим согласно вашим мнениям разработать дизайн для уличных контейнеров раздельного сбора! Мы получили первые согласования таких контейнеров, сейчас плотно работаем с несколькими факультетами и общежитиями, с Объединённым Профкомом и Объединённым Студкомом.
https://forms.gle/3wAJqKqTyPhe4ML19
https://forms.gle/3wAJqKqTyPhe4ML19
https://forms.gle/3wAJqKqTyPhe4ML19
Ваши ответы лягут в основу разрабатываемого нами дизайна, так что чем больше людей примет участие в опросе, тем более репрезентативные данные мы получим и тем больше получившийся дизайн будет отражать коллективное мнение сообщества МГУ! Так что рассказывайте об этом опросе друзьям, одногруппникам и др.
#Вдохновляйся_у_нас #Росмолодёжь #Росмолодёжьгранты
— Ссылка:
Выбираем дизайн раздельного сбора в МГУ
Друзья! ЭкоГильдией выигран грант Росмолодёжи «Расширение инфраструктуры рационального природопользования в МГУ», и теперь мы хотим согласно вашим мнениям разработать дизайн для уличных контейнеров раздельного сбора! Мы получили первые согласования таких контейнеров, сейчас плотно работаем с несколькими факультетами и общежитиями, с Объединённым Профкомом и Объединённым Студкомом.
https://forms.gle/3wAJqKqTyPhe4ML19
https://forms.gle/3wAJqKqTyPhe4ML19
https://forms.gle/3wAJqKqTyPhe4ML19
Ваши ответы лягут в основу разрабатываемого нами дизайна, так что чем больше людей примет участие в опросе, тем более репрезентативные данные мы получим и тем больше получившийся дизайн будет отражать коллективное мнение сообщества МГУ! Так что рассказывайте об этом опросе друзьям, одногруппникам и др.
#Вдохновляйся_у_нас #Росмолодёжь #Росмолодёжьгранты
— Ссылка:
Выбираем дизайн раздельного сбора в МГУ
📢 Репост из группы Кафедра вычислительной механики [Мехмат МГУ]:
Официальная встреча преподавателей кафедры со студентами второго курса состоится в ближайшую пятницу, 24 марта, в 16:30 в ауд. 12-25. Приглашаются все заинтересованные!
#Announcement
Официальная встреча преподавателей кафедры со студентами второго курса состоится в ближайшую пятницу, 24 марта, в 16:30 в ауд. 12-25. Приглашаются все заинтересованные!
#Announcement
📋 Пост в группе Мехмат МГУ:
Как стать $миллионером к 20-ти годам?
Герой подкаста — Алексей Андрюнин, студент мехмата и основатель хедж-фонда GotBit.
— Видео:
Как студент мехмата МГУ стал долларовым миллионером?, 2:35:59
Как стать $миллионером к 20-ти годам?
Герой подкаста — Алексей Андрюнин, студент мехмата и основатель хедж-фонда GotBit.
— Видео:
Как студент мехмата МГУ стал долларовым миллионером?, 2:35:59
📢 Репост из группы Кафедра дифференциальной геометрии и приложений:
Кафедра возобновляет Лекторий "Современная геометрия" для студентов 1-2к. по СР на 4 паре: сегодня в ауд 13:06 - лекция проф АБ Жеглова и ВВ Пржиялковского "Алгебраическая геометрия и приложения". Zoom-записи: vk.cc/cbgqY7
— Ссылка:
http://drive.goo...0Y-hq0IFa1m9X
Кафедра возобновляет Лекторий "Современная геометрия" для студентов 1-2к. по СР на 4 паре: сегодня в ауд 13:06 - лекция проф АБ Жеглова и ВВ Пржиялковского "Алгебраическая геометрия и приложения". Zoom-записи: vk.cc/cbgqY7
— Ссылка:
http://drive.goo...0Y-hq0IFa1m9X
📢 Репост из группы School of Quants:
Друзья, мы рады анонсировать очередное открытое мероприятие в School of Quants, которое состоится 25 марта!
Спикером мероприятия выступит Артём Фетисов. С 2010 года Артём прошел путь от младшего трейдера деска Equity Derivatives до руководителя Structured Equity & Credit Derivatives Trading в Sberbank CIB. Подробнее о карьере Артёма:https://www.linkedin.com/in/artem-fetisov-66273218/
В ходе выступления обсудим с Артёма:
- Карьерный путь спикера
- Какие навыки и знания необходимы для работы трейдера?
Зарегистрироваться на мероприятие и задать вопросы спикеру можно заполнив форму ниже до 20:00 24 марта: https://forms.gle/esHrDLAiusPgNSgb6
Что: обсуждение карьеры в трейдинге
Кто: Артём Фетисов, руководитель трейдинга структурными продуктами на акции и облигации в Sberbank CIB
Когда: 14:00 Мск 25 марта
Где: YouTube-канал School of Finance
— Ссылка:
Trading Insights - Artem Fetisov (25-03-2023, 14:00 MSK)
Друзья, мы рады анонсировать очередное открытое мероприятие в School of Quants, которое состоится 25 марта!
Спикером мероприятия выступит Артём Фетисов. С 2010 года Артём прошел путь от младшего трейдера деска Equity Derivatives до руководителя Structured Equity & Credit Derivatives Trading в Sberbank CIB. Подробнее о карьере Артёма:https://www.linkedin.com/in/artem-fetisov-66273218/
В ходе выступления обсудим с Артёма:
- Карьерный путь спикера
- Какие навыки и знания необходимы для работы трейдера?
Зарегистрироваться на мероприятие и задать вопросы спикеру можно заполнив форму ниже до 20:00 24 марта: https://forms.gle/esHrDLAiusPgNSgb6
Что: обсуждение карьеры в трейдинге
Кто: Артём Фетисов, руководитель трейдинга структурными продуктами на акции и облигации в Sberbank CIB
Когда: 14:00 Мск 25 марта
Где: YouTube-канал School of Finance
— Ссылка:
Trading Insights - Artem Fetisov (25-03-2023, 14:00 MSK)
📋 Пост в группе Мехмат МГУ:
Intern Meetup Week в Яндексе 🎉
С 17 по 20 апреля в Яндексе пройдёт неделя митапов для начинающих разработчиков. Будет доступен офлайн и онлайн формат.
Каждый день - новое направление:
17 апреля Backend: C++, Go, Java
18 апреля Frontend
19 апреля Data Science: ML, аналитика
20 апреля Mobile: iOS, Android
При отборе на митапы у вас есть шанс получить приглашение на пробное собеседование на стажировку в Яндекс 🔥
Это полноценное интервью, которое засчитывается за успешно пройденную техническую секцию, а если не пройдете его — сможете снова откликнуться на стажировку и пройти отбор повторно.
На митапах вы сможете:
• подать заявку на стажировку
• пообщаться с руководителями команд, которые сейчас ищут стажёров
• задать рекрутерам вопросы об отборе, собеседованиях и работе в Яндексе
Зарегистрироваться на митап: https://clck.ru/33r37f
Intern Meetup Week в Яндексе 🎉
С 17 по 20 апреля в Яндексе пройдёт неделя митапов для начинающих разработчиков. Будет доступен офлайн и онлайн формат.
Каждый день - новое направление:
17 апреля Backend: C++, Go, Java
18 апреля Frontend
19 апреля Data Science: ML, аналитика
20 апреля Mobile: iOS, Android
При отборе на митапы у вас есть шанс получить приглашение на пробное собеседование на стажировку в Яндекс 🔥
Это полноценное интервью, которое засчитывается за успешно пройденную техническую секцию, а если не пройдете его — сможете снова откликнуться на стажировку и пройти отбор повторно.
На митапах вы сможете:
• подать заявку на стажировку
• пообщаться с руководителями команд, которые сейчас ищут стажёров
• задать рекрутерам вопросы об отборе, собеседованиях и работе в Яндексе
Зарегистрироваться на митап: https://clck.ru/33r37f
Мехмат, общий сбор!
📢 Репост из группы Профком ВМК МГУ:
Соревнование по ML от компании VK
#образование
📅 17.04-22.04
🤖 Современный мир сложно представить без нейросетей, которые ежедневно облегчают наши жизни. Одна из таких сфер - защита пользователей от ботов, например от ботов в почте. Этот тип ботов создается при помощи автоматических скриптов, из-за чего они весьма схожи между собой.
📧 Как и любая другая задача в Антиспаме борьба с ботами – это гонка вооружений: мы обучаем все более сложные ML-системы, а злоумышленники учатся обходить их. Поэтому компания VK запускает соревнование, в ходе которого участникам предстоит показать свои умения в данной области.
🧑💻 Участвовать в соревновании можно студентам со знанием Python, ML, Deep Learning любого факультета МГУ в командах до 4-х человек.
А пока вы ждёте дальнейших новостей, вы можете начать поиск единомышленников в телеграмм-канале по ссылке: vk.cc/cm9rw4
📢 Репост из группы Профком ВМК МГУ:
Соревнование по ML от компании VK
#образование
📅 17.04-22.04
🤖 Современный мир сложно представить без нейросетей, которые ежедневно облегчают наши жизни. Одна из таких сфер - защита пользователей от ботов, например от ботов в почте. Этот тип ботов создается при помощи автоматических скриптов, из-за чего они весьма схожи между собой.
📧 Как и любая другая задача в Антиспаме борьба с ботами – это гонка вооружений: мы обучаем все более сложные ML-системы, а злоумышленники учатся обходить их. Поэтому компания VK запускает соревнование, в ходе которого участникам предстоит показать свои умения в данной области.
🧑💻 Участвовать в соревновании можно студентам со знанием Python, ML, Deep Learning любого факультета МГУ в командах до 4-х человек.
А пока вы ждёте дальнейших новостей, вы можете начать поиск единомышленников в телеграмм-канале по ссылке: vk.cc/cm9rw4
📢 Репост из группы Кафедра вычислительной механики [Мехмат МГУ]:
В группу добавлена видеозапись встречи кафедры с второкурсниками, прошедшая в пятницу, 24 марта.
На видео выступают:
0:00 проф. Луцкий Александр Евгеньевич
10:56 проф. Козлов Андрей Николаевич
29:58 проф. Жуков Виктор Тимофеевич
38:55 доц. Колдоба Елена Валентиновна
50:53 проф. Вершинин Анатолий Викторович
54:42 доц. Яковлев Максим Яковлевич
#Video
— Видео:
Мехмат МГУ, встреча кафедры вычислительной механики с второкурсниками, 2023 г., 1:03:46
В группу добавлена видеозапись встречи кафедры с второкурсниками, прошедшая в пятницу, 24 марта.
На видео выступают:
0:00 проф. Луцкий Александр Евгеньевич
10:56 проф. Козлов Андрей Николаевич
29:58 проф. Жуков Виктор Тимофеевич
38:55 доц. Колдоба Елена Валентиновна
50:53 проф. Вершинин Анатолий Викторович
54:42 доц. Яковлев Максим Яковлевич
#Video
— Видео:
Мехмат МГУ, встреча кафедры вычислительной механики с второкурсниками, 2023 г., 1:03:46
VK Видео
Мехмат МГУ, встреча кафедры вычислительной механики с второкурсниками, 2023 г.
На видео выступают: 0:00 проф. Луцкий Александр Евгеньевич 10:56 проф. Козлов Андрей Николаевич 29:58 проф. Жуков Виктор Тимофеевич 38:55 доц. Колдоба Елена Валентиновна 50:53 проф. Вершинин Анатолий Викторович 54:42 доц. Яковлев Максим Яковлевич
📢 Репост из группы Студенческий совет мехмата МГУ:
Мониторинг выплат на факультете
#стипендии_ссмм
Сегодня состоялась выплата основных видов стипендий: ГАС, ГСС по результатам зимней сессии и ПГАС, ПГСС.
🔹 Размер ГАС составил 2788, 3206 и 3485 рублей для студентов, имеющих все оценки «хорошо», «хорошо» и «отлично», «отлично», соответственно. Размер ГСС — 4138 рублей в месяц.
🔹Состоялась выплата ПГАС за февраль и март по итогам конкурсного отбора. Размер ПГАС в этом семестре — 13548 рублей в месяц.
🔹Состоялась выплата ПГСС. Размер ПГСС в этом семестре — 13873 рубля в месяц.
❗Если вы не получили стипендию или считаете, что выплата пришла не в полном объёме, то переходите по ссылке: vk.cc/c7k9ZO. Собранная информация будет передана администрации Университета.
Подробнее про стипендии их размеры читайте в нашей статье.
Мониторинг выплат на факультете
#стипендии_ссмм
Сегодня состоялась выплата основных видов стипендий: ГАС, ГСС по результатам зимней сессии и ПГАС, ПГСС.
🔹 Размер ГАС составил 2788, 3206 и 3485 рублей для студентов, имеющих все оценки «хорошо», «хорошо» и «отлично», «отлично», соответственно. Размер ГСС — 4138 рублей в месяц.
🔹Состоялась выплата ПГАС за февраль и март по итогам конкурсного отбора. Размер ПГАС в этом семестре — 13548 рублей в месяц.
🔹Состоялась выплата ПГСС. Размер ПГСС в этом семестре — 13873 рубля в месяц.
❗Если вы не получили стипендию или считаете, что выплата пришла не в полном объёме, то переходите по ссылке: vk.cc/c7k9ZO. Собранная информация будет передана администрации Университета.
Подробнее про стипендии их размеры читайте в нашей статье.
📢 Репост из группы Студенческий совет мехмата МГУ:
Ректорская материальная помощь
#стипендии_ссмм
Вчера стипендиальный комитет Студенческого совета МГУ открыл приём заявлений на единоразовую выплату материальной помощи студентам, находящимся в тяжёлом материальном положении.
Каждый случай, указанный как основание для получения такой матпомощи, будет рассматриваться индивидуально. Вы имеете право подать заявление на выплату, даже если уже получали её ранее. Размер материальной помощи — 10000₽ (8700₽ после вычета налога), в случае одобрения заявки выплата придёт в конце апреля.
❗ Чтобы подать заявление, необходимо заполнить форму до 23:59 7 апреля по ссылке: vk.cc/cmgbyx.
❓ Любые возникающие вопросы вы можете задать в комментариях под этим постом и в сообщениях группы.
Ректорская материальная помощь
#стипендии_ссмм
Вчера стипендиальный комитет Студенческого совета МГУ открыл приём заявлений на единоразовую выплату материальной помощи студентам, находящимся в тяжёлом материальном положении.
Каждый случай, указанный как основание для получения такой матпомощи, будет рассматриваться индивидуально. Вы имеете право подать заявление на выплату, даже если уже получали её ранее. Размер материальной помощи — 10000₽ (8700₽ после вычета налога), в случае одобрения заявки выплата придёт в конце апреля.
❗ Чтобы подать заявление, необходимо заполнить форму до 23:59 7 апреля по ссылке: vk.cc/cmgbyx.
❓ Любые возникающие вопросы вы можете задать в комментариях под этим постом и в сообщениях группы.
📢 Репост из группы Студенческий совет мехмата МГУ:
Встречи со студентами кафедр
#образование_ссмм
На этой неделе начнутся традиционные встречи со студентами старших курсов, которые подробно расскажут о том, как проходит учёба на разных кафедрах, а второкурсники смогут задать любые интересующие вопросы о научной жизни, написании курсовой работы и не только.
Первая часть встреч пройдёт в дистанционном формате по расписанию ниже, никакой предварительной регистрации для участия не требуется. Ссылка на zoom появится в группе Выбор кафедры незадолго до начала.
📌 Мы предлагаем второкурсникам заполнить данную форму с вопросами, чтобы спикеры могли лучше подготовиться к своему рассказу: https://vk.cc/cmGeFQ.
🔔 Обязательно вступайте в группу и следите за обновлениями, чтобы не пропустить начало и узнать расписание второй половины встреч!
Встречи со студентами кафедр
#образование_ссмм
На этой неделе начнутся традиционные встречи со студентами старших курсов, которые подробно расскажут о том, как проходит учёба на разных кафедрах, а второкурсники смогут задать любые интересующие вопросы о научной жизни, написании курсовой работы и не только.
Первая часть встреч пройдёт в дистанционном формате по расписанию ниже, никакой предварительной регистрации для участия не требуется. Ссылка на zoom появится в группе Выбор кафедры незадолго до начала.
📌 Мы предлагаем второкурсникам заполнить данную форму с вопросами, чтобы спикеры могли лучше подготовиться к своему рассказу: https://vk.cc/cmGeFQ.
🔔 Обязательно вступайте в группу и следите за обновлениями, чтобы не пропустить начало и узнать расписание второй половины встреч!
📢 Репост из группы Кафедра математической логики МГУ:
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 30 марта, начало в 18:30, состоится доклад
Михаил Рыбаков (Mikhail Rybakov, ИППИ РАН) и Дмитрий Шкатов (Dmitry Shkatov, Университет Йоганнесбурга)
Алгоритмическая сложность неклассических логик унарного предиката / Computational complexity of non-classical logics of an unary predicate
Планируется обсудить алгоритмическую сложность неклассических предикатных логик при ограничениях на средства языка. В 1962г. С.Крипке предложил простой способ, позволяющий моделировать в модальном языке бинарную предикатную букву с помощью двух унарных. Будет показано, как можно моделировать бинарную букву с помощью одной унарной в модальном языке и с помощью двух унарных в интуиционистском языке. Это сразу даёт неразрешимость многих логик в языке с одной-двумя унарными буквами и тремя переменными, поскольку классическая логика бинарного предиката неразрешима при трёх переменных в языке. Кроме того, будет показано, как можно промоделировать все унарные буквы с помощью одной унарной (как в модальном, так и в интуиционистском языке). С учётом известных результатов о неразрешимости многих неклассических логик в языке с двумя переменными (Д.Габбай, В.Шехтман (1993), Р.Кончаков, А.Куруш, М.Захарьящев (2005)), это даёт возможность доказать неразрешимость многих модальных и суперинтуиционистских предикатных логик в языке с одной унарной предикатной буквой и двумя переменными. Предлагаемое моделирование позволяет получить неперечислимость и даже неарифметичность соответствующих фрагментов некоторых логик, определяемых семантически. Мы подробно разберём доказательство неперечислимости модальных предикатных логик естественных классов конечных (по числу миров) шкал Крипке и доказательство неперечислимости позитивного фрагмента интуиционистской предикатной логики конечных шкал Крипке, когда языки этих логик содержат одну унарную предикатную букву и три предметные переменные.
We consider the issues concernign algorithmic complexity of non-classical predicate logics in restricted languages. In 1962, S.Kripke suggested how to simulate a binary predicate letter of a classical first-order formula with a modal first-order formula containing two unary letters. Building on Kripke's idea, we simulate a binary precidate letter with a single unary letter in modal formulas and with two unary letters in superintuitionistic formulas. This immediately gives us the undecidability of numerous modal logics in languages with one unary letter, and superintuitionistic logics with two unary letters, and three variables, since the classical logic of a binary predicate is undecidable with three variables. In addition, we show how to simulate any number of unary letters with a single unary letter (both in modal and intuitionistic languages). Due to the well-known results on the undecidability of many non-classical logics in languages with two variables (D.Gabbay, V.Shehtman (1993), R.Konchakov, A.Kurucz, M.Zakharyaschev (2005)), we obtain the undecidability of many modal and superintuitionistic predicate logics in languages with a single unary predicate letter and two variables. The proposed encoding enables us to obtain the non-enumerability and even non-arithmeticity of the corresponding fragments of a number of logics of Kripke frames. We shall prove in detail that the following logics are not recursively enumerable in languages with a single unary predicate letter and three individual variables: modal predicate logics of natural classes of finite (in terms of the number of worlds) Kripke frames and the positive fragment of intuitionistic predicate logic of finite Kripke frames.
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 30 марта, начало в 18:30, состоится доклад
Михаил Рыбаков (Mikhail Rybakov, ИППИ РАН) и Дмитрий Шкатов (Dmitry Shkatov, Университет Йоганнесбурга)
Алгоритмическая сложность неклассических логик унарного предиката / Computational complexity of non-classical logics of an unary predicate
Планируется обсудить алгоритмическую сложность неклассических предикатных логик при ограничениях на средства языка. В 1962г. С.Крипке предложил простой способ, позволяющий моделировать в модальном языке бинарную предикатную букву с помощью двух унарных. Будет показано, как можно моделировать бинарную букву с помощью одной унарной в модальном языке и с помощью двух унарных в интуиционистском языке. Это сразу даёт неразрешимость многих логик в языке с одной-двумя унарными буквами и тремя переменными, поскольку классическая логика бинарного предиката неразрешима при трёх переменных в языке. Кроме того, будет показано, как можно промоделировать все унарные буквы с помощью одной унарной (как в модальном, так и в интуиционистском языке). С учётом известных результатов о неразрешимости многих неклассических логик в языке с двумя переменными (Д.Габбай, В.Шехтман (1993), Р.Кончаков, А.Куруш, М.Захарьящев (2005)), это даёт возможность доказать неразрешимость многих модальных и суперинтуиционистских предикатных логик в языке с одной унарной предикатной буквой и двумя переменными. Предлагаемое моделирование позволяет получить неперечислимость и даже неарифметичность соответствующих фрагментов некоторых логик, определяемых семантически. Мы подробно разберём доказательство неперечислимости модальных предикатных логик естественных классов конечных (по числу миров) шкал Крипке и доказательство неперечислимости позитивного фрагмента интуиционистской предикатной логики конечных шкал Крипке, когда языки этих логик содержат одну унарную предикатную букву и три предметные переменные.
We consider the issues concernign algorithmic complexity of non-classical predicate logics in restricted languages. In 1962, S.Kripke suggested how to simulate a binary predicate letter of a classical first-order formula with a modal first-order formula containing two unary letters. Building on Kripke's idea, we simulate a binary precidate letter with a single unary letter in modal formulas and with two unary letters in superintuitionistic formulas. This immediately gives us the undecidability of numerous modal logics in languages with one unary letter, and superintuitionistic logics with two unary letters, and three variables, since the classical logic of a binary predicate is undecidable with three variables. In addition, we show how to simulate any number of unary letters with a single unary letter (both in modal and intuitionistic languages). Due to the well-known results on the undecidability of many non-classical logics in languages with two variables (D.Gabbay, V.Shehtman (1993), R.Konchakov, A.Kurucz, M.Zakharyaschev (2005)), we obtain the undecidability of many modal and superintuitionistic predicate logics in languages with a single unary predicate letter and two variables. The proposed encoding enables us to obtain the non-enumerability and even non-arithmeticity of the corresponding fragments of a number of logics of Kripke frames. We shall prove in detail that the following logics are not recursively enumerable in languages with a single unary predicate letter and three individual variables: modal predicate logics of natural classes of finite (in terms of the number of worlds) Kripke frames and the positive fragment of intuitionistic predicate logic of finite Kripke frames.
Канал Мехмата МГУ
📢 Репост из группы Кафедра математической логики МГУ: #матлог #учёба #спецсеминар На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ "Модальная и алгебраическая логика" и "Логические методы в информатике" в…
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки на зум-конференцию пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки на зум-конференцию пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
📢 Репост из группы Математические этюды:
29 марта и на этой неделе «Математический вторник» сегодня.
Какие семейства окружностей есть на торе, поверхности бублика?
Два семейства окружностей очевидны: одно — это окружности, образующие тор при вращении вокруг оси, другое — окружности, параллельные «экватору». Оказывается, на торе есть ещё два семейства окружностей, называемых окружностями Вилларсо. И это позволяет построить пластинчатую модель тора (по технологии «sliceform») из пластинок одинаковой формы.
Сегодняшняя премьера – фильм «Окружности Вилларсо» https://etudes.ru/models/Villarceau-circles/, рассказывающий и о том, что это за окружности, и про модель тора из пластинок.
Окружности Вилларсо на торе нашего обычного трёхмерного пространства служат основой для конструктивного разбиения сферы четырёхмерного пространства на попарно зацепленные окружности – так называемого расслоения Хопфа. Построенное в 1931 году расслоение стало исключительным и важным примером в алгебраической топологии.
А идея использовать окружности Вилларсо для создания модели тора из «долек» одинаковой формы была придумана относительно недавно – в 2011 году и у нас, кажется, малоизвестна. При этом идея и красивая, и интересная: объединяет наблюдение о торе, важный математический факт и модель, которую можно сделать своими руками.
Для подобных конструкций в английском языке употребляется термин «sliceform». Предлагаем в русском языке использовать «пластинчатые конструкции». Самим не очень нравится, но лучшего пока не придумали. Если кто-то придумает – пишите. (Как меня учил первый научный руководитель – Сергей Борисович Стечкин – ввести термин продуманный, чтобы он прижился, это даже важнее, чем доказать теорему.)
В разделе «Модели» уже накопилось несколько таких сюжетов, которые теперь объединены в отдельную тематическую группу «Пластинчатые конструкции» https://etudes.ru/models/@sliceforms.
Приведём ссылку и на страницу одного из авторов статьи 2011 года: https://www.uv.es/monera2/. Здесь можно найти и авторское видео о сборке тора, и некоторые другие пластинчатые конструкции.
29 марта и на этой неделе «Математический вторник» сегодня.
Какие семейства окружностей есть на торе, поверхности бублика?
Два семейства окружностей очевидны: одно — это окружности, образующие тор при вращении вокруг оси, другое — окружности, параллельные «экватору». Оказывается, на торе есть ещё два семейства окружностей, называемых окружностями Вилларсо. И это позволяет построить пластинчатую модель тора (по технологии «sliceform») из пластинок одинаковой формы.
Сегодняшняя премьера – фильм «Окружности Вилларсо» https://etudes.ru/models/Villarceau-circles/, рассказывающий и о том, что это за окружности, и про модель тора из пластинок.
Окружности Вилларсо на торе нашего обычного трёхмерного пространства служат основой для конструктивного разбиения сферы четырёхмерного пространства на попарно зацепленные окружности – так называемого расслоения Хопфа. Построенное в 1931 году расслоение стало исключительным и важным примером в алгебраической топологии.
А идея использовать окружности Вилларсо для создания модели тора из «долек» одинаковой формы была придумана относительно недавно – в 2011 году и у нас, кажется, малоизвестна. При этом идея и красивая, и интересная: объединяет наблюдение о торе, важный математический факт и модель, которую можно сделать своими руками.
Для подобных конструкций в английском языке употребляется термин «sliceform». Предлагаем в русском языке использовать «пластинчатые конструкции». Самим не очень нравится, но лучшего пока не придумали. Если кто-то придумает – пишите. (Как меня учил первый научный руководитель – Сергей Борисович Стечкин – ввести термин продуманный, чтобы он прижился, это даже важнее, чем доказать теорему.)
В разделе «Модели» уже накопилось несколько таких сюжетов, которые теперь объединены в отдельную тематическую группу «Пластинчатые конструкции» https://etudes.ru/models/@sliceforms.
Приведём ссылку и на страницу одного из авторов статьи 2011 года: https://www.uv.es/monera2/. Здесь можно найти и авторское видео о сборке тора, и некоторые другие пластинчатые конструкции.