Поздравляем сотрудников кафедры МаТИС доц. Пантелеева П.А. и м.н.с. Калачева Г.В. с получением награды за лучшую статью на ежегодном симпозиуме ACM по теории вычислений (STOC 2022) за работу «Асимптотически хорошие квантовые и локально трестируемые классические LDPC коды».

24-31 августа в пансионате МГУ "Красновидово" пройдет первая студенческая летняя школа "Машинное обучение, нейронные сети и верификация программ".

Руководитель школы – доцент кафедры МаТИС Андрей Михайлович Миронов.

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

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

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

Участники летней школы, обучающиеся в рамках потока по верификации программ методами искусственного интеллекта, получат необходимые знания, навыки и компетенции для полноценного старта научных исследований и практической деятельности в области применения систем искусственного интеллекта для формальной верификации программного обеспечения. Будет предоставлена необходимая теоретическая база, а также будут показаны практические применения верификации для осознания участниками школы основной задачи верификации. Школа также даст компетенции и в других областях, например, системах распределенного реестра (технологии блокчейн), а также смарт-контрактах: в одном из блоков программы будут рассмотрены ключевые особенности протоколов распределенного реестра с их последующей верификацией. Участникам будет показано несколько методов формальной верификации, которые применяются в зависимости от поставленной задачи, данная школа ставит перед собой цель – развить у обучающихся навыки для верификации в выбранной ими области. Также участники получат необходимые компетенции в функциональном программировании, которые требуются при реализации индустриальных проектов.

Участие, проживание, питание и транспорт для участников летней школы, прошедших конкурсный отбор, бесплатные.

Более подробная информация о школе будет размещаться на страничке https://vk.com/mm_ml_school_2022

Кандидатам на участие в школе необходимо зарегистрироваться по ссылке https://forms.gle/Me3ZGqfnhLsjet7A7

Кафедра Математической теории интеллектуальных систем поздравляет аспиранта Комкова Степана Алексеевича с успешной защитой диссертации "Темпы роста произвольных конечных структур" на соискание степени кандидата физико-математических наук.

В среду, 18 мая, на заседании кафедрального семинара "Теория автоматов" состоится доклад А.А. Ирматова "Асимптотика числа пороговых функций и асимптотика числа вырожденных {±1}-матриц".

Заседание состоится в 18-30 в zoom-конференции

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982

Passcode: 965515

Аннотация доклада

Заседание кафедры МаТИС пройдет сегодня в 18.30 в zoom конференции:

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982

Passcode: 965515

В среду 20 апреля в 18.30 в рамках спецсеминара ректора МГУ В.А.Садовничего «Время, хаос и математические проблемы» состоится доклад Э.Э.Гасанова, А.Ю.Кравцова, Р.Р.Юсупова, А.Ю.Дроздова «Российские микросхемы». Семинар будет проходить в дистанционном формате. Ссылка для подключения и дополнительная информация о докладе будет размещена сайте https://expert.msu.ru/.

Аннотация: В докладе будет рассказано о проекте создания предприятия по проектированию и производству микросхем и изделий на их основе, которое планируется организовать в технологическом кластере «Долина МГУ». Будет рассказано задачах предприятия и о командах-учредителях предприятия, а именно о АО «Крафтвэй корпорэйшн ПЛС» (Крафтвэй), ЗАО «Оптимизирующие технологии» (ТимТех) и о кафедре математической теории интеллектуальных систем (МаТИС). Также будет рассказано об интересных инженерных и научных задачах, которые возникали в процессе проектирования микросхем, в частности, о новых достижениях в теории управляющих систем и в теории помехоустойчивого кодирования.

В среду, 13 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад А.Н. Кана "Вопросы выразимости в классах кусочно-линейных функций".

Заседание состоится в 18-30 в zoom-конференции

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982

Passcode: 965515

Анонс доклада:

