Size: a a a

Мехмат МГУ

2021 May 17

I

Ilya in Мехмат МГУ
/д мохнатые киски смотреть онлайн
источник

M

MSU Hub Bot in Мехмат МГУ
источник

PR

P R in Мехмат МГУ
Ильяяяяяяя
источник

АК

Андрей К. in Мехмат МГУ
E3
источник

PT

Petr Treat in Мехмат МГУ
Так Sony опять не будет
источник

PT

Petr Treat in Мехмат МГУ
Еще и elden ring не покажут
источник

PT

Petr Treat in Мехмат МГУ
Не имеет смысла
источник

RB

Ramzan Bekbulatov in Мехмат МГУ
))
источник

PR

P R in Мехмат МГУ
не факт
источник

NK

ID:0 in Мехмат МГУ
📢 Репост из группы Кафедра математической логики МГУ:

#матлог #учёба #спецсеминар

На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ

"Модальная и алгебраическая логика" и "Логические методы в информатике"

в ближайший четверг, 20 мая, начало в 18:30, состоится доклад

Silvio Ghilardi (University of Milan)
Nuclear implicative semilattices: a finitarity result [from joint work with G. & N. Bezhanishvili, L. Carai, D. Gabelaia, M. Jibladze]

Diego's theorem says that the implication-conjunction fragment of intuitionistic logic is locally finite. We show that the result persists if we enrich the language with a nucleus, that is with a modality j satisfying the conditions x & jx= x, jjx=jx, j(x&y)=jx & jy.
Nuclei arise from the study of locales and topoi and they were also more recently motivated by some computer science applications.
In order to prove the result, we employ, adapt and revisit well-known universal model constructions in non-classical logics.

Видеозаписи предыдущих докладов:

https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX

Веб-страница с аннотациями и слайдами:

http://lpcs.math.msu.su/rus/ml.htm

Для получения ссылки на зум-конференцию пишите на почту aleksandr.zapryagaev@yandex.ru.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
источник

NK

ID:0 in Мехмат МГУ
📢 Репост из группы ПостНаука:

«Если математика считается сердцем всех естественно-научных знаний, то ядром для математики служит топология. Гипотеза Пуанкаре стала сложнейшей теоремой, которую доказали только через 102 года, после того как в 1900 году ее сформулировал Анри Пуанкаре. В 2002 году российский ученый Григорий Перельман полностью доказал ее».

Как гипотеза Пуанкаре объясняет мир:

https://postnauka.ru/video/154834

— Ссылка:
Гипотеза Пуанкаре — все самое интересное на ПостНауке
источник

RB

Ramzan Bekbulatov in Мехмат МГУ
s/ан/
источник

M

MSU Hub Bot in Мехмат МГУ
​📢 Репост из группы ПостНаука:

«Если математика считается сердцем всех естественно-научных зний, то ядром для математики служит топология. Гипотеза Пукаре стала сложнейшей теоремой, которую доказали только через 102 года, после того как в 1900 году ее сформулировал Анри Пукаре. В 2002 году российский ученый Григорий Перельм полностью доказал ее».

Как гипотеза Пукаре объясняет мир:

https://postnauka.ru/video/154834

— Ссылка:
Гипотеза Пукаре — все самое интересное на ПостНауке
источник

RB

Ramzan Bekbulatov in Мехмат МГУ
))
источник

NK

ID:0 in Мехмат МГУ
📋 Пост в группе Мехмат МГУ:

C 28 июня по 4 июля 2021 г. в Университете "Сириус", г. Сочи, пройдет школа-конференция по современным проблемам прикладной комбинаторики.
Научный руководитель школы — профессор кафедры матстатистики мехмата А.М. Райгородский

Работа программы разбита на несколько направлений проектной деятельности: теория случайных графов, геометрические графы, задачи комбинаторной оптимизации, методы оценки хроматических чисел графов, теоретико-числовые алгоритмы и оптимизированные меры частотности в языке. Индивидуальный отбор состоит из трех стадий: выполнение тестового задания, оценивание резюме и мотивационного письма, собеседование. Заявки на участие необходимо отправить до 31 мая

Вся информация об отборе и самой конференции доступна по ссылке:
https://sochisirius.ru/obuchenie/graduates/smena936/4521

Участие бесплатное, организаторы также обеспечивают проживание, проезд/перелет по территории РФ и питание для участников конференции

— Ссылка:
Школа-конференция по современным проблемам прикладной комбинаторики: О программе

— Автор: Станислав Круглик
источник

NK

ID:0 in Мехмат МГУ
📢 Репост пользователя Иван Ремизов:

Всероссийский смотр дипломных работ по математике - участвуй сам и расскажи друзьям, сделай репост! Приём работ до 31 мая. Участие бесплатное. В прошлом году были призы от группы "Ёжик в матане" и компании Huawei, в этом году тоже что-то будет!

На Смотр можно представить как готовящуюся к защите в 2021 году выпускную квалификационную работу бакалавра, специалиста или магистра, так и защищённую в 2018, 2019, 2020 годах.

Подробнее по ссылке https://nnov.hse.ru/bipm/fm/smotr/

Работы и оценки нужно высылать по почте hsennconfmath@gmail.com

Плюсы от участия для авторов работ:

• появится мотивация делать диплом качественно: ещё на этапе написания знать, что диплом будет читать кто-то кроме научного руководителя и рецензента
• возможность заявить о себе в профессиональном сообществе
• можно получить приглашение в магистратуру, аспирантуру или на работу
• можно получить призы от спонсоров и диплом от оргкомитета

А вот как это было в прошлом году https://nnov.hse.ru/bipm/fm/smotr2020

УЧАСТВУЙ! РАССКАЖИ ДРУЗЬЯМ! СДЕЛАЙ РЕПОСТ!

Make the diploma great again :)

— Ссылка:
Смотр дипломных работ математиков России
источник

PR

P R in Мехмат МГУ
нужна ваша поддержка
как вы считаете, напишу ли я ДВИ на 100
источник

PS

Pavel Savin in Мехмат МГУ
зачем
источник

PR

P R in Мехмат МГУ
для самоудвооетворения
источник

mq

m q in Мехмат МГУ
нет
источник