я

📢 Репост из группы Кафедра математической логики МГУ:
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

На очередном заседании семинара Теория доказательств в понедельник 17 февраля, ауд. 530, МИАН, состоится онлайн-доклад

Maryam Abiri (Iran)

From forcing to satisfaction in Kripke models of intuitionistic predicate logic

Мариам Абири - кандидат на позицию международного постдока в МЦМУ МИАН.

Начало доклада в 18:30.

Abstract. We answer a natural question concerning the relation between forcing and satisfaction in Kripke models of intuitionistic predicate logic. We define a class of formulas denoted by R∗, with the property that forcing of any R∗-formula in a node of a Kripke model of intuitionistic predicate logic implies its satisfaction in the classical structure attached to that node. We also prove that any formula with this property is an R∗-formula.

Добро пожаловать, 邵玮琬!
Если здесь впервые, то ознакомься с правилами — /rules, и представься, если несложно.

Что мертво, умереть не может: msut.me/mechmath

📢 Репост из группы спецкурсы и семинары | мехмат МГУ:
1) Небольшое объявление:
Нам в некоторой степени повезло!
"через месяц-другой университету предстоит проходить аккредитацию, и вот перед ней точно все-все рабочие программы дисциплин факультет централизованно выложит, сейчас администрация факультета завершает сбор материалов с кафедр"
(Уже завели централизованную страницу со ссылками:
https://math.msu.ru/sm1)
См. комментарий к закрепленному посту!

Так что в ближайшее время, полагаю, можно будет найти списки с подробной информацией о спецкурсах.

2) Бонус: ы, послание подписчикам
(disclaimer: автор понимает, что он всего лишь второкурсник и возможно неправ)
　 Списки, материалы и прочее — это, конечно, хорошо (и мы будем стараться их выкладывать в как можно большем объеме), но это не главное. В интернете уже есть огромное кол-во страниц с разнообразнейшей "мёртвой" информацией про мехмат, и все наши списки и посты тоже будут со временем забыты.
　 А что по-настоящему важно, так это культура живого обсуждения математики.
Так что по сути мы в первую очередь хотим создать площадку для математического общения (существует множество мехматовских форумов, но они все давно умерли, хотелось бы верить, что это из-за неудобного формата).

У нас вот есть беседа (и пока там 26 человек), присоединяйтесь:
https://vk.me/join/AJQ1d6PwnhYhVSSQB99/4CwM
Правила стандартные: у нас полная свобода и открытость, но рамки приличия никто не отменял.
(там иногда бывают боты, но вроде бы мы их оперативно баним)
Вероятно, мы в ближайшем будущем заведем беседу в Телеграме, наверное, такой формат лучше и удобнее; ну или вы заведёте и пригласите нас :)
Присоединяйтесь, приглашайте друзей, общайтесь!

3) О планах: мы обязательно сделаем меню для более удобной навигации по странице, постараюсь заняться этим в выходные (все-таки учебу никто не отменял); как минимум список хэштегов и ссылок.
Возможно, попробуем ещё какой-нибудь гугл-диск организовать.

📢 Репост из группы спецкурсы и семинары | мехмат МГУ:
Название: Компьютерное моделирование и небесная механика (продолжение годового спецкурса)
Кафедра: Теоретическая Механика (#теормех@mm_sc_mu )
Тип: спецкурс
Для кого: 2_курс
Проводят: И.И. Косенко, В.А. Прошкин
Время и место: по средам в 15:00 в ауд. 15-06, первое занятие (вводное) 12 февраля

Описание: В курсе рассматриваются классические модели небесной механики: задача Кеплера, движение материальной точки в планетной системе – пассивное и управляемое с импульсными и гравитационными маневрами, в частности, решаются простейшие задачи об оптимальных перелетах с использованием метода сфер действия. В задаче о движении спутника планеты строятся наиболее известные аппроксимации гравитационного потенциала планеты, приводящие к интегрируемым задачам. Обосновывается приближенное отделение орбитального движения от вращения в задаче о поступательно-вращательном движении тела в центральном гравитационном поле, рассматривается задача о вращении тела на круговой орбите. Излагаются общие принципы объектно-ориентированного компьютерного моделирования, используются конкретные программные продукты для перечисленных моделей такие, как графическая среда Dymola, язык для моделирования динамических процессов Modelica. Описывается стандартная библиотеки классов Modelica, дается методика построения своей собственной библиотеки моделей и классов. Приводятся примеры построения относительных равновесий, периодических решений. Описывается методика контроля качества численных моделей с помощью первых интегралов.
Комментарий от автора поста: первый семестр был сугубо теоретическим, второй семестр направлен на практическую деятельность. думаю, что непосещение первого семестра не сильно скажется на втором.
План:

#механика@mm_sc_mu

— Приложения:
appendix(Kosenko,Proshkin).rtf, 0.2 Мб

📢 Репост из группы Кафедра высшей геометрии и топологии:
Вопрос второкурсникам: О.И.Мохов планирует чтение полугодового спецкурса "Дифференциально-геометрические задачи матфизики". Изначально предполагалось, что спецкурс будет проходить по четвергам в 16:45, но оказалось, что есть желающие туда ходить второкурсники, у которых в это время обязательные занятия. В связи с этим мы просим заинтересованных второкурсников отреагировать (здесь) как можно скорее. Если будет интерес, мы постараемся перенести этот спецкурс на другое время (скорее всего, четверг 18:30).

Привіт, Anastasia!
Если здесь впервые, то ознакомься с правилами — /rules, и представься, если несложно.

Лучше бы в доту играли, молодняк.

Какова размерность дельта-функции?

Что значит "в общем виде"?  Что не так с формулой суммы кубов?

и ты, брут..

нетто

Хддд

Бал’а даш, маланорэ, Mister!
Если здесь впервые, то ознакомься с правилами — /rules, и представься, если несложно.

Че там по спецкурсам

Сегодня и завтра в нму до ночи (типа часов в 23:00-00:00 вернусь), а в среду после пар надеюсь доделать книжку

Еще надо паблик в группу превратить и сделать-таки меню