Кусочно-линейные функции используются при проектировании искусственных нейронных сетей, к ним относятся суперпозиции из линейных функций и ReLU. Работа продолжает исследования В.С. Половникова по выразимости через суперпозиции в классах кусочно-линейных функций, содержащих линейные функции. При этом ограничении для класса кусочно-линейных функций найдены предполные классы. Одним из них является класс согласованных функций, который содержит единственный предполный подкласс, включающий линейные функции. Показано, что любая кусочно-линейная непрерывная функция двух переменных выражается через линейные функции и ReLU. Построена решетка одноместных следов замкнутых классов кусочно-линейных функций с рассматриваемым ограничением.

7 апреля (четверг) в 16:45 состоится встреча кафедры со студентами 2 курса.

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

https://us02web.zoom.us/j/86856372603?pwd=U0t1dUlmN1A1YTI1d3QrY2dtUXZadz09

Код доступа: 576004

В аудитории будет организовано подключение к конференции и трансляция.

6 апреля, в 16.45 в ауд. 1225 состоится защита кандидатской диссертации Дмитрия Ронжина «Линейные автоматы над подкольцами рациональных чисел».

В среду, 23 марта, на заседании кафедрального семинара "Теория автоматов" состоится доклад А.А. Ефимова "Оценки энергопотребления объёмных схем".

Заседание состоится в 18-30 в zoom-конференции

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982

Passcode: 965515

Анонс доклада:

Ещё в середине XX века в связи с интенсивным развитием вычислительной техники возникла задача синтеза схем, вычисляющих булевы функции и операторы. Одной из основных и наиболее подробно исследованных моделей схем является схема из функциональных элементов (СФЭ). В качестве характеристики оптимальности СФЭ можно рассматривать сложность – количество функциональных элементов, содержащихся в схеме. Таким образом, под сложностью булевой функции или оператора будем понимать минимальную сложность схемы, реализующую данную функцию или оператор.

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

В докладе рассматриваются объёмные схемы, являющиеся укладкой схем функциональных элементов в пространстве. Был рассмотрен класс объёмных схем, реализующих булевы операторы. Для этого класса получены верхняя и нижняя оценка потенциала – меры мощности, равной количеству элементов схемы, выдающих единицу на данном входном наборе. Получен порядок функции Шеннона потенциала для класса всюду определенных операторов для объёмных схем без ограничений и схем с близкими выходами, а также нижняя оценка для частичных операторов.

На семинаре «Теория дискретных функций и приложения» под руководством проф. Бабина Д.Н. в понедельник, 21 марта в 16:45 состоится доклад аспиранта Ищенко Р.А. «Математические методы в банковских задачах».

Код конференции:

https://us04web.zoom.us/j/4528320761?pwd=cWo0SWpKUUxnRUxJWWlrMzhkOG1udz09

Meeting ID: 452 832 0761

Passcode: 8gdJck

На семинаре «Теория дискретных функций и приложения» под руководством проф. Бабина Д.Н. в понедельник, 14 марта в 16:45 состоится доклад аспиранта Муравьёва Н.В. «О порядках конечных автоматов».

https://us04web.zoom.us/j/4528320761?pwd=cWo0SWpKUUxnRUxJWWlrMzhkOG1udz09

Meeting ID: 452 832 0761

Passcode: 8gdJck

В среду, 9 марта, на заседании кафедрального семинара "Теория автоматов" состоится доклад Д.Н. Жука "Предикаты k-значной логики и задача удовлетворения ограничениям".

Заседание состоится в 18-30 в zoom-конференции

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982

Passcode: 965515

Анонс доклада:

В 1969 году была открыта удивительная связь между функциями и предикатами, а именно, было построено взаимно-однозначное соответствие между замкнутыми классами функций и замкнутыми классами предикатов. Несмотря на этот результат, многие годы именно функции были главным объектом исследований, а предикаты (отношения) оставались вспомогательным инструментом для описания предполных и замкнутых классов.

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

В среду, 2 марта, на заседании кафедрального семинара "Теория автоматов" состоится доклад П.А. Пантелеева и Г.В. Калачева "Асимптотически хорошие семейства классических и квантовых LDPC кодов".

Заседание состоится в 18-30 в zoom-конференции

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982

Passcode: 965515

Анонс доклада:

Классические LDPC коды являются важными компонентами современных систем хранения и передачи данных. Их квантовые аналоги (qLDPC коды) обещают значительную экономию ресурсов в протоколах для отказоустойчивых квантовых вычислений. Начиная с основополагающей работы Роберта Галлагера в начале 1960-х годов было известно, что существуют асимптотически хорошие семейства классических LDPC кодов, т. е. семейства, где размерность и минимальное расстояние растет линейно с ростом длины кода. Более того, 35 лет спустя Сипсер и Спилмен нашли эффективный способ построения таких кодов на основе графов расширителей (экспандерные коды). В то же время, вопрос о существовании асимптотически хороших квантовых LDPC кодов (qLDPC гипотеза) оставался открытым уже более двух десятилетий.

В докладе будет рассказано об аналоге экспандерных кодов Сипсера и Спилмена, позволяющем строить асимптотически хорошие семейства квантовых LDPC кодов на основе первых групп гомологий некоторого двумерного цепного комплекса, что доказывает qLDPC гипотезу. Более того, будет продемонстрировано как рассматривая вторые группы гомологий полученных цепных комплексов можно доказать существование классических локально тестируемых кодов с оптимальными асимптотическими параметрами, что в свою очередь решает другую важную открытую проблему, называемую c^3-гипотезой, ответ на которую также недавно независимо был получен в работе arXiv: 2111.04808.

В выступлении предполагается дать обзор конструкции и показать некоторые основные идеи, используемые в доказательстве, такие как понятие локальной минимальности, заимствованное из теории многомерных расширителей. Доклад основан на совместной работе с Г. В. Калачевым (arXiv: 2111.03654).

16 февраля, в среду состоится защита диссертации Ищенко Романа Андреевича на соискание ученой степени кандидата физико-математических наук на тему «О свойствах разложимых графов».

Официальное время начала защиты – 16:45, ауд 14-08. Научный руководитель – д.ф.-м.н., профессор Бабин Д.Н. Официальные оппоненты – профессор, д.ф.-м.н. Фролов А.Б., доцент, д.ф.-м.н. Романов Д.С., к.ф.-м.н. Пархоменко Д.В.

Математики МГУ предложили нейросеть для эффективного мониторинга качества дорожного покрытия

Ученые МГУ представили собственную комбинацию известных методов на основе архитектуры нейросети U-Net. Разработка точно и надежно обнаруживает трещины на изображениях дорожного полотна, превосходя аналоги по эффективности и скорости. Подход может дать начало новым системам мониторинга дорог в реальном времени, что поможет улучшить обслуживание отечественной инфраструктуры и обеспечить ее безопасность. Результатами своего исследования математики поделились на страницах журнала IEEE Access.

В 2019 году стартовал национальный проект «Безопасные качественные дороги», одна из основных задач которого — улучшить состояние трасс и магистралей. На данный момент и половина дорог регионального значения не соответствует нормативным требованиям, при этом около трети всех ДТП происходит из-за плохого дорожного покрытия. Именно поэтому необходимо разрабатывать новые способы отслеживания появляющихся дефектов, чтобы устранять их еще на ранних этапах.

Сотрудники НОШ МГУ «Мозг, когнитивные системы, искусственный интеллект» разработали практический метод для мониторинга качества дорожного покрытия.

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

В основу разработки легла архитектура сверточной нейросети U-Net, которую изначально создали для сегментации биомедицинских изображений, то есть их разделения на сегменты (например, пиксели). Проблемы при решении этой задачи почти такие же, как и при работе с фотографиями дефектных дорог: большое разнообразие форм искомого объекта, низкая контрастность, плохо видимые границы и прочие. Авторы использовали различные подходы к обработке изображений, двухэтапную процедуру обучения нейросети градиентными методами с эффективными функциями потерь, а также предложили быстрые методы оценки качества сегментирования. Сравнение с другой аналогичной системой показало превосходство разработки московских математиков и по эффективности, и по скорости.

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

Результаты работы выложены в общественный доступ и могут быть использованы другими исследователями.

Прощание с Валерием Борисовичем Кудрявцевым состоится 28 декабря в 12:00 в Доме культуры МГУ.

Отпевание состоится 28 декабря в 14:00 в храме Иоанна Предтечи на Хованском Центральном кладбище по адресу Москва, Сосенское поселение, Подмосковная улица, д.1 стр. 3 (координаты 55.606870, 37.448045). Автобус от Дома культуры МГУ отправится в 13:15.

Место захоронения: Хованское Центральное кладбище, участок № 42и (координаты 55.613204, 37.440368).

Ректорат и механико-математический факультет МГУ имени М.В. Ломоносова с глубоким прискорбием сообщают, что 23 декабря 2021 г. скончался выдающийся деятель науки и культуры России, заведующий кафедрой «Математической теории интеллектуальных систем», доктор физико-математических наук, профессор Валерий Борисович Кудрявцев (04.07.1936-23.12.2021).

Кудрявцев В.Б. родился в городе Егорьевске Московской области в семье военнослужащего. После окончания в 1955 г. средней школы с золотой медалью он поступил на механико-математический факультет МГУ им. М. В. Ломоносова, с которым оказалась связанной вся его научная и педагогическая деятельность: на факультете он прошел весь путь от студента и аспиранта до профессора и заведующего кафедрой.

В 1964 г. В. Б. Кудрявцев защитил кандидатскую диссертацию, в 1972 г. защитил докторскую диссертацию по теории функциональных систем. С 1974 г. В. Б. Кудрявцев работал заместителем декана механико-математического факультета сначала по международным связям, а затем заместителем декана по научно-исследовательской части и проработал на этом посту до 1986 г., внеся значимый вклад в развитие факультета и превращение его в ведущий центр фундаментальных и прикладных исследований.

С 1986 г. В. Б. Кудрявцев заведует вновь созданной на факультете лабораторией теоретической кибернетики, которая входила в созданный ректором МГУ В.А. Садовничим «Отдел прикладных исследований по математике и механике».

В 1991 году В.Б. Кудрявцев выступил с инициативой создания новой кафедры – «Математической теории интеллектуальных систем»- и стал ее первым заведующим.

За прошедшие годы кафедра превратилась в крупнейший учебно-научный центр России, в котором под руководством В.Б. Кудрявцева широким фронтом велись фундаментальные и прикладные работы по современным направлениям науки.

С 2006 г. по 2018 г. В. Б. Кудрявцев руководил филиалом Московского государственного университета им. М. В. Ломоносова в Ташкенте, который под его руководством достиг больших успехов в подготовке кадров высшей квалификации для Республики Узбекистан.

Научные интересы В. Б. Кудрявцева охватывали различные области дискретной математики, математической кибернетики и информатики. Ему принадлежат фундаментальные результаты в теории автоматов, дискретных функций, распознавания образов, интеллектуальных систем и др. Полученные В.Б. Кудрявцевым результаты опубликованы более чем в 230 статьях, 17 книгах, в 35 патентах США по микроэлектронике. В. Б. Кудрявцевым создана большая научная школа, включающая 27 докторов и 88 кандидатов наук по математике и её приложениям.

В 1996 г. В. Б. Кудрявцев основал журнал «Интеллектуальные системы» и был бессменным главным редактором этого издания, являясь одновременно заместителем главного редактора журнала «Дискретная математика». Многие годы В. Б. Кудрявцев входил в состав советов по защите докторских диссертаций и ВАК, являлся членом Ученого совета механико-математического факультета.

Достижения В. Б. Кудрявцева были отмечены избранием его академиком РАТН, РАЕН и МАИ, ему присвоены звания «Заслуженный деятель науки РФ» и «Заслуженный профессор МГУ», он был избран почётным доктором Белградского университета.

Родные и близкие, друзья и коллеги скорбят о невосполнимой утрате…

С 29 ноября по 3 декабря проводится XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», приуроченная к 85-летию со дня рождения профессора Московского университета В.Б. Кудрявцева. Более подробную информацию можно найти на сайте: https://event.msu.ru/aiconference.

В среду, 17 ноября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад С.А. Комкова "Темпы роста произвольных конечных структур".

Заседание состоится в 18-30 в смешанном формате. Очная часть будет проведена в аудитории 1201 (кафедра МаТИС), дистанционная – в zoom-конференции

Meeting ID: 886 6514 1982
Passcode: 965515

Анонс доклада:

В докладе будут представлены результаты автора, полученные в рамках исследования темпов роста произвольных конечных структур. Темп роста – характеристика, описывающая силу и исчислимость множества операций, заданных на структуре. Известно, что это не просто количественная характеристика. От темпа роста некоторой внутренней структуры задачи может зависеть класс сложности этой задачи. Исследование темпов роста ведётся с 70-х годов прошлого века. Однако ранее исследователи ограничивались в основном алгебраическими методами. Рассмотрение конечной структуры как пары (k-значная логика, множество функций k-значной логики) позволяет получить новые интересные результаты.

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

В среду, 10 ноября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад Д.Н. Жука "О решетке замкнутых классов функций по модулю гомоморфной и минорной эквивалентностей".

Заседание состоится в 18-30 в zoom-конференции

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982
Passcode: 965515

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

В среду, 20 октября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад Д.В. Алексеева и С.А. Нерсисяна "Моделирование динамики COVID-19 в клетках инфицированного организма".

Заседание состоится в 18-30 в смешанном формате. Очная часть будет проведена в аудитории 1201 (кафедра МаТИС), дистанционная – в zoom-конференции
https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09
Meeting ID: 886 6514 1982
Passcode: 965515

Анонс доклада:

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

В среду, 20 октября, в 15:00 на семинаре "Вопросы сложности алгоритмов поиска" под руководством д.ф.-м.н, профессора Гасанова Э.Э. с докладом "Нижняя оценка числа состояний клеточного автомата, реализующего двунаправленное движение на луче со скоростью движения вперёд 1/3" выступит Екатерина Кузнецова.

Форма проведения – онлайн (zoom):

https://us02web.zoom.us/j/9423397823?pwd=NS90YzgyVUxrL3VtaTB1M0xKdFlsdz09

Идентификатор конференции: 942 339 7823

Код доступа: 944214

Аннотация доклада

В докладе рассматривается движение точки на экране, который реализован, как клеточный автомат на бесконечной в правую сторону полосе шириной в одну клетку. Изучается класс законов движения этого автомата, для которых движение вперёд возможно со скоростью, не большей, чем 1/3. Движение вперёд на одну клетку осуществляется с двумя остановками. Возможно движение назад со скоростью 1, также точка может стоять на месте произвольное количество тактов.

Доказано, что невозможно построить клеточный автомат с количеством состояний, меньшим пяти, реализующий законы движения из рассматриваемого класса. Результат получен для случая, когда до появления точки на экране все клетки находятся в состоянии покоя.

Кафедра Математической теории интеллектуальных систем сердечно поздравляет Анатолия Александровича Часовских с успешной защитой докторской диссертации на тему "Полнота и выразимость в классах линейных автоматов".

С 29 ноября по 3 декабря 2021 года будет проходить XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», приуроченная к 85-летию со дня рождения В.Б. Кудрявцева. В приложении – первое информационное письмо.

В среду, 13 октября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад Р. А. Ищенко "Восстановление диаграммы переходов автомата по его графу".

Заседание состоится в 18-30 в смешанном формате. Очная часть будет проведена в аудитории 1201 (кафедра МаТИС), дистанционная – в zoom-конференции:

https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09

Meeting ID: 886 6514 1982
Passcode: 965515

Анонс доклада:

Если мы сотрем все отметки на ребрах диаграммы Мура, то получим ориентированный граф. Обратная задача гораздо сложнее. В докладе рассматривается вопрос, в каких случаях ребра ориентированного графа можно разметить так, чтобы получить диаграмму Мура автомата заданного класса (группового, дефинитного, абелевого), оценить число решений этой задачи, а также получить условия, когда такое восстановление единственно и существует эффективный алгоритм для осуществления данной разметки.

1-9 ноября 2021 в университете Сириус (г. Сочи) состоится студенческая школа "Формальные методы дизайна и верификации программного обеспечения", подробности можно найти на странице https://sochisirius.ru/obuchenie/graduates/smena1089/5250.

Описание учебной программы можно найти по адресу https://docs.google.com/document/d/1olGc2eUTwFKynSGaw73NrrwrRkOWxtXR/edit?usp=sharing&ouid=105126782492556654297&rtpof=true&sd=true.

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

Участие в школе бесплатное, включая перелет из Москвы в Сочи и обратно.

Уважаемые слушатели и потенциальные участники нового набора программы SHARE 2021-2023!

Онлайн презентация программы SHARE 2021-2023 пройдет 30 сентября в 17.00. Для участия в презентации, пожалуйста, заполните анкету на Timepad.

Ссылка на подключение к онлайн-встрече будет выслана на указанный Вами в анкете e-mail.

Заполнить анкету для участия в конкурсном отборе на программу SHARE 2021-2023 можно до 2 октября 18.00 по ссылке: https://forms.yandex.ru/b2b/61449a6ea334c3fe7b462fd4/.

По всем организационным вопросам просьба писать на почту SHARE@intsys.msu.ru либо в Telegram ответственному секретарю программы, Кочетковой Татьяне, +79255976919

В четверг, 23 сентября в 16:45 на спецсеминаре «Теория дискретных функций и приложения» под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л. состоится доклад Д.А. Шачнева «Методы поиска экспертов в CRIS-системах с учётом тематической принадлежности и значимости результатов». Доклад о работающей системе автоматической обработки естественных языков.

Код конференции:
https://us04web.zoom.us/j/4528320761?pwd=cWo0SWpKUUxnRUxJWWlrMzhkOG1udz09.

В среду, 22 сентября в 15:00 на семинаре "Вопросы сложности алгоритмов поиска" под руководством д.ф.-м.н, профессора Гасанова Э.Э. с докладом "Построение кратчайшего пути клеточными автоматами с локаторами при наличии препятствий" выступит Артем Пропажин.

Форма проведения – онлайн (zoom):
https://us02web.zoom.us/j/9423397823?pwd=NS90YzgyVUxrL3VtaTB1M0xKdFlsdz09
Идентификатор конференции: 942 339 7823
Код доступа: 944214

В среду, 22 сентября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В. Б. Кудрявцева состоится доклад Д. В. Ронжина "О полноте в классе линейных автоматов, функционирующих над бесконечными структурами".

Заседание состоится в 18-30 в смешанном формате. Очная часть будет проведена в аудитории 1201 (кафедра МаТИС), дистанционная – в zoom-конференции

Meeting ID: 848 7171 6165
Passcode: 495724

Анонс доклада:
В докладе будут представлены результаты исследования вопросов полноты по операциям суперпозиции (S) и композиции (K), а также А-замыкания в классе линейных автоматов, функционирующих над полем рациональных чисел и кольцом двоично-рациональных чисел. В случае поля рациональных чисел показано отсутствие конечных К-полных систем, а также наличие счетных К-полных и S-полных систем. Также показано наличие S-полных систем, не содержащих базиса. В случае двоично-рациональных чисел выделен счетный набор А-предполных классов, и в терминах данных классов сформулированы условия А-полноты систем линейных автоматов с добавками. Исследован вопрос алгоритмической разрешимости проверки непринадлежности конечных систем линейных автоматов найденным А-предполным классам, а также вопросы конечной порожденности по операциям А-замыкания упомянутых А-предполных классов.

15 сентября в 15:00 на семинаре "Вопросы сложности алгоритмов поиска" под руководством д.ф.-м.н, профессора Гасанова Э.Э. состоится доклад выпускника кафедры МаТИС Ронжина Дмитрия Владимировича.

Тема доклада: .Линейные автоматы над подкольцами рациональных чисел.

Аннотация: Одной из классических задач теории автоматов является задача проверки полноты конечных автоматных систем по заданным операциям замыкания. Известно, что на множестве конечных автоматов задачи проверки конечных автоматных систем на А-полноту и К-полноту являются алгоритмически неразрешимыми, однако в случае линейных автоматов, функционирующих над конечными полями Часовских Анатолием Александровичем было показано, что эти же задачи являются алгоритмически разрешимыми.

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

Форма проведения – онлайн (zoom):
https://us02web.zoom.us/j/9423397823?pwd=NS90YzgyVUxrL3VtaTB1M0xKdFlsdz09
Идентификатор конференции: 942 339 7823
Код доступа: 944214