my name's "not shane kid"

caramba that really hurt

Высшая школа киллеров

Бан?

Опять меня????

эрон бон бон бон

Нихуясе а поч у тя подпись пи

здец какой крутой потомучто

​📢 Репост из группы Студенческий совет мехмата МГУ:

Мониторинг интернета в общежитиях

#бытовые_вопросы_ссмм

Проживающие в общежитиях наверняка замечали, что интернет пропадает в самые неподходящие моменты. Совместно с командой MSU Hub (t.me/chat_msu/22333) мы запускаем мониторинг интернета. Собрав статистику, мы сможем выявить проблемы и направленно пустить силы на их разрешение.

Нам нужна ваша поддержка! Каждый студент, проживающий в Главном здании или ДСЛ, может помочь собрать статистику. Для этого нужно лишь скачать программу DMonitor и держать её открытой. Это opensource разработка, которая работает в фоновом режиме, раз в минуту пингует популярные сайты и отправляет время их ответа на сервер. Не требует установки, не засоряет систему и потребляет только 10-30 Мб оперативной памяти.

Подробнее о программе DMonitor: https://internet.msut.me/join
Чаты общежитий: t.me/ds_msu, t.me/dsl_msu

Графики уже собранной статистики: https://internet.msut.me

Подключайтесь! 👨🏻‍💻

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

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

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

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

в ближайший четверг 29 октября, начало в 17:45, состоится доклад

Д. Рогозин (ИППИ РАН)
Свойство конечного представления для редуктов представимых алгебр отношений

Алгебры отношений (RA) - это разновидность булевых алгебр с операторами, предлагающая алгебраизацию бинарных отношений [Tarski 1944]. Представление алгебры отношений - это изоморфизм между алгеброй отношений и алгеброй подмножеств бинарного отношения. Представимые алгебры отношений (RRA) - это замыкание таких алгебр подмножеств над бинарными отношениями относительно изоморфных копий.
Как известно, существуют непредставимые алгебры отношений [Lyndon 1950], и, таким образом, первопорядковые теории RA и RRA не совпадают. Более того, представимость для конечных алгебр отношений - это алгоритмически неразрешимая проблема [Hirsch, Hodkinson 2001].
В связи с этим, естественным направлением является изучение редуктов алгебр отношений, то есть алгебр отношений, сигнатура которых - это некоторая подсигнатура сигнатуры алгебры отношений. В частности, такие редукты изучаются на предмет наличия конечной аксиоматизации и свойства конечного представления (когда каждая представимая конечная структура изоморфна представимой алгебре на конечной базе).
В этом докладе мы обсудим текущие результаты в изучении редуктов алгебр отношений, такие как конечная (не)аксиоматизируемость и конечная (не)представимость. В частности, мы покажем, что представимые полугруппы с делениями обладают свойством конечного представления (что было открытой проблемой в [Hirsch, Hodkinson 2002]).
Мы покажем что всякая полугруппа с делениями представима как подалгебра представимый полугруппы, упорядоченной в полной решетке, с использованием соответствия Галуа и пополнений по Дедекинду-Макнейлу.
Наконец, мы предъявим контрпример, нарушающий свойство конечного представления для полугрупп, упорядоченных в верхней полурешетке, используя недавний результат из [Maddux 2016].

Информация для подключения к конференции Zoom

https://mi-ras-ru.zoom.us/j/98129884952?pwd=MEoxRVZLYmpPUkswT3ljQUNZTmVTdz09

Идентификатор конференции: 981 2988 4952
Код доступа: 482651

/internet

📊 Мониторинг интернета в общежитиях ГЗ и ДСЛ

25 октября, 10:55:00:
— пинг: 24.1 мс
— проблем с сетью: 0
— участников: 2.0 чел.

25 октября, 11:05:00:
— пинг: 33.1 мс
— проблем с сетью: 0
— участников: 2.0 чел.

25 октября, 11:15:00:
— пинг: 52.6 мс
— проблем с сетью: 0
— участников: 2.1 чел.

📝 Как присоединиться:
— скачать DMonitor и запустить его

​Открытые выдвижения — наше любимое!

📢 Репост пользователя Иван Кухарчук:

Друзья!
Сообщаю о том, что хочу избраться на должность председателя Студенческого совета мехмата. Предлагаю ознакомиться с моей программой. Жду вашего мнения в комментариях.

— Приложение:
Программа.pdf, 478 Кб

​Не математика, зато МГУ!

📢 Репост из группы TJ:

Учёные из МГУ считают, что именно компоненты ракетного топлива могли вызвать токсичное цветение водорослей, которое привело к экологической катастрофе на Камчатке.

Но другие эксперты с ними пока не согласны и говорят, что в этом случае ущерб был бы куда больше, а природа ещё долго не смогла бы восстановиться.

— Ссылка:
В МГУ нашли следы распада ракетного топлива в пробах воды с Камчатки. Раньше учёные отвергали эту ве

​📢 Репост из группы Кафедра ИМПМ:

Выставка VacuumTechExpo 2020
и конференция "Вакуумная техника, материалы и технология"
27-29 октября 2020 года, Москва, МВЦ «Крокус Экспо», павильон 1, зал 3.

Программу конференции можно найти по ссылке ниже. Подробнее о выставке - https://www.vacuumtechexpo.com/ru-RU/. Наш доклад посвящен модели возбуждения и релаксации вращательных степеней свободы в двухатомных газах и ее применению в задаче об истечении азота в вакуум.

Для бесплатного посещения выставки есть возможность получить электронный билет, указав промокод rvo2:
https://vacuum.org.ru/ru/conf/vactmt/202010/

— Ссылка:
Выставка VacuumTechExpo

​🐕🐕

📢 Репост из группы Дела поважнее:

Дела поважнее — Пятница (2020)

Запись: Данила Герасимов, Александр Волков, Константин Пыжов
Сведение: Константин Пыжов
Обложка: Никита Адамов

— Аудио:
Дела Поважнее — Пятница

первокур?

Да

Добро пожаловать

:    )