Σ
1Size: a a a
2021 February 01
M
🚾 Каканий сегодня:
Σ
from multiprocessing import Process
def f():
m = []
while 1:
m.append(0)
p = Process(target=f)
p.daemon = True
p.start()
#pyM
from multiprocessing import Process
def f():
m = []
while 1:
m.append(0)
p = Process(target=f)
p.daemon = True
p.start()
#pypython3 | 3.7.4
CPU Time: 0.05 s
Memory: 10564 KB
RB
ID:0
📋 Пост в группе Мехмат МГУ:
Нашего студента 4 курса, Максима Титова, вчера задержали по пути из продуктового магазина в районе метро Красносельская. Его держат со вчерашнего дня в ОВД по району Кузьминки.
Максима задержали без объяснения причины, не допуская адвоката, составили на него протокол об участии в несанкционированном митинге, повлекшем создание помех движению и инфраструктуре. Также его допрашивали как свидетеля по делу об организации митинга. Максим провел ночь в ОВД, полицейские не принимали передачу еды и воды ему со стороны знакомых (спасло только, что он был с продуктами из злосчастного магазина).
Днем Максим находился в Кузьминском районном суде, на связи с адвокатом и друзьями. Рассматривает дело судья М. Н. Данилина, она отправила материалы обратно в ОВД на дозаполнение. Ему угрожали дать 10 суток ареста. Сейчас Максим отбывает максимальный по статье срок задержания — 48 часов.
Мы на связи с его друзьями и следим за его делом. Если кто-то также оказался задержанным вчера, пишите о своих историях нам, мы поможем связаться с правозащитниками.
Желаем удачи Максиму выйти из всей этой передряги и надеемся на хорошее завершение его истории!
Нашего студента 4 курса, Максима Титова, вчера задержали по пути из продуктового магазина в районе метро Красносельская. Его держат со вчерашнего дня в ОВД по району Кузьминки.
Максима задержали без объяснения причины, не допуская адвоката, составили на него протокол об участии в несанкционированном митинге, повлекшем создание помех движению и инфраструктуре. Также его допрашивали как свидетеля по делу об организации митинга. Максим провел ночь в ОВД, полицейские не принимали передачу еды и воды ему со стороны знакомых (спасло только, что он был с продуктами из злосчастного магазина).
Днем Максим находился в Кузьминском районном суде, на связи с адвокатом и друзьями. Рассматривает дело судья М. Н. Данилина, она отправила материалы обратно в ОВД на дозаполнение. Ему угрожали дать 10 суток ареста. Сейчас Максим отбывает максимальный по статье срок задержания — 48 часов.
Мы на связи с его друзьями и следим за его делом. Если кто-то также оказался задержанным вчера, пишите о своих историях нам, мы поможем связаться с правозащитниками.
Желаем удачи Максиму выйти из всей этой передряги и надеемся на хорошее завершение его истории!
🙏🏻
RB
Молимся за Маха
V
V
Мах и отряд полиции по району Кузьминки, 2021 год, в цвете
2021 February 02
NK
Если вам так нравится математика, можно просто подойти и поговорить об этом прямо, а не намекать задержаниями математиков
📢 Репост из группы Троицкий вариант - Наука:
Математики всего мира выступили в поддержку Александра Кузнецова
За последние полтора дня в редакцию нашей газеты поступило немало комментариев ведущих математиков мира в поддержку их коллеги докт. физ.-мат. наук, профессора РАН, члена-корреспондента РАН по Отделению математических наук Александра Кузнецова, который вместе с дочерью Анной был задержан в ходе протестов 31 января 2021 года в Москве и провел ночь с 31 января на 1 февраля в ОВД "Очаково-Матвеевское".
1 февраля Анна решением Никулинского районного суда г. Москвы получила штраф по 20.2 часть 6.1. КоАП (ее защиту осуществлял общественный защитник Алексей Миняйло), а Александра Кузнецова ждет суд в среду, 3 февраля. Его интересы будет представлять адвокат от ОВД-Инфо Лидия Аносова.
Задержание Александра Кузнецова вызвало решительный протест всего мирового математического сообщества. Вот только несколько цитат:
"Александр Кузнецов — один из ярчайших математиков планеты и один из самых талантливых людей целиком посвятивших себя службе Российской науке. Его идеи невероятно обогатили современную математику, указав на многие важнейшие направления ее дальнейшего роста и развития, и снискав ему почет и уважение во всем мире. Мы всегда исключительно внимательно прислушиваемся к его словам, полным разума и проницательности. Также не можем не отметить, что Александр Кузнецов неизменно являлся для нас примером образцового гражданина своей страны, любящего и заботливого отца большого семейства, мудрого коллеги и товарища. Мы призываем все российское общество прислушаться к нему и создать обстановку когда такие люди могут мирно высказать свое мнение и быть услышаны. Считаем его задержание вопиющей несправедливостью и требуем его немедленного освобождения", — отмечают Игорь Кричевер, Андрей Окуньков и Станислав Смирнов.
"Александр Кузнецов — один из ведущих математиков мира. Его глубокие идеи и теории вдохновляют большое количество последователей по всему миру, завоевывая ему международные премии. Его постоянное присутствие в Москве, несмотря на выгодные предложения от ведущих академических институтов многих стран, принесло огромную пользу российской науке, помогая растить новые поколения математиков. Поскольку Россия готовится пригласить математиков всего мира на престижный Международный конгресс математиков в Санкт-Петербурге в 2022 году, трудно поверить что она посадит в тюрьму одного из светил российской науки и одного из своих самых порядочных граждан", — пишут Richard Thomas и Rahul Pandharipande.
Работы Александра Кузнецова относятся к алгебраической геометрии, одной из важнейших и центральных областей математики, в которой он прославился, в частности, развитием и применением математического аппарата производных категорий. Крупнейшие зарубежные эксперты в этой области Arend Bayer, Tom Bridgeland и Daniel Huybrechts так охарактеризовали вклад Кузнецова:
"В области производных категорий мы восхищаемся красотой и плодотворностью идей Александра Кузнецова, которые во многом сформировали эту область. Мы также знаем его как замечательного коллегу, щедро делящегося своими мыслями и идеями, и тратящего огромное количество времени на помощь молодым исследователем по всему миру. Для молодых исследователей, у него всегда найдется ценными совет или предложение, он всегда готов ответить на их вопросы, прокомментировать их идеи или дать подробный отзыв об их работах. Он действительно образцовый гражданин научного сообщества."
📢 Репост из группы Троицкий вариант - Наука:
Математики всего мира выступили в поддержку Александра Кузнецова
За последние полтора дня в редакцию нашей газеты поступило немало комментариев ведущих математиков мира в поддержку их коллеги докт. физ.-мат. наук, профессора РАН, члена-корреспондента РАН по Отделению математических наук Александра Кузнецова, который вместе с дочерью Анной был задержан в ходе протестов 31 января 2021 года в Москве и провел ночь с 31 января на 1 февраля в ОВД "Очаково-Матвеевское".
1 февраля Анна решением Никулинского районного суда г. Москвы получила штраф по 20.2 часть 6.1. КоАП (ее защиту осуществлял общественный защитник Алексей Миняйло), а Александра Кузнецова ждет суд в среду, 3 февраля. Его интересы будет представлять адвокат от ОВД-Инфо Лидия Аносова.
Задержание Александра Кузнецова вызвало решительный протест всего мирового математического сообщества. Вот только несколько цитат:
"Александр Кузнецов — один из ярчайших математиков планеты и один из самых талантливых людей целиком посвятивших себя службе Российской науке. Его идеи невероятно обогатили современную математику, указав на многие важнейшие направления ее дальнейшего роста и развития, и снискав ему почет и уважение во всем мире. Мы всегда исключительно внимательно прислушиваемся к его словам, полным разума и проницательности. Также не можем не отметить, что Александр Кузнецов неизменно являлся для нас примером образцового гражданина своей страны, любящего и заботливого отца большого семейства, мудрого коллеги и товарища. Мы призываем все российское общество прислушаться к нему и создать обстановку когда такие люди могут мирно высказать свое мнение и быть услышаны. Считаем его задержание вопиющей несправедливостью и требуем его немедленного освобождения", — отмечают Игорь Кричевер, Андрей Окуньков и Станислав Смирнов.
"Александр Кузнецов — один из ведущих математиков мира. Его глубокие идеи и теории вдохновляют большое количество последователей по всему миру, завоевывая ему международные премии. Его постоянное присутствие в Москве, несмотря на выгодные предложения от ведущих академических институтов многих стран, принесло огромную пользу российской науке, помогая растить новые поколения математиков. Поскольку Россия готовится пригласить математиков всего мира на престижный Международный конгресс математиков в Санкт-Петербурге в 2022 году, трудно поверить что она посадит в тюрьму одного из светил российской науки и одного из своих самых порядочных граждан", — пишут Richard Thomas и Rahul Pandharipande.
Работы Александра Кузнецова относятся к алгебраической геометрии, одной из важнейших и центральных областей математики, в которой он прославился, в частности, развитием и применением математического аппарата производных категорий. Крупнейшие зарубежные эксперты в этой области Arend Bayer, Tom Bridgeland и Daniel Huybrechts так охарактеризовали вклад Кузнецова:
"В области производных категорий мы восхищаемся красотой и плодотворностью идей Александра Кузнецова, которые во многом сформировали эту область. Мы также знаем его как замечательного коллегу, щедро делящегося своими мыслями и идеями, и тратящего огромное количество времени на помощь молодым исследователем по всему миру. Для молодых исследователей, у него всегда найдется ценными совет или предложение, он всегда готов ответить на их вопросы, прокомментировать их идеи или дать подробный отзыв об их работах. Он действительно образцовый гражданин научного сообщества."
NK
К этим словам присоединяются ведущие представители Французской школы алгебраической геометрии Claire Voisin, Arnaud Beauville и Olivier Debarre. Все они требует немедленного освобождения Александра Кузнецова, и с нетерпением ждут запланированного скорого выступления Кузнецова на всефранцузском семинаре по алгебраической геометрии.
Ведущие представители итальянской школы алгебраической геометрии, одной из старейших и важнейших в мире, были столь же однозначны в оценке происходящего:
"Александр Кузнецов — один из тех редких математиков, которые служат маяком для своей эпохи. Сотни математиков — прямо сейчас — следуют проложенному им курсом. Его стиль и идеи оригинальны до революционности, но в то же время глубоко уходят корнями в замечательную русскую математическую традицию. Саша, вместе со многими другими людьми, мирно высказывает свое мнение. Освободите его, освободите их! Прислушайтесь к его голосу, прислушайтесь к их голосам!” — пишет Enrico Arbarello.
С очень близкими призывами коллеги Энрико по университету и итальянской Академии Наук, включая Corrado De Concini, Claudio Procesi, Kieran G. O'Grady и Edoardo Sernesi. В частности, Kieran G. O'Grady, написал, что "глубокие российские корни Кузнецова и его контакты с математиками из многих других стран делают его идеальным математическим "послом" России. Можно было бы ожидать, что российское государство будет внимательно прислушиваться к таким людям, а не сажать их и их родственников в тюрьму."
Все эти отклики были получены в течении часа с небольшим, около 17:00-18:00, по московскому времени 1 февраля. Хотя американские математики в это время ещё только начинали свой рабочий день, многие из них сразу откликнулись на новости о задержании Александра Кузнецова. В частности, Johan de Jong сообщил что задержание Кузнецова было первой новостью, которую он получил этим утром, и выразил полное согласие с оценками и требованиями процитированными выше. Он отдельно подчеркнул свое восхищение тем, как много Александр делает для молодых поколений математиков. Вторя ему, Emanuele Macrì, Laura Pertusi, Giulia Saccà, и Paolo Stellari выступили от имени всей математической молодежи мира. В частности, они пишут: "Саша открыл новые захватывающие области исследовательской работы для очень многих. Его щедрость по отношению к новым поколениям не имеет себе равных."
Поток писем в поддержку Саши продолжается. Петиция в его поддержку размещенная по адресу https://www.ipetitions.com/petition/free-alexander-kuznetsov собрала свою первую тысячу подписей за 3 часа и 45 минут.
Сам Александр шутит, что почувствовал себя Томом Сойером, побывавшим на собственных похоронах. Обстоятельства своего задержания он называет самыми обычными, "взяли и отвели в автозак". По его словам, "было бы здорово переключить усилия [научного сообщества] на поддержку студентов матфака ВШЭ (ведь Илья Думанский получил 10 суток ареста, Алексей Пискунов — 15 суток, Александр Попкович — 10 суток). Им, в отличие от меня, присудили реальные сроки".
Ниже мы приводим оригиналы обращений от зарубежных коллег в поддержку Александра Кузнецова.
* * *
The detention of Alexander Kuznetsov provoked a vigorous protest from the entire world mathematical community. Here are just a few quotes.
Ведущие представители итальянской школы алгебраической геометрии, одной из старейших и важнейших в мире, были столь же однозначны в оценке происходящего:
"Александр Кузнецов — один из тех редких математиков, которые служат маяком для своей эпохи. Сотни математиков — прямо сейчас — следуют проложенному им курсом. Его стиль и идеи оригинальны до революционности, но в то же время глубоко уходят корнями в замечательную русскую математическую традицию. Саша, вместе со многими другими людьми, мирно высказывает свое мнение. Освободите его, освободите их! Прислушайтесь к его голосу, прислушайтесь к их голосам!” — пишет Enrico Arbarello.
С очень близкими призывами коллеги Энрико по университету и итальянской Академии Наук, включая Corrado De Concini, Claudio Procesi, Kieran G. O'Grady и Edoardo Sernesi. В частности, Kieran G. O'Grady, написал, что "глубокие российские корни Кузнецова и его контакты с математиками из многих других стран делают его идеальным математическим "послом" России. Можно было бы ожидать, что российское государство будет внимательно прислушиваться к таким людям, а не сажать их и их родственников в тюрьму."
Все эти отклики были получены в течении часа с небольшим, около 17:00-18:00, по московскому времени 1 февраля. Хотя американские математики в это время ещё только начинали свой рабочий день, многие из них сразу откликнулись на новости о задержании Александра Кузнецова. В частности, Johan de Jong сообщил что задержание Кузнецова было первой новостью, которую он получил этим утром, и выразил полное согласие с оценками и требованиями процитированными выше. Он отдельно подчеркнул свое восхищение тем, как много Александр делает для молодых поколений математиков. Вторя ему, Emanuele Macrì, Laura Pertusi, Giulia Saccà, и Paolo Stellari выступили от имени всей математической молодежи мира. В частности, они пишут: "Саша открыл новые захватывающие области исследовательской работы для очень многих. Его щедрость по отношению к новым поколениям не имеет себе равных."
Поток писем в поддержку Саши продолжается. Петиция в его поддержку размещенная по адресу https://www.ipetitions.com/petition/free-alexander-kuznetsov собрала свою первую тысячу подписей за 3 часа и 45 минут.
Сам Александр шутит, что почувствовал себя Томом Сойером, побывавшим на собственных похоронах. Обстоятельства своего задержания он называет самыми обычными, "взяли и отвели в автозак". По его словам, "было бы здорово переключить усилия [научного сообщества] на поддержку студентов матфака ВШЭ (ведь Илья Думанский получил 10 суток ареста, Алексей Пискунов — 15 суток, Александр Попкович — 10 суток). Им, в отличие от меня, присудили реальные сроки".
Ниже мы приводим оригиналы обращений от зарубежных коллег в поддержку Александра Кузнецова.
* * *
The detention of Alexander Kuznetsov provoked a vigorous protest from the entire world mathematical community. Here are just a few quotes.
NK
"Alexander Kuznetsov is one of the very brightest mathematical minds of the planet and among the most talented people advancing the sciences in Russia. His ideas have greatly enriched modern mathematics, opening many important directions of its growth, and earning him great respect and recognition around the world. We always listen very carefully to his words, which are invariably full of deep knowledge and insight. Also, to us, he has always been a model of a citizen of his country, a loving and caring father of a large family, a wise colleague and friend. We call on the Russian society to listen to him and to create an environment where such people can peacefully express their opinions and be heard. We consider his detention an outrageous injustice and demand his immediate release", write Igor Krichever, Andrei Okounkov, and Stanislav Smirnov
"Alexander Kuznetsov is one of the world’s leading mathematicians. His deep ideas and theories have a big following across the globe, winning him international prizes. His continued presence in Moscow, despite lucrative offers from top academic institutions around the world, has been of huge benefit to Russian mathematics, helping develop the next generation of mathematicians. As Russia prepares to invite the world’s mathematicians to the prestigious International Congress of Mathematicians in Saint Petersburg in 2022, it seems scarcely believable that she would imprison one of her leading lights and gentlest citizens", write Richard Thomas and Rahul Pandharipande.
Kuznetsov works in algebraic geometry, one of the most important areas of mathematics, in which he is famous, in particular, for his development and applications of derived categories techniques. Prominent international experts in this field, Arend Bayer, Tom Bridgeland, and Daniel Huybrechts, described Kuznetsov's contribution as follows:
"In the field of derived categories, we know Alexander Kuznetsov for his beautiful and seminal scientific contributions that have shaped the field. But we also know him as a wonderful colleague, who shares his ideas and insights freely, and who has spent an enormous amount of time supporting junior researchers around the world with helpful suggestions, by answering their questions, commenting on their ideas or giving detailed feedback on their drafts. He is truly a model citizen of the research community."
Leaders of the French school of algebraic geometry, Claire Voisin, Arnaud Beauville, and Olivier Debarre strongly second these comments. All of them demand the immediate release of Alexander Kuznetsov, and look forward to Kuznetsov's upcoming scheduled presentation at the Paris-Nice algebraic geometry seminar.
Their peers from the Italian school of algebraic geometry, one of the oldest and most important in the world, were equally unambiguous in their assessment of the events.
"Alexander Kuznetsov is one of those rare mathematicians who act as a beacon for their century.
Hundreds of mathematicians are -right now- being guided by his beacon. His style and his ideas are original to the point of revolutionary, while at the same time remaining deeply rooted in the marvelous Russian mathematical tradition. Sasha, together with many other people, is peacefully expressing his opinions. Set him free, set them free. Listen to his voice, listen to their voices”, writes Enrico Arbarello.
Very similar appeals were made by Enrico Arbarello's colleagues from his university and the Italian Academy of Sciences, including Corrado De Concini, Claudio Procesi, Kieran G. O'Grady, and Edoardo Sernesi. In particular, Kieran G. O'Grady, wrote that "Kuznetsov is deeply rooted in Russia, but his contacts with mathematicians from many other countries make him the perfect "ambassador" for Russia. One would expect the Russian state to be keen to listen to such individuals rather than jail them and their kins."
"Alexander Kuznetsov is one of the world’s leading mathematicians. His deep ideas and theories have a big following across the globe, winning him international prizes. His continued presence in Moscow, despite lucrative offers from top academic institutions around the world, has been of huge benefit to Russian mathematics, helping develop the next generation of mathematicians. As Russia prepares to invite the world’s mathematicians to the prestigious International Congress of Mathematicians in Saint Petersburg in 2022, it seems scarcely believable that she would imprison one of her leading lights and gentlest citizens", write Richard Thomas and Rahul Pandharipande.
Kuznetsov works in algebraic geometry, one of the most important areas of mathematics, in which he is famous, in particular, for his development and applications of derived categories techniques. Prominent international experts in this field, Arend Bayer, Tom Bridgeland, and Daniel Huybrechts, described Kuznetsov's contribution as follows:
"In the field of derived categories, we know Alexander Kuznetsov for his beautiful and seminal scientific contributions that have shaped the field. But we also know him as a wonderful colleague, who shares his ideas and insights freely, and who has spent an enormous amount of time supporting junior researchers around the world with helpful suggestions, by answering their questions, commenting on their ideas or giving detailed feedback on their drafts. He is truly a model citizen of the research community."
Leaders of the French school of algebraic geometry, Claire Voisin, Arnaud Beauville, and Olivier Debarre strongly second these comments. All of them demand the immediate release of Alexander Kuznetsov, and look forward to Kuznetsov's upcoming scheduled presentation at the Paris-Nice algebraic geometry seminar.
Their peers from the Italian school of algebraic geometry, one of the oldest and most important in the world, were equally unambiguous in their assessment of the events.
"Alexander Kuznetsov is one of those rare mathematicians who act as a beacon for their century.
Hundreds of mathematicians are -right now- being guided by his beacon. His style and his ideas are original to the point of revolutionary, while at the same time remaining deeply rooted in the marvelous Russian mathematical tradition. Sasha, together with many other people, is peacefully expressing his opinions. Set him free, set them free. Listen to his voice, listen to their voices”, writes Enrico Arbarello.
Very similar appeals were made by Enrico Arbarello's colleagues from his university and the Italian Academy of Sciences, including Corrado De Concini, Claudio Procesi, Kieran G. O'Grady, and Edoardo Sernesi. In particular, Kieran G. O'Grady, wrote that "Kuznetsov is deeply rooted in Russia, but his contacts with mathematicians from many other countries make him the perfect "ambassador" for Russia. One would expect the Russian state to be keen to listen to such individuals rather than jail them and their kins."
NK
All these reactions were received within an hour or so, around 17: 00-18:00 Moscow time on February 1. Although American mathematicians were just starting their work at this hour, many of them immediately responded to the news of the detention of Alexander Kuznetsov. In particular, Johan de Jong wrote that he woke up to the news of the Kuznetsov's detention, and expressed full agreement with the positions and demands cited above. He also stressed his admiration for how much Alexander does for the younger generations of mathematicians. Echoing him, Emanuele Macrì, Laura Pertusi, Giulia Saccà, and Paolo Stellari spoke on behalf of all the mathematical youth of the world. In particular, they write: "Sasha has opened new and thrilling areas of research, which so many researchers around the world are following. His generosity with the new generations is unrivaled."
The outpouring support for Sasha continues. A petition to set him free posted at https://www.ipetitions.com/petition/free-alexander-kuznetsov collected its first thousand signatures in 3 hours and 45 minutes.
https://trv-science.ru/2021/02/akuznet_math/
— Ссылка:
Математики всего мира выступили в поддержку Александра Кузнецова — Троицкий вариант — Наука
The outpouring support for Sasha continues. A petition to set him free posted at https://www.ipetitions.com/petition/free-alexander-kuznetsov collected its first thousand signatures in 3 hours and 45 minutes.
https://trv-science.ru/2021/02/akuznet_math/
— Ссылка:
Математики всего мира выступили в поддержку Александра Кузнецова — Троицкий вариант — Наука
NK
📢 Репост из группы Кафедра математической логики МГУ:
#матлог #учёба #спецкурс
Спецкурс: Неклассические логики http://www.mathnet.ru/conf1842
Лектор: Т.Л. Яворская
Время и место: понедельник 11:30 – 12:55, Zoom.
Для получения ссылки на Zoom нужно заполнить регистрационную форму по ссылке выше. Лекции будут записываться на видео и публиковаться на странице курса.
Первая лекция: 8 февраля
Курс читается в рамках программы базовой кафедры МИАН "Методы современной математики" в Московском физико-техническом институте.
Курс посвящен введению в один базовых разделов современной логики - исследование неклассических логик. Среди всего разнообразия таких систем в курсе рассматривается пропозициональная интуиционистская логика и наиболее известные модальные логики (среди них минимальная нормальная логика K и ее расширения K4, S4, S5, GL и т.д.) В качестве основного инструмента для изучения этих логик рассматриваются модели Крипке. Доказываются теоремы о полноте и различные следствия из них, в частности, Геделевский перевод интуиционистской логики в модальную логику S4. Для интуиционистской логики и логики S4 рассматривается топологическая семантика, устанавливается ее связь с семантикой Крипке и теоремы о полноте. Мы определяем доказуемостную интерпретацию модальности, доказываем теорему Соловея о полноте логик GL и S в этой интерпретации. В заключении рассматриваются логики с несколькими модальностями, некоторые приложения модальной логики как логики знаний (эпистемическая логика) и логики времени (темпоральная логика).
Курс рассчитан на студентов, прослушавших вводный курс математической логики.
#матлог #учёба #спецкурс
Спецкурс: Неклассические логики http://www.mathnet.ru/conf1842
Лектор: Т.Л. Яворская
Время и место: понедельник 11:30 – 12:55, Zoom.
Для получения ссылки на Zoom нужно заполнить регистрационную форму по ссылке выше. Лекции будут записываться на видео и публиковаться на странице курса.
Первая лекция: 8 февраля
Курс читается в рамках программы базовой кафедры МИАН "Методы современной математики" в Московском физико-техническом институте.
Курс посвящен введению в один базовых разделов современной логики - исследование неклассических логик. Среди всего разнообразия таких систем в курсе рассматривается пропозициональная интуиционистская логика и наиболее известные модальные логики (среди них минимальная нормальная логика K и ее расширения K4, S4, S5, GL и т.д.) В качестве основного инструмента для изучения этих логик рассматриваются модели Крипке. Доказываются теоремы о полноте и различные следствия из них, в частности, Геделевский перевод интуиционистской логики в модальную логику S4. Для интуиционистской логики и логики S4 рассматривается топологическая семантика, устанавливается ее связь с семантикой Крипке и теоремы о полноте. Мы определяем доказуемостную интерпретацию модальности, доказываем теорему Соловея о полноте логик GL и S в этой интерпретации. В заключении рассматриваются логики с несколькими модальностями, некоторые приложения модальной логики как логики знаний (эпистемическая логика) и логики времени (темпоральная логика).
Курс рассчитан на студентов, прослушавших вводный курс математической логики.
n
Добрый день!
помогите, пожалуйста, если не сложно.
Собственно, задача такая: есть матрица переходных состояний, причём некоторые состояния конечны. необходимо рассчитать вероятность перехода в каждое конечное состояние. пример дан такой:
исходная матрица:
0, 1, 0, 0, 0, 1 -> с этого вектора мы начинаем
4, 0, 0, 3, 2, 0
остальные 4 строки - конечные состояния. ответ приводится такой:
0, 3/14, 2/14, 9/14 -> каждое число - вероятность оказаться в указанном конечном состоянии.
Я понимаю, что это цепь Маркова, но несмотря на это, не понимаю, как получился ответ для примера... можете, пожалуйста, растолковать мне (хотя бы пример, ну или как вообще такое решать)
помогите, пожалуйста, если не сложно.
Собственно, задача такая: есть матрица переходных состояний, причём некоторые состояния конечны. необходимо рассчитать вероятность перехода в каждое конечное состояние. пример дан такой:
исходная матрица:
0, 1, 0, 0, 0, 1 -> с этого вектора мы начинаем
4, 0, 0, 3, 2, 0
остальные 4 строки - конечные состояния. ответ приводится такой:
0, 3/14, 2/14, 9/14 -> каждое число - вероятность оказаться в указанном конечном состоянии.
Я понимаю, что это цепь Маркова, но несмотря на это, не понимаю, как получился ответ для примера... можете, пожалуйста, растолковать мне (хотя бы пример, ну или как вообще такое решать)
NK
Совсем большой стал!
📢 Репост из группы Кафедра теории вероятностей:
💣💣💣
Начинает работу Большой кафедральный семинар.
Весенняя страничка семинара: https://sites.google.com/view/bks2021/
В весеннем семестре 2021 года семинар будет проходить один раз в две недели по средам с 16.45 до 17.45 (мск) в формате Zoom-конференции, постоянная ссылка: http://bit.ly/bks_terver_2021
⚠10 февраля
Йордан Стоянов (Институт математики и информатики, Болгарская академия наук) Случайные величины, распределения, функциональные уравнения.
— Ссылка:
БКС кафедры теории вероятностей
📢 Репост из группы Кафедра теории вероятностей:
💣💣💣
Начинает работу Большой кафедральный семинар.
Весенняя страничка семинара: https://sites.google.com/view/bks2021/
В весеннем семестре 2021 года семинар будет проходить один раз в две недели по средам с 16.45 до 17.45 (мск) в формате Zoom-конференции, постоянная ссылка: http://bit.ly/bks_terver_2021
⚠10 февраля
Йордан Стоянов (Институт математики и информатики, Болгарская академия наук) Случайные величины, распределения, функциональные уравнения.
— Ссылка:
БКС кафедры теории вероятностей
RB
тоха че случилось?
AS
тоха че случилось?
Я теперь всегда такой ромочка
2021 February 03
ЯЗ
Я теперь всегда такой ромочка
На сырки скидка в пятёре, не грусти.
СМ
На сырки скидка в пятёре, не грусти.
ты зачем о Б.Ю. напомнил......
ЯЗ
ты зачем о Б.Ю. напомнил......
Зачем б.ю.? я про Простоквашино