Size: a a a

Мехмат МГУ

2021 February 28

A

AlgebrachBot in Мехмат МГУ
Artem
/kek
ʞǝʞǝ
источник

A

Artem in Мехмат МГУ
/kek
источник

A

AlgebrachBot in Мехмат МГУ
Artem
/kek
Пожалуйста, уточни запрос. Выбери, что из перечисленного имелось в виду, и вызови /wiki ещё раз.
Бан
Бан
Бан
Бан (бань)
Бан
Бан
Бан
Бан
БАН
БАН
Бан, Зоран
Бан, Марко
Бан, Матия
Бан, Оана
Бан, Олга
Бан, Пол
Бан, Роберт
Бан, Сигэру
Бан, Тинацу
Бан, Фридьеш
Бан, Ян де
источник

СМ

Сергей Морозов... in Мехмат МГУ
источник

СМ

Сергей Морозов... in Мехмат МГУ
а тебя за это отчислили
источник

RB

Ramzan Bekbulatov in Мехмат МГУ
Aleksei Shestov
Настоящий Глеб Бакшеев!
источник

NK

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

Школа «Black Sea school on new developments in mathematical finance» направлена на знакомство студентов и аспирантов, обучающихся по программам "Фундаментальная математика" и "Математика и экономическая теория", имеющих достаточную подготовку в теории случайных процессов, а также молодых учёных, с несколькими актуальными направлениями финансовой математики для активизации научных исследований в России в этой области математики

Руководитель школы — Юрий Михайлович Кабанов, д.ф.-м.н., профессор кафедры теории вероятностей мехмата, председатель Совета директоров Фонда содействия развитию науки «Институт математических финансов и актуриата «Вега»

https://sochisirius.ru/obuchenie/graduates/smena874/4216

— Ссылка:
Black Sea school on new developments in mathematical finance/Черноморская школа по новейшим достижениям в финансовой математике: Партнеры
источник

:

:-) in Мехмат МГУ
hi, дорогие технари
источник

:

:-) in Мехмат МГУ
я, конечно, понимаю, что большинство из здесь присутствующих перешагнули порог экзаменационных испытаний после школьного курса, но...
источник

:

:-) in Мехмат МГУ
кто-нибудь может посоветовать какие-то сто́ящие учебники по математике, гарантирующие 80+ баллов на егэ?
источник

:

:-) in Мехмат МГУ
[надеюсь на отклик в ближайшие несколько дней, guys]
источник

RB

Ramzan Bekbulatov in Мехмат МГУ
мб тут быстрее ответят: @mm_abiturient
источник

LB

Lil BaΣv in Мехмат МГУ
Учебник гарантирующий, ржу
источник

:

:-) in Мехмат МГУ
лол, просто приблизительный оборот, не бери в голову
источник

:

:-) in Мехмат МГУ
гарантировать ничто не может
источник

PS

Pavel Savin in Мехмат МГУ
:-)
кто-нибудь может посоветовать какие-то сто́ящие учебники по математике, гарантирующие 80+ баллов на егэ?
ну Ткачука обычно советуют, но зависит от того, какая у тебя сейчас база
источник

NK

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

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

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

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

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

С.О. Сперанский (МИАН им. В.А. Стеклова)
Отрицание как модальный оператор в рамках логики предикатов

Идея интерпретации отрицания как (негативной) модальности используется в немалом числе логических систем; особого упоминания здесь заслуживает предложенная Дошеном пропозициональная логика N, в которой отрицание слабее, чем в «минимальной» логике Йохансона. Среди интересных расширений N можно выделить пропозициональные логики N* и Hype. Первая из них была предложена Кабаларом, Одинцовым и Пирсом в качестве базы для изучения оснований фундированной семантики логических программ с отрицанием; вторая же в последнее время рекламировалась Ляйтгебом как основная система для работы с «гиперинтенциональными контекстами», однако впервые она была описана Мойсилом ещё в 1942.

В моей недавней работе были изучены предикатные версии N и N*, а также описана простая семантика типа Раутли (где отрицание определяется посредством антимонотонной функции на возможных мирах) для предикатной версии Hype из статьи Ляйтгеба. В докладе будут приведены соответствующие результаты о сильной полноте. Кроме того, Ляйтгеб ошибочно утверждал, что Hype, подобно интуиционистской логике, обладает дизъюнктивным свойством. Однако это не так. Поэтому мы бегло обсудим дизъюнктивное и экзистенциальное свойства в контексте изучения кванторных расширений N. В целом исследования в данной области можно рассматривать как часть общей программы по изучению кванторных интуиционистских модальных логик.

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

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

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

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

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

RB

Ramzan Bekbulatov in Мехмат МГУ
are you a bot?
источник

RB

Ramzan Bekbulatov in Мехмат МГУ
Pavel Savin
ну Ткачука обычно советуют, но зависит от того, какая у тебя сейчас база
based
источник

IS

Iskander Saitbatalov in Мехмат МГУ
Too based...
источник