@rm_bk , тут бот зашёл

Это первокур

А он как сказал?

Рамзан, можно больше кеков?

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

#матлог #наука #лекции

24 ноября в 22:00 по московскому времени состоится доклад Кузнецова Степана Львовича на семинаре в Нью-Йорке (через Zoom). Доклад будет на английском языке.

Speaker: Stepan Kuznetsov, Steklov Mathematical Institute, Russian Academy of Sciences
Title: Ad hoc algebraic models for non-standard Kleene stars
Abstract:
Kleene iteration, or Kleene star, is one of the most intriguing algebraic operations appearing in theoretical computer science. In most conventional models, the Kleene star a* is interpreted as the union (limit) of n-th powers of a. In relational structures, this corresponds to reflexive-transitive closure, in language models it is iteration of languages, and so on. Such interpretation of the Kleene star is called *-continuous. However, the usual axiomatization of the Kleene star using induction principles (as opposed to the omega-rule), is essentially weaker and, thus, admits a broader class of models. Existence of nonstandard, non-*-continuous models can be easily proved non-constructively. However, in order to use such models for studying substructural logics with Kleene star one has to construct them explicitly. In this talk, we show two of such models, constructed for proving some facts about derivability in extensions of the Lambek calculus with the Kleene star. Both models are ad hoc algebraic constructions, and we do not yet know whether they could fit in a natural family of models.

Для получения ссылки на конференцию пишите на почту sk@mi-ras.ru.

​Спасибо, коллеги!

📢 Репост из группы Математики шутят(Авторский проект Прохоровича)):

Аспиранта-математика МГУ Азата Мифтахова уже второй год держат в каталажке из-за разбитого стекла в офисе единоросов.
В деле есть некие засекреченные свидетели (и это по разбитому окну!).
Впрочем, даже одиозная Мария Захарова (официальный представитель МИД РФ) как-то раз заявила, правда, по другому делу, что использование засекреченных свидетелей — это показатель «вбросов со ссылкой на мифические неопровержимые доказательства».
Другим гражданам по эту делу уже дали от 6 до 13 лет колонии строгого режима.

— Ссылка:
Вбросовые люди

— Опрос:
рейтинг:, голосов: 7
→ +, голосов: 5
→ -, голосов: 2

​📢 Репост из группы Троицкий вариант - Наука:

Против упразднения РФФИ

Административная реформа, объявленная в выступлении премьер-министра М.В. Мишустина, подразумевает объединение двух государственных научных фондов – РНФ и РФФИ. Это решение принимается бюрократическим государственным аппаратом исключительно для того, чтобы упростить администрирование затрат на науку. Правительством М.В. Мишустина не было сделано даже попытки понять аргументы научного сообщества, неоднократно выступавшего против такого объединения.

https://trv-science.ru/2020/11/protiv-uprazdneniya-rffi/

— Ссылка:
Против упразднения РФФИ — Троицкий вариант — Наука

📢 Репост из группы Математические этюды:

27 ноября исполнилось бы 90 лет Владимиру Андреевичу Успенскому. Как традиционно пишут – ученику А.Н. Колмогорова, заведующему кафедрой математической логики и теории алгоритмов мехмата МГУ, одному из создателей отделения теоретической и прикладной лингвистики филфака МГУ.

Широкому современному читателю он известен по книге «Предисловие к математике» и её более полной версии — «Апология математики». Широкому советскому – по нескольким брошюрам в серии «Популярные лекции по математике» и совместной с Е.Б. Дынкиным книгой «Математические беседы». Визитной карточкой ВАУ стало предисловие к сборнику переводов «Математика в современном мире» (М.: Мир, 1967) с его фразой «Изменилось и традиционное преставление о математиках: место паганелеобразных чудаков заняли в этом представлении молодые люди в ковбойках, занимающиеся лыжным спортом. Всё больше родителей желает определить своих детей в школы с математическим уклоном: математика стала модной профессией».

Всю жизнь Владимир Андреевич внимательно наблюдал за окружающим миром, придирчиво расспрашивал даже случайно встреченных, и часть из переосмысленного публиковал. Почти все нематематические тексты, написанные Владимиром Андреевичем, представлены в собрании «Труды по нематиматике».

Первое издание – двухтомное – вышло в 2002 году, благодаря геройскому подвигу Екатерины Рахилиной. По-другому и не скажешь, потому что собрать всё это разрозненное воедино… Немного имея отношение ко второму изданию, пусть и большему по объёму, но являющимся надстройкой над первым, – не представляю, как это можно было осилить, да ещё и в то малокомпьютерное время… Да ещё и зная дотошность ВАУ постоянно наблюдающего и контролирующего процесс.

Второе издание – пятикнижие. Владимир Андреевич любил что-нибудь этакое. Книга 4 «Филология» вышла в 2012 году, книга 3 «Языкознание» – в 2013, книга 2 «Философия» – в 2014, книга 5 «Воспоминания и наблюдения», подготовленная ВАУ, но вышедшая уже без него, – в 2018 году (https://mccme.ru/memoria/vau/).

Теперь, завершая задумку Владимира Андреевича, к его 90-летию вышла книга 1 «Памяти ушедших. Аппарат издания». Помимо запланированных им текстов по решению издателей в книгу включён большой блок воспоминаний об Успенском, написанных его друзьями и коллегами. Книга уже в Москве и скоро появится в магазинах, а полный pdf-файл, как обычно, в открытом доступе появится через полгода. Пока оглавление, материалы из архива и наиболее полный список его работ (https://mccme.ru/free-books/uspenskii/vau_book1_toc.pdf).

Общее число страниц пятикнижия – 3632. Количество персон в именном указателе – 4145. Всё это – благодаря кропотливой работе в течение этих девяти лет Михаила Панова и Никиты Панюнина. От внесения исправлений ВАУ в TeX-файлы и поиска необходимой информации, до непростой вёрстки и обучения технологов типографий тонкостям конгревного тиснения на переплёте.

Наша команда ввязалась в этот проект с лёгкой руки ВитАр'а – Виталия Дмитриевича Арнольда. При своей жизни он был инициатором и организатором огромного количества хороших дел в математическом сообществе.

Честно сказать, представлял бы на сколько это растянется по времени – наверное, не ввязался бы… С другой стороны, сколько было интереснейшего общения с Владимиром Андреевичем, сколько было поведано интересных историй. Как бы то ни было, теперь издание пятикнижия «Труды по нематематике» завершено.

Николай Андреев

Во все времена Владимир Андреевич Успенский был популяризатором математики, в частности, связующим звеном мира гуманитариев с миром математиков. Несколько афиш из архива ВАУ.

Когда этап?

Или ему срок в СИЗО скашивают?

​📢 Репост пользователя Михаил Лобанов:

Причины многих проблем с «дистантом» - это банальная экономия на образовании и жгучее желание чиновников отчитаться, что «учебная программа реализована в полном объёме».

В субботу кратко выступил на митинге по поводу «дистанта», который прошел в формате встречи с депутатом Госдумы Валерием Рашкиным. После митинга меня попросили развернуть мои мысли для ресурса Заново-медиа. Получился такой вот текст: https://zanovo.media/politic-2/takoj-distant-nam-ne-nuzhen

Если выделить несколько тезисов:

– то, что власти пытаются «продать» обществу под вывеской дистанционного образования, дистанционным образованием по сути не является;

– государство и его аппарат перекладывает работу, ответственность и расходы по организации образовательного процесса на плечи и кошельки преподавателей, обучающихся и их родителей;

– если бы до эпидемии школы были бы укомплектованы исходя из того, что учитель ведёт только положенную по нормативам ставку (18 часов в неделю), при этом получает за неё очень хорошую зарплату и имеет время заниматься самообразованием, то «дистант» принёс бы гораздо меньше проблем и учителям, и ученикам, и родителям;

– в среднесрочной перспективе обществу нужна гарантия, что на выходе из эпидемии система образования вернётся в нормальный очный режим;

– в долгосрочном плане мы должны добиваться сворачивания режима экономии на образовании, медицине и науке;

– проблемы в сфере образования нельзя решить без появления массовых боевых профсоюзов в средней и высшей школе.

Также я вынужден был немного покритиковать действия администрации родного МГУ в условиях пандемии и поддержал предложения профсоюза «Учитель», нацеленные на смягчение текущих самых острых проблем с «дистантом».

Читать полностью: https://zanovo.media/politic-2/takoj-distant-nam-ne-nuzhen

PS: Там же в субботу на встрече по проблемам нынешнего «дистанта» выступили и мои товарищи по профсоюзному движению: Николай Волков (“Университетская солидарность”) рассказал о проблемах с мотивацией студентов, а Александр Кондрашёв изложил взгляд на ситуацию с точки зрения школьного педагога и потребовал повысить зарплаты, а также снять необязательную нагрузку с учителей на время «дистанта».

— Ссылка:
Такой «дистант» нам не нужен

​📢 Репост из группы Мемы второго порядка имени Е.В. Троицкого:

​Никогда такого не было и вот опять

📢 Репост из группы Новости Инициативной группы МГУ:

Руководство Студсовета МГУ разрешило обнулиться своим членам

2 октября глава Студсовета МГУ Антон Ханджян разослал по факультетам письмо, регламентирующее проведение выборов в студсоветы. Помимо общих вопросов, в письме утверждается, что руководство студсовета может обойти ограничение в два срока на своем посту за время обучения, установленное Ученым советом МГУ. По мнению авторов письма, отсчет сроков можно вести внутри «одного уровня образования»: после двух в бакалавриате студент при желании может «обнулиться» и руководить студсоветом еще дважды в магистратуре; учащиеся специалитета – физики, химики, мехмат и ряд других – при всем желании «обнуляться» не могут.

Впервые «обнуление» задействовала председатель Студсовета МГУ Мария Алаева, автор фразы «не по-студенческому Московского университета». В 2015 году она должна была уйти с поста председателя своего студсовета и покинуть Студсовет МГУ после двух сроков. Но она была лояльна ректорату и юридическое управление МГУ выдало ей справку, в которой время обучения в бакалавриате и магистратуре трактовались как отдельные периоды. Это позволило начать отсчитывать сроки заново и попасть в Студсовет МГУ в третий раз. (Подробнее: http://chronicles.igmsu.org/council/2016_term5/)

Многие члены студсовета осудили подобную практику, посчитав ее надругательством над духом решения Ученого совета МГУ. За пять лет некорректной трактовкой, которую впервые добыла Мария Алаева, воспользовались единицы: среди них, например, трехкратный представитель юрфака Али Асадов (благодаря этому повторно возглавил Студсовет МГУ) и четырехкратный председатель студсовета филфака Мария Елфимова.

В 2020 году, согласно открытым данным, список персонажей дополнился студенткой соцфака Анной Деньгиной, которая 17 ноября пошла на третий срок председательства в своем студсовете. Именно она регламентирует выборы на факультетах, занимая пост главы Избирательной комиссии Студсовета МГУ, и принимала участие в подготовке письма.

❗️Мы считаем практику нахождения более двух сроков на руководящей должности одного лица неприемлемой. Регулярная сменямость – один из ключевых принципов самоуправления: она позволяет сохранить обратную связь со студентами, стимулирует активную деятельность ввиду ограниченности времени и лишает администрацию и ее помощников стимула налаживать «дружеские» отношения в ущерб защите интересов студентов. Ротация повышает конкуренцию в самих студсоветах, сохраняет их независимость, позволяя вовлекать в самоуправление больше МГУшников, которые получат опыт коллективного решения проблем и смогут применить его в дальнейшей жизни.

Письмо председателя Антона Ханджяна идет вразрез с этими принципами, закрепленными Ученым советом МГУ в Положении о Студсоветах. В данной ситуации мы наблюдаем конфликт интересов, поскольку должностное лицо Студсовета МГУ, ответственное за организацию выборов, воспользовалось приведенной в регламенте трактовкой. Анна Деньгина должна быть освобождена от должности главы Избирательной комиссии, а протоколы выборов председателя на соцфаке аннулированы. 

Мы надеемся, что новый состав Студсовета МГУ не будет тиражировать ошибки своих предшественников, а закрепит сменяемость руководства в Положении о Студсовете во избежание двусмысленных трактовок недобросовестными членами.

О том, как прошли выборы в студенческие советы факультетов, читайте в следующих постах.

​Серьёзный — это еще мягко говоря!

📢 Репост из группы Математура: книги издательства МЦНМО:

Переиздали добротный, проверенный временем серьезный учебник по вероятности А.Н.Ширяева (первую часть).
Здесь излагается элементарная теория вероятностей,
математические основания теории вероятностей, базирующиеся на аксиоматике Колмогорова.
сходимость вероятностных распределений и центральная предельная теорема.

В конце каждого параграфа приводятся задачи, значимость которых
может быть различной: в одних предлагается доказать утверждения, сформулированные, но не доказанные в основном тексте, другие содержат утверждения, используемые в последующем изложении, третьи преследуют цель дать дополнительные сведения к рассматриваемому кругу вопросов и, наконец, некоторые носят характер простых упражнений.