Объявления

12.12.18   Памяти Михаила Михайловича Глухова

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

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

Коллектив кафедры математической теории интеллектуальных систем механико-математического факультета МГУ выражает искренние соболезнования родным и близким Михаила Михайловича.

Память о Михаиле Михайловиче навсегда остается в наших сердцах.

Кафедра МаТИС


10.12.18   26 декабря – аттестация аспирантов кафедры МаТИС

26 декабря в 10:00 на кафедре МаТИС состоится аттестация аспирантов кафедры.


10.12.18   13 декабря – зачёт по МФК "Введение в дискретную математику"

Зачёт по МФК "Введение в дискретную математику" (лектор – профессор Козлов В.Н.) состоится в четверг, 13 декабря, в 14 час. 30 мин. в ауд. 16-24 ГЗ МГУ.


06.12.18   12 декабря – заседание кафедры МаТИС, посвященное памяти проф. В.А. Буевича

В среду, 12 декабря, в 17:00 состоится заседание кафедры МаТИС, посвященное памяти профессора Вячеслава Александровича Буевича (09.01.1941 – 25.11.2018).


27.11.18   5 декабря – доклад м.н.с. Коновалова А.Ю. "Обобщенная реализуемость для языка арифметики и логики предикатов" на кафедральном семинаре "Теория автоматов"

В среду, 5 декабря, в 18 час. 30 мин. в ауд. 12-26а на заседании кафедрального семинара «Теория автоматов» под руководством академика Кудрявцева В.Б. состоится доклад м.н.с. Коновалова А.Ю. на тему "Обобщенная реализуемость для языка арифметики и логики предикатов". Приглашаются все желающие.

Аннотация.

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


26.11.18   ПАМЯТИ ВЯЧЕСЛАВА АЛЕКСАНДРОВИЧА БУЕВИЧА

09.01.1941 – 25.11.2018

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

ВЯЧЕСЛАВ АЛЕКСАНДРОВИЧ БУЕВИЧ

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

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

Гражданская панихида состоится в среду 28 ноября в 10 час. 30 мин. в крематории Хованского кладбища.


17.11.18   21 ноября – доклад с.н.с. И.Л. Мазуренко "Распознавание лиц" на кафедральном семинаре "Теория автоматов"

В среду, 21 ноября, в 18 час. 30 мин. в ауд. 12-26а на заседании кафедрального семинара «Теория автоматов» под руководством академика Кудрявцева В.Б. состоится доклад с.н.с. И.Л. Мазуренко на тему "Распознавание лиц". Приглашаются все желающие.

Аннотация.

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


10.11.18   14 ноября – доклад доц. Е.В. Битюцкой "Типы ориентаций в трудных ситуациях" на семинаре проф. Э.Э. Гасанова «Вопросы сложности алгоритмов поиска»

В среду, 14 ноября, в 15.00 в ауд. 1225 на семинаре «Вопросы сложности алгоритмов поиска» под руководством профессора Э. Э. Гасанова состоится доклад кандидата психологических наук, доцента Екатерины Владиславовны Битюцкой на тему "Типы ориентаций в трудных ситуациях".


08.11.18   14 ноября – доклад с.н.с. А.В. Галатенко "О полиномиальной полноте конечных квазигрупп" на кафедральном семинаре "Теория автоматов"

В среду, 14 ноября, в 18 час. 30 мин. в ауд. 12-26а на заседании кафедрального семинара «Теория автоматов» под руководством академика В. Б. Кудрявцева состоится доклад с.н.с. Алексея Владимировича Галатенко на тему "О полиномиальной полноте конечных квазигрупп".

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

Конечной квазигруппой называется конечное множество Q с бинарной операцией f такой, что для любых a и b из Q уравнения f(x,a)=b и f(a,y)=b однозначно разрешимы. Таблица Кэли квазигрупповой операции представляет из себя латинский квадрат. Квазигруппа называется полиномиально полной, если система из функции f и всех констант из Q полна относительно операции суперпозиции.

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


04.11.18   7 ноября – доклад м.н.с. П.С. Дергача "О языках, устойчивых относительно операций выпадения, вставки" на кафедральном семинаре "Теория автоматов"

В среду, 7 ноября, в 18 час. 30 мин. в ауд. 12-26а на заседании кафедрального семинара «Теория автоматов» под руководством академика В. Б. Кудрявцева состоится доклад м.н.с. Петра Сергеевича Дергача на тему "О языках, устойчивых относительно операций выпадения, вставки".

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

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

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

..
28.09.18   31 октября – доклад Кирилла Голикова "Обучение устройств с дискретным управлением" на кафедральном семинаре "Теория автоматов"

В среду, 31-го октября, в 18 час. 30 мин. в ауд. 12-26а на заседании кафедрального семинара «Теория автоматов» под руководством академика В. Б. Кудрявцева состоится доклад Кирилла Голикова "Обучение устройств с дискретным управлением".

Аннотация

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


28.09.18   17 октября – доклад С. В. Моисеева «Решётка всех клонов на трёхэлементном множестве, задаваемых бинарными предикатами» на кафедральном семинаре "Теория автоматов"

В среду, 17-го октября на заседании кафедрального семинара «Теория автоматов» под руководством академика В. Б. Кудрявцева состоится доклад С. В. Моисеева «Решётка всех клонов на трёхэлементном множестве, задаваемых бинарными предикатами». Место проведения семинара — ауд. 12-26а ГЗ МГУ, время — 18:30. Приглашаются все желающие.

Аннотация

В 2016-ом году автором была описана решётка всех клонов трёхзначной логики, которые могут быть заданы как классы сохранения некоторого множества бинарных предикатов. Оказалось, что существует ровно 2,079,040 таких клонов. В докладе будет рассмотрен этот результат, а также множество других фактов, выявленных в ходе работы над основным результатом.


28.09.18   03 октября – доклад с.н.с. Д.Н. Жука "Жизнь после описания сложности задачи удовлетворения ограничениям" на кафедральном семинаре "Теория автоматов"

В среду, 03 октября на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д.Н. Жука "Жизнь после описания сложности задачи удовлетворения ограничениям". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

Аннотация

В 2017 году была описана сложность задачи удовлетворения ограничениям на конечном множестве в зависимости от языка ограничений, что являлось основной открытой проблемой в данной области на протяжении 20 лет. В докладе будет рассмотрен как этот результат, так и некоторые вариации и обобщения, которые до сих пор остаются открытыми проблемами и к которым сейчас приковано основное внимание. В частности, будет рассмотрено обобщение, где помимо кванторов существования допускаются также кванторы всеобщности (Quantified CSP), задача удовлетворения ограничениям на бесконечном множестве, задача удовлетворения ограниченям с обещанием (Promise CSP) и некоторые другие.


27.09.18   Объявление о спецкурсе "Математические методы цифровой обработки сигналов и изображений"

Спецкурс "Математические методы цифровой обработки сигналов и изображений" читается по субботам, с 16:45, ауд. 12-02. Спецкурс читает с.н.с. Мазуренко Иван Леонидович.

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


22.09.18   26 сентября – доклад проф. Подколзина А.С. "Компьютерное моделирование логических процессов" на кафедральном семинаре "Теория автоматов"

В среду, 26.09.18, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад проф. Подколзина А. С."Компьютерное моделирование логических процессов". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

 

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

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


16.09.18   19 сентября – доклады Курганова Е.А. "Оптимизация аппаратных реализаций криптографических алгоритмов" и Ищенко Р.А. “Свойства графов автоматов и других разложимых графов” на кафедральном семинаре "Теория автоматов"

В среду, 19.09.18, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоятся доклады Курганова Е.А. "Оптимизация аппаратных реализаций криптографических алгоритмов" и Ищенко Р.А. “Свойства графов автоматов и других разложимых графов”. Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

 

Аннотация доклада Курганова Е.А. "Оптимизация аппаратных реализаций криптографических алгоритмов"

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

Аппаратные реализации моделируются схемами из функциональных элементов в расширенном базисе — конъюнкция, дизъюнкция, отрицание и задержка. Главным параметром производительности таких реализаций является глубина схемы, т.е. длина максимального простого пути схемы. Также в качестве дополнительного параметра часто рассматривают сложность — общее количество элементов схемы. И в том, и в другом случае элементы отрицания не учитываются при вычислении.

Первая часть доклада посвящена построению современных криптопроцессоров. Сначала рассматриваются аппаратные реализации нескольких широко используемых симметричных шифров (DES, AES, ZUC, ГОСТ Р 34-12.2015), после чего производится сравнение скорости их работы. Затем приводится аппаратная реализация асимметричного шифра NTRUEncrypt, обладающего устойчивостью к квантовым атакам, и кратко рассматривается реализация классического асимметричного шифра RSA. Данные реализации также сравниваются по глубине и сложности.

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

 

Аннотация доклада Ищенко Р.А. “Свойства графов автоматов и других разложимых графов”

В докладе Ищенко Р.А. описываются свойства графов (диаграмм Мура) групповых и дефинитных автоматов, а также приводятся оценки хроматических чисел графов в зависимости от их толщины, охвата и древесности.

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

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

Доклад может быть интересен широкому кругу специалистов в теории автоматов и теории графов.


16.09.18   Объявление о спецкурсе "Математическая теория программирования"

Спецкурс "Математическая теория программирования" читается по пятницам, с 15:00, ауд. 13-06. Спецкурс читает доц. Миронов А.М.

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


10.08.18   14 сентября в 17:00 – доклад н.с. А.Зубюк "Информативность и специфичность качественных теоретико-возможностных моделей в контексте принятия решений в условиях неопределённости" на семинаре проф. Кумскова М.И. и доц. Миронова А.М. "Большие данные и машинное обучение"

В пятницу, 14 сентября, на семинаре проф. Кумскова М.И. и доц. Миронова А.М. "Большие данные и машинное обучение" (ауд. 13-06, начало в 17:00) состоится доклад научного сотрудника физического факультета МГУ А. Зубюк "Информативность и специфичность качественных теоретико-возможностных моделей в контексте принятия решений в условиях неопределённости".

Аннотация:

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


17.08.18   3 сентября – заседание кафедры МАТИС, лаборатории ПТК и лаборатории ММИИ

Заседание кафедры МАТИС, лаборатории ПТК и лаборатории ММИИ состоится 03 сентября 2018г. в 14:00 в ауд. 12-01.


04.08.18   Памяти Юрия Николаевича Черемных

Черемных Ю.Н.Печальное известие пришло на кафедру МаТИС- закончил свой жизненный путь наш коллега, друг и товарищ – Юрий Николаевич Черемных…

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

С нашей кафедрой Юрия Николаевича связывали не только формальные отношения (с 1994 г. он являлся по совместительству профессором кафедры МаТИС), но и чисто дружеские и товарищеские отношения. Он являлся непременным участником практически всех кафедральных событий, принимал активное участие в деятельности кафедры, вел большую учебно-методическую работу со студентами и аспирантами кафедры МаТИС, выбравшими специализацию в области математического моделирования экономических процессов. Им написано свыше 120 печатных работ, среди которых более двух десятков учебников и монографий, под его руководством защищены 12 кандидатских работ и несколько десятков дипломных и выпускных работ студентов экономического и механико-математического факультетов, он был автором и лектором различных курсов и спецкурсов по математике и экономико-математическим методам.

Признанием научных и педагогических заслуг Юрия Николаевича стало присвоение ему звания профессора (1986 г.), заслуженного профессора МГУ (2001 г.), избрание его действительным членом Международной Академии менеджмента (1989 г.) и действительным членом Академии технологических наук РФ (2012 г.).

Трудно и грустно писать об Юрии Николаевиче в прошедшем времени и много можно было бы еще хорошего и доброго сказать об ушедшем от нас светлом человеке –профессоре Юрии Николаевиче Черемных…

Теплые и светлые воспоминания о нем останутся в наших сердцах…

Скорбим вместе с родственниками Юрия Николаевича, его коллегами, друзьями-со всеми, кто знал это доброго и светлого человека.

Вечная ему память…

 

Сотрудники кафедры МаТИС и лаборатории ПТК механико-математического факультета МГУ им.М.В.Ломоносова


09.06.18   13 июня в 10:00 – аттестация аспирантов

В среду, 13 июня в 10:00 на кафедре МаТИС состоится аттестация аспирантов кафедры всех годов.


09.05.18   11 мая – чаепитие по случаю 75-летия ст.преп. СУНЦ МГУ Г.И. Сыркина

11 мая, в пятницу, после предзащиты дипломных работ (ориентировочно в 16 часов 30 минут) на кафедре МаТИС мехмата МГУ состоится на чаепитие по случаю 75-летия старшего преподавателя СУНЦ МГУ Сыркина Геннадия Иосифовича. Приглашаются все сотрудники кафедры МаТИС


09.05.18   10 и 11 мая – предзащита дипломных работ студентов 6 курса каферы МаТИС

Предварительное расписание предзащит

10 мая:

Группа Фамилия Имя Отчество Научный руководитель

1 611 Семенов Павел Андреевич Гасанов Эльяр Эльдарович

2 632 Ивановская Татьяна Юрьевна Гасанов Эльяр Эльдарович

3 611 Вершинин Максим Алексеевич Гасанов Эльяр Эльдарович

4 Магистратура Быстрыгова Анастасия Гасанов Эльяр Эльдарович

5 Магистратура Иванова Анна Строгалов Александр Сергеевич

6 611 Журавлев Артем Дмитриевич Рыжов Александр Павлович

7 611 Полякова Екатерина Борисовна Рыжов Александр Павлович

8 611 Селин Дмитрий Иванович Рыжов Александр Павлович

9 611 Толкачев Иван Павлович Рыжов Александр Павлович

10 611 Трушина Кристина Андреевна Рыжов Александр Павлович

11 632 Николаева Наталия Михайловна Рыжов Александр Павлович

 

11 мая:

Группа Фамилия Имя Отчество Научный руководитель

1 Магистратура Морозов Денис Галатенко Алексей Владимирович

2 611 Ильин Михаил Владиславович Галатенко Алексей Владимирович

3 611 Соколова Юлия Евгеньевна Панкратьев Антон Евгеньевич

4 611 Глунчадзе Ираклий Вахтангович Осокин Виктор Владимирович

5 611 Зарецкая Татьяна Игоревна Подколзин Александр Сергеевич

6 611 Фаттахова Лиана Ильдаровна Бабин Дмитрий Николаевич

7 611 Карклиньш Роберт Игоревич Ирматов Анвар Адхамович

8 611 Комков Степан Алексеевич Часовских Анатолий Александрвич

9 Магистратура Яговцев Дмитрий Носов Валентин Александрович

10 Каз. филиал Рахимхан Динара Носов Валентин Александрович

11 Каз. филиал Уахимов Ануар Носов Валентин Александрович


07.05.18   10 мая – доклад исполнительного директора DataStories International (Бельгия) Екатерины Владиславлевой «Практические аспекты моделирования сложных систем и процессов в современных бизнес-задачах»

В четверг, 10 мая, в 16:45 состоится доклад Екатерины Владиславлевой, исполнительного директора (CEO) DataStories International на тему «Практические аспекты моделирования сложных систем и процессов в современных бизнес-задачах» для студентов и преподавателей МГУ.

DataStories International nv – это бельгийская высоко-технологичная компания, основанная выпускницей кафедры Математической теории интеллектуальных систем (МаТИС) механико-математического факультета МГУ Екатериной Владиславлевой в 2014 году. DataStories создали пакет программного обеспечения для научно-исследовательских отделов ведущих мировых компаний для ускорения создания и коммерциализации продуктов и материалов с желаемыми функциями. DataStories выросли с 2х человек до 16ти с 2014 года, были названы ведущим инновационным стартапом Бельгии в 2016 году и удостоены нескольких профессиональных наград (Best manufacturing solution at the Consumer Good Hackathon of Delloite, Best Holistic Approach at the Sustainable manufacturing hackathon of Procter& Gamble, best data-driven company in Belgium).

На этом семинаре будет рассказано о главных задачах современного R&D и будут продемонстрированы примеры применения моделирования и прогнозирования в нескольких отраслях (performance chemicals, food & flavor R&D, battery design).

Место проведения семинара: ауд. 12-08.

Приглашаются все желающие.


19.04.18   Команда МГУ заняла первое место на международной олимпиаде ICPC по программированию

Студенты МГУ выиграли чемпионат мира по программированию, из 13 медалей четыре получили команды из России

Кубок мира впервые выиграла команда МГУ Red Panda, решив 9 задач из 12 предложенных. «Наши ребята — лучшие! Гордимся»,— говорится в сообщении пресс-службы МГУ. «Это первая абсолютная победа МГУ в ICPC»,— сообщили “Ъ” в университете. В состав команды (традиционно она состоит из трех человек) входят Михаил Ипатов (студент мехмата), Владислав Макеев и Григорий Резников (факультет вычислительной математики и кибернетики). Тренером команды является завкафедрой информатики специализированного учебно-научного центра (СУНЦ) имени А. Н. Колмогорова МГУ Елена Андреева.

«Команды МГУ участвуют в студенческом командном чемпионате мира по программированию более 20 лет,— заявила госпожа Андреева после подведения итогов первенства.— Многие из них завоевывали медали чемпионата, несколько раз останавливались в шаге от победы, занимая второе место. В этом году впервые наша команда завоевала титул чемпиона мира, опередив как сильнейшие российские команды МФТИ и ИТМО, так и лучшие зарубежные — команды университетов Пекина, Сеула и Токио». (источник)

Кафедра МаТИС сердечно поздравляет доцента Антона Евгеньевича Панкратьева, к.ф.-м.н. Елену Владимировну Андрееву и участников команды "Red Panda" с победой в этом престижном соревновании!

См. также...


15.04.18   20 апреля в 16:45 – встреча кафедры МаТИС со студентами 2 курса

Кафедра МаТИС организует встречу со студентами 2-го курса, на которой будут освещены основные направления кафедры в области математической кибернетики, дискретной математики, информатики, мат. биологии, мат. экономики, математизации естественных и технических наук и других разделов познания, в том числе следующие прикладные задачи:

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

Встреча состоится в пятницу 20 апреля в 16:45, ауд. 1311.

Приглашаются все желающие.

Подробности о встрече – в объявлении http://intsys.msu.ru/news/matis2018.pdf.


15.04.18   16 апреля – доклад проф. Д.Н. Бабина и к.ф.-м.н. И.Е. Иванова «Современные подходы к изучению нейронных сетей и их применению в компьютерном зрении» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ

16 апреля 2018 г. в 17 час. 00 мин., в ауд. 39 СУНЦ МГУ состоится доклад профессора кафедры математической теории интеллектуальных систем (МаТИС) механико-математического факультета МГУ, доктора физико-математических наук Дмитрия Николаевича БАБИНА и выпукника аспирантуры кафедры математической теории интеллектуальных систем (МаТИС) механико-математического факультета МГУ к.ф.-м.н. Ильи Евгеньевича ИВАНОВА на тему: «Современные подходы к изучению нейронных сетей и их применению в компьютерном зрении».


10.04.18   11 апреля – Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2018», подсекция "Дискретная математика и математическая кибернетика"

В среду, 11 апреля, в 16:45 в ауд. 16-08 будет проводиться Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2018», подсекция "Дискретная математика и математическая кибернетика". Информацию о конференции можно найти здесь: http://lomonosov-msu.ru/rus/event/5000/. Приглашаются все желающие.


07.04.18   11 апреля – доклад доц. А.А.Ирматова "О нижней оценке числа пороговых функций в терминах полных комбинаторных флагов на булевом кубе" на кафедральном семинаре "Теория автоматов"

В среду, 11.04.18, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад доц. А.А.Ирматова "О нижней оценке числа пороговых функций в терминах полных комбинаторных флагов на булевом кубе". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

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

Пусть E={w1,...,w2n} является множеством векторов в пространстве Rn+1 вида wi = (1, ±1,...,±1), i=1..2n. Обозначим через Λn(E) множество упорядоченных наборов из различных векторов (wi1,...,win), 2≤i1,...,in≤2n, т.ч. вектор wik является минимальным среди всех векторов из множества E∩span<wik,...,win> для всех k, 1≤k≤n. Автором было доказано, что для числа пороговых функций P(2,n) выполнена следующая нижняя оценка: P(2,n)≥2Λn(E). В докладе для каждого упорядоченного подмножества E будет дано определение комбинаторного флага и приведена формула вычисления Λn(E) в терминах полных комбинаторных флагов множества E.


31.03.18   4 апреля – доклад м.н.с. Соколова А. П. "О ранковой NAND флеш памяти" на кафедральном семинаре "Теория автоматов"

В среду, 04.04.18, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Соколова А. П. "О ранковой NAND флеш памяти". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

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

Флеш память в последнее десятилетие стала доминирующей технологией для хранения информации как в персональных вычислительных средствах, так и в корпоративных продуктах: серверах, сетевых хранилищах и дата-центрах. Первоначально технология флеш памяти предполагала хранение одного бита информации в ячейке (SLC-память). Далее с развитием технологий изготовления флеш памяти, а также в связи с использованием во флеш памяти более мощных помехоустойчивых кодов, стало возможных хранить в каждой ячейке 2 бита (MLC-память) или даже 3 бита (TLC-память) информации. Увеличение объема информации, содержащейся в каждой ячейке, приводит к значительному росту вероятности ошибки при чтении. При этом, по мере износа флеш памяти, электрические заряды, хранящиеся в ячейках, имеют тенденцию к снижению. Этот процесс приводит к еще большему росту вероятности ошибок и фактически приводит к выходу флеш памяти из строя. Ранковый способ хранения информации в ячейках флеш памяти устойчив к процессу постепенного снижения электрических зарядов в ячейках. Более того, данный способ позволяет хранить в том же количестве ячеек больший объем информации. В докладе будет дано общее описание устройства флеш памяти, описана процедура чтения и показаны основные источники ошибок. Далее, будет описан способ хранения информации во флеш памяти с помощью ранков (перестановок). Будут даны оценки емкости данного типа памяти в сравнении с обычной флеш памятью. Будет введена метрика Кендалл-Тау на множестве перестановок и дана постановка задачи помехоустойчивого кодирования на множестве перестановок. Далее будет приведено сравнение емкости ранковой и обычной флеш памяти с учетом технологических ограничений. Показаны случаи большей эффективности ранковой памяти по сравнению с обычной.


24.03.18   28 марта – доклад доцента Часовских А.А. "Проблема полноты в классах линейных автоматов" на кафедральном семинаре "Теория автоматов"

В среду, 28.03.18, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад доцента Часовских А.А. "Проблема полноты в классах линейных автоматов". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

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

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


19.03.18   21 марта – доклад к.ф.-м.н. Петюшко А.А. "Современные методы распознавания лиц" на семинаре "Теория дискретных функций и приложения"

21 марта в 16-45 в ауд. 12-05 на семинаре "Теория дискретных функций и приложения" под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л. состоится доклад к.ф.-м.н. Петюшко А.А. "Современные методы распознавания лиц". Приглашаются все желающие.


17.03.18   21 марта – доклад доцента Рыжова А.С. "Задачи оценки и мониторинга процессов в социотехнических системах: обзор постановок и результатов" на кафедральном семинаре "Теория автоматов"

В среду, 21.03.18, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад доцента Рыжова А.С. "Задачи оценки и мониторинга процессов в социотехнических системах: обзор постановок и результатов". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

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

В докладе рассмотрены задачи оценки состояния некоторого процесса и возможных вариантов его развития для смешанных человеко-технических систем. Примерами таких систем является любая компания, отрасль, социальная сеть, государство. Примерами таких процессов – поведение клиента (маркетинг), продвижение кандидата на выборах (политология), диагностика (медицина), оценка рисков (финансы, страховое дело); развитие технологий/научных исследований (наукометрия, технологии). Рассмотрены ключевые отличия моделей процессов для социотехнических систем и физических систем. Эти отличия определяют возможность применения тех или иных математических инструментов. Рассмотрены основные задачи разработки систем оценки и мониторинга процессов: описания человеком объектов реального мира, поиска информации в нечеткой среде, агрегирования информации в нечетких иерархических системах. Обсуждаются обобщения данных задач: персонализация взаимодействия с цифровым миром (на примере социальных сетей и обучающих программ); оптимизация описания объектов, определяемая задачей (task-driven information granulation) (на примере задач поиска информации и распознавания образов). Приводится краткий обзор разработанных на базе полученных результатов систем оценки и мониторинга соблюдения международных договоров, медицины, микроэлектроники, ситуационных центров органов государственной власти и управления.


09.03.18   13 марта – доклад "Методы глубокого обучения в задачах финансовой аналитики" на семинаре А.М.Миронова "Машинное обучение"

Во вторник, 13 марта, на семинаре А.М.Миронова "Машинное обучение" (ауд. 14-08, 17:00) состоится доклад сотрудников Тинькофф-банка "Методы глубокого обучения (Deep Learning) в задачах финансовой аналитики". Будут затронуты актуальные направления, связанные с применением нейронных сетей в задачах, которые решаются в компании, в частности применение DL в финансовом прогнозировании, задачах связанных с аудиобиометрией, распознаванием мошенников, автоматизацией работы колл-центров и многое другое.


09.03.18   14 марта – доклад доцента Пантелеева П.А. "Об обобщении теоремы Мура" на кафедральном семинаре "Теория автоматов"

В среду, 14.03.18, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад доцента Пантелеева П.А. "Об обобщении теоремы Мура". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

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

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


04.03.18   7 марта – доклад доцента Г.В. Бокова "От булевых схем к доказательству теорем" на кафедральном семинаре "Теория автоматов"

В среду, 7 марта, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад доцента Г.В. Бокова "От булевых схем к доказательству теорем". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

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

Вопрос о сложности доказательств теорем в формальных системах возникает во многих областях. С точки зрения вычислительной сложности точные нижние оценки сложности доказательств служат средством отделения классов вычислительной сложности. В современных SAT- и SMT-решателях анализ лежащих в их основе систем доказательств позволяет оценить производительность и ограниченность решателей. Центральное место в вопросе сложности доказательств отводится доказательству теорем классического исчисления высказываний. Несмотря на то, что за последние десятилетия удалось разработать много разнообразных техник для доказательства верхних и нижних оценок в различных пропозициональных системах, успеха в получении нижних оценок для классических систем доказательств достичь так и не удалось. Тем не менее, среди специалистов в области сложности доказательств сложилась прочная уверенность в том, что существует тесная связь между прогрессом в получении нижних оценок сложности булевых схем и прогрессом в получении нижних оценок размера пропозициональных доказательств. В докладе будет рассказано о связи между булевыми схемами и системами доказательств теорем, о том, как идеи и методы, применяемые для оценки сложности схем, применяются для оценки сложности доказательств теорем.


25.02.18   28 февраля – доклад с.н.с. Д.Н. Жука "От двузначной к k-значной логике" на кафедральном семинаре "Теория автоматов"

В среду, 28 февраля, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д.Н. Жука "От двузначной к k-значной логике". Место проведения семинара – ауд. 12-26а ГЗ МГУ, время – 18:30. Приглашаются все желающие.

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

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


08.02.18   9 февраля состоялась защита кандидатских диссертаций И.Е.Иванова и Г.В.Калачева

9 февраля 2018 г. в 11 ч. 30 мин. на заседании диссертационного совета МГУ.01.16 в аудитории 12-24 ГЗ МГУ состоялась защита кандидатских диссертаций:

  • Иванова Ильи Евгеньевича «Об автоматных функциях с магазинной памятью». Научный руководитель: проф. Бабин Дмитрий Николаевич, официальные оппоненты: проф. Михалёв Александр Васильевич, проф. Фролов Александр Борисович, к.ф.-м.н. Петюшко Александр Александрович.
  • Калачева Глеба Вячеславовича «О мощностной сложности плоских схем». Научный руководитель: проф. Гасанов Эльяр Эльдарович, официальные оппоненты: к.ф.-м.н. Алексиадис Никос Филиппович, проф. Ложкин Сергей Андреевич, проф. Чашкин Алекандр Викторович.

Кафедра МаТИС поздравляет И.Е. Иванова и Г.В. Калачева с успешной защитой!


18.01.18   7 февраля в 14:00 – заседание кафедры МаТИС и лаборатории ПТК

В среду, 7 февраля 2018 года, в 14:00 состоится заседание кафедры МаТИС и лаборатории ПТК, посвященное началу нового учебного полугодия.


15.01.18   17 января – аттестация аспирантов кафедры МаТИС

В среду, 17 января, в 11:00 состоится аттестация аспирантов кафедры МаТИС.


30.12.17   23-25 мая – 10-я международная конференция "Дискретные модели в теории управляющих систем"

23-25 мая в Москве состоится 10-я международная конференция "Дискретные модели в теории управляющих систем". Подробности можно узнать на официальной странице конференции http://agora.guru.ru/display.php?conf=dm10.


22.12.17   27 декабря – заседание кафедры МаТИС и лаборатории ПТК

В среду, 27 декабря, в 15:00 состоится заседание кафедры МаТИС и лаборатории ПТК. Сотрудники кафедры и лаборатории приглашаются на чаепитие, посвященное началу нового, 2018 года.


20.12.17   27 декабря – зачёт по МФК "Распознавание образов"

Зачёт по МФК "Распознавание образов" (лектор – профессор Козлов В.Н.) состоится в среду, 27 декабря, в ауд. 12-12 (Главное здание МГУ), начало зачёта в 13 час 00 мин.


18.12.17   20 декабря – доклад проф. Бабина Д.Н. «О разрешимости задачи полноты для автоматов» на кафедральном семинаре «Теория автоматов»

20 декабря в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад проф. Бабина Д.Н. «О разрешимости задачи полноты для автоматов». Приглашаются все желающие.


11.12.17   13 декабря – доклад н.с. Половникова В.С. «Теоретические аспекты искусственных нейронных сетей» на кафедральном семинаре «Теория автоматов»

В среду, 13 декабря, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад н.с. Половникова В.С. «Теоретические аспекты искусственных нейронных сетей». Приглашаются все желающие.


03.12.17   6 декабря – доклад доцента Миронова А.М. «Верификация криптографических протоколов» на кафедральном семинаре «Теория автоматов»

В среду, 6 декабря, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доцента Миронова А.М. «Верификация криптографических протоколов». Приглашаются все желающие.


26.11.17   29 ноября – доклад к.ф-м.н. Алексеева Д.В. «О восстановлении трехмерного тела по его плоским проекциям» на кафедральном семинаре «Теория автоматов»

В среду, 29 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад к.ф-м.н. Алексеева Д.В. «О восстановлении трехмерного тела по его плоским проекциям». Приглашаются все желающие.


18.11.17   21 ноября – доклад А. Новикова "Обзор глубинного обучения: Интересные результаты, теоретические работы, байесовский подход" на семинаре "Машинное обучение"

На семинаре "Машинное обучение" под руководством А.М.Миронова 21 ноября состоится доклад Александра Новикова на тему: "Обзор глубинного обучения: Интересные результаты, теоретические работы, байесовский подход"


18.11.17   22 ноября – доклад аспирантки Д.В. Лемтюжниковой "Понижение размерности задач с разреженными матрицами" на кафедральном семинаре «Теория автоматов»

В среду, 22 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад аспирантки Д.В. Лемтюжниковой "Понижение размерности задач с разреженными матрицами". Приглашаются все желающие.


11.11.17   15 ноября – доклад П.Алисейчика, Р.Бекташева на тему "Обучающие системы: методы построения индивидуальных стратегий обучения" на кафедральном семинаре «Теория автоматов»

В среду, 15 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад П.Алисейчика, Р.Бекташева на тему "Обучающие системы: методы построения индивидуальных стратегий обучения". Приглашаются все желающие.


10.11.17   13 ноября – чл.-корр. РАН Ю.В.Нестеренко «Вычислительные задачи теории чисел» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ

27 января 2017 г., в пятницу, в 17 час. 00 мин., в Актовом зале СУНЦ МГУ состоится доклад члена-корреспондента РАН, зав. кафедрой теории чисел, председателя Учёного Совета СУНЦ МГУ Ю.В.Нестеренко. Тема доклада: «Вычислительные задачи теории чисел»


04.11.17   8 ноября – доклад доц. П.А. Пантелеева «О простых экспериментах с автоматами для подмножеств состояний» на кафедральном семинаре «Теория автоматов»

В среду, 8 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доц. П.А. Пантелеева «О простых экспериментах с автоматами для подмножеств состояний». Приглашаются все желающие.


29.10.17   1 ноября – доклад А.Н. Максименко «Комбинаторно-геометрические характеристики сложности задач комбинаторной оптимизации» на кафедральном семинаре «Теория автоматов»

В среду, 1 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Александра Николаевича Максименко «Комбинаторно-геометрические характеристики сложности задач комбинаторной оптимизации», в котором Александр Николаевич представит результаты своей докторской диссертации.


24.10.17   25 октября – доклад вед.н.с. В.А. Носова «О функциональном задании латинских квадратов» на кафедральном семинаре «Теория автоматов»

В среду, 25 октября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад вед.н.с. В.А. Носова «О функциональном задании латинских квадратов». Приглашаются все желающие.


23.10.17   Доц. А.М.Миронов начинает чтение Межфакультетского курса «Большие данные в естественных и гуманитарных науках»

Доц. А.М.Миронов начинает чтение Межфакультетского курса «Большие данные в естественных и гуманитарных науках». Курс читается по средам, с 17:00, ауд. 01


22.10.17   27 октября – представление кандидатской диссертации Даниила Березуна "Трассирующая нормализация" на семинаре "Математические вопросы информатики" под руководством А.М.Миронова и С.В.Моисеева

В пятницу, 27 октября, на семинаре "Математические вопросы информатики" под руководством А.М.Миронова и С.В.Моисеева состоится доклад "Трассирующая нормализация" (представление кандидатской диссертации) аспиранта математико-механический факультета Санкт-петербургского государственного университета Даниила Березуна.

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

Трассирующая нормализация является новым подходом к нормализации лямбда-термос и была предложена Онгом для просто типизированного лямбда-исчисления при анализе посредством игровой семантики рекурсивных схем высшего порядка с целью генерации древовидных структур нулевого порядка. Игровая семантика представляет собой один из способов задания семантики языков программирования, позволившим решить проблему построения полностью абстрактной модели для языка PCF (Programming Computable Functions), поставленную Плоткиным в 70-х годах. Операционный взгляд на игровую семантику простого типизированного лямбда-исчисления позволил определить для него нестандартную процедуру нормализации, которая может быть рассмотрена как интерпретатор: она нормализует лямба-терм, манипулируя списком его подвыражений, снабже.нных указателями назад (Backpointers). Такой подход к нормализации термов получил название трассирующей нормализации (Traversal-Based Normalization, Normalization by Traversals). Его отличительной особенностью является то, что он оставляет исходный терм нетронутым и позволяет реализовать интерпретатор языка без использования стандартных подходов, таких как бета-редукция, окружение для связывания переменных и замыкание для вызовов функций и параметров. Более того, оказалось, что трассирующая нормализация простого типизированного лямбда-исчисления согласована с головной линейной редукцией.

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


15.10.17   По вторникам в 18:30 начинает работу семинар "Машинное обучение" под руководством доц. А.М.Миронова

Начинает работу новый семинар "Машинное обучение" под руководством доц. А.М.Миронова

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

Семинар будет работать по вторникам, с 18:30, сбор у ауд. 12-02


15.10.17   18 октября – доклад доцента Г.В. Бокова «О проблеме вывода в пропозициональных исчислениях» на кафедральном семинаре «Теория автоматов»

В среду, 18 октября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Г.В. Бокова «О проблеме вывода в пропозициональных исчислениях». Приглашаются все желающие.


11.10.17   13 октября – доклад Ильи Ериклинцева "Актуальные проблемы и перспективы развития технологии децентрализованных реестров" на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики"

В пятницу, 13 октября, на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики" (ГЗ МГУ, ауд. 13-06, начало семинара – 18:30) состоится доклад Ильи Ериклинцева "Актуальные проблемы и перспективы развития технологии децентрализованных реестров".

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

Докладчик является техническим директором в стартапе и разработчиком программного обеспечения на основе технологии Blockchain.


08.10.17   11 октября – доклад Калачева Г. «О мощностной сложности плоских схем» на кафедральном семинаре «Теория автоматов»

11 октября на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Глеба Калачева "О мощностной сложности плоских схем". Приглашаются все желающие.


01.10.17   4 октября – доклад к.ф-м.н. Родина С.Б. «Размещение состояний автоматов» на кафедральном семинаре «Теория автоматов»

В среду, 4 октября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад к.ф-м.н. Родина С.Б. «Размещение состояний автоматов». Приглашаются все желающие.


26.09.17   27 сентября – с.н.с. Д.Н. Жука "Классификация сложности задачи удовлетворения ограничениям" на кафедральном семинаре «Теория автоматов»

В среду, 27 сентября, на заседании кафедрального семинара "Теория автоматов" под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д.Н. Жука "Классификаиця сложности задачи удовлетворения ограничениям". Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


17.09.17   20 сентября – продолжение доклада И.Е. Иванова «Периодические свойства автомата с магазинной памятью как преобразователя последовательностей» на кафедральном семинаре «Теория автоматов»

В среду, 20 сентября 2017 года на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится продолжение доклада Иванова Ильи Евгеньевича «Периодические свойства автомата с магазинной памятью как преобразователя последовательностей». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


10.09.17   13 сентября – доклад И.Е. Иванова «Периодические свойства автомата с магазинной памятью как преобразователя последовательностей» на кафедральном семинаре «Теория автоматов»

В среду, 13 сентября 2017 года на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Иванова Ильи Евгеньевича «Периодические свойства автомата с магазинной памятью как преобразователя последовательностей». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


08.09.17   8 сентября – доклад генерального директора компании WorldQuant Л.Меркина "Функциональное программирование в финансовой и инвестиционно-банковской индустрии" на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики"

8 сентября на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики" состоится доклад генерального директора компании WorldQuant Леонида Меркина "Функциональное программирование в финансовой и инвестиционно-банковской индустрии". Начало семинара – в 18:30, ауд. 13-06


04.09.17   6 сентября – вступительный экзамен в аспирантуру

В среду, 6 сентября, состоится вступительный экзамен в аспирантуру по кафедре МаТИС. Начало – в 10:00, преподавателям можно подходить к 11:00. Явка всех научных руководителей будущих аспирантов обязательна.


20.08.17   4 сентября в 14:00 – заседание кафедры

Заседание кафедры МаТИС и лаборатории ПТК, посвященное началу учебного года, состоится 04.09.17 в 14:00.


04.07.17   Кафедра МаТИС и лаборатория ПТК поздравляют академика В.Б. Кудрявцева с днем рождения!

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


23.06.17   Кафедра МаТИС и лаборатория ПТК поздравляют С.Б. Родина с защитой диссертации!

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


19.06.17   23 июня – защита кандидатской диссертации м.н.с. С.Б. Родина

23 июня, в пятницу состоится защита диссертации м.н.с. Сергея Борисовича Родина на соискание ученой степени кандидата физико-математических наук на тему "Размещение состояний автоматов" (диссертационный совет Д.501.001.84).

Официальное время начала защиты – 16:45, ауд 14-08. Научный руководитель – д.ф.-м.н., профессор Алешин С.В. Официальные оппоненты – профессор, д.ф.-м.н. Глухов М.М., к.ф.-м.н. Титова Е.Е. Ведущая организация – Научный исследовательский университет "МЭИ".

После защиты планируется праздничное чаепитие.


12.06.17   14 июня – аттестация аспирантов 1-го, 2-го и 3-го годов обучения

В среду, 14 июня в 10:00 на кафедре состоится аттестация аспирантов 1-го, 2-го и 3-го годов обучения.


27.05.17   30 мая – защита дипломных работ студентов 6го курса кафедры МаТИС

Во вторник, 30 мая в ауд. 13-11 в 10:00 состоится защита дипломных работ студентов 6го курса кафедры МаТИС.

Явка всех сотрудников обязательна. Не только членов ГЭК.


19.05.17   22 мая в 10:00 – госэкзамен

В понедельник, 22 мая в 10:00 состоится госэкзамен (ГЭК). Явка всех сотрудников кафедры и лаборатории обязательна.


15.05.17   17 мая – экзамен ВАК по специальности

В среду, 17 мая на кафедре в 10:00 у аспирантов состоится экзамен ВАК по специальности.


07.05.17   10 мая – предзащита выпускных работ магистров

10 мая в 12:00 на кафедре МаТИС состоится предзащита выпускных работ магистров.


26.04.17   28 апреля в 16:45 – встреча кафедры МаТИС со студентами 2 курса

Кафедра МаТИС организует вторую встречу со студентами 2-го курса, на которой будут освещены основные направления кафедры в области математической кибернетики, дискретной математики, информатики, математической биологии, математической экономики, математизации естественных и технических наук и других разделов познания, в том числе следующие прикладные задачи:

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

    Встреча состоится в пятницу, 28 апреля, в 16:45 в ауд. 13-11.

    Всем преподавателям просьба присутствовать на встрече.


  • 17.04.17   19 апреля – доклад Полякова А.В. "Алгоритмы и защищенные системы биометрической аутентификации личности" на кафедральном семинаре «Теория автоматов»

    В среду, 19 апреля, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Полякова А.В. "Алгоритмы и защищенные системы биометрической аутентификации личности". Приглашаются все желающие.


    17.04.17   21 апреля – доклад П.Иванова "Основные понятия технологии банковских транзакций Blockchain" на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики"

    В пятницу 21 апреля на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики" состоится доклад студента Павла Иванова "Основные понятия технологии банковских транзакций Blockchain".

    Начало семинара – в 18:30, ауд. 13-06.


    10.04.17   12 апреля – подсекция "Дискретная математика и математическая кибернетика" Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов-2017»

    В среду, 12 апреля, в 16:45 в ауд. 12-08 будет проводится Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2017», подсекция "Дискретная математика и математическая кибернетика". Список участников можно найти по ссылке https://lomonosov-msu.ru/rus/event/4000/page/374. Приглашаются все желающие.


    10.04.17   14 апреля – доклад с.н.с. ИППМ РАН А.Климова "Вывод параллельных алгоритмов типа рекурсивного сдваивания при помощи суперкомпиляции с окрестностным вложением" на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики"

    В пятницу 14 апреля на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики" состоится доклад с.н.с. Института проблем проектирования в микроэлектронике РАН Аркадия Климова "Вывод параллельных алгоритмов типа рекурсивного сдваивания при помощи суперкомпиляции с окрестностным вложением".

    Начало семинара – в 18:30, ауд. 13-06.

    Аннотация:

    Рекурсивное сдваивание (= циклическая редукция) – хорошо известное семейство параллельных алгоритмов, которые имеют параллельное время O(Log(N)) при применении к векторам длины N. Они используются при выполнении таких операций, как Reduce, Scan (частичные суммы), ускоренный перенос в сумматорах, вычисление некоторых рекуррентностей, решение трехдиагональной линейной системы и т.п. В каждом учебнике и по каждой задаче эти алгоритмы объясняются по-своему, в меру изобретательности автора. В свое время (60-е – 70-е годы) это решение считалось нетривиальным результатом. Возникает вопрос: можно ли этот алгоритм (схему алгоритма) получить механически (автоматически) из более общих первичных принципов? Будет показано, как он рождается в результате совместного действия четырех идей:

    1. Рекуррентное определение Y(n) = R(n,Y(n-1))
    2. Семантика неподвижной точки Y=R(Y)
    3. Вычисление R^n удвоением
    4. Суперкомпиляция (с зацикливанием через окрестностное вложение)

    Будут даны все необходимые пояснения о суперкомпиляции.

    Работа метода демонстрируется на трех примерах: линейная рекуррентность, двоичное сложение, трехдиагональные СЛАУ.


    09.04.17   27 и 28 апреля – предзащита дипломных работ студентов 6-го курса и студентов 4-го курса казахстанского филиала

    Предзащита дипломных работ студентов 6-го курса и студентов 4-го курса казахстанского филиала состоится 27 и 28 апреля с 10:00 на кафедре.


    01.04.17   5 апреля – доклад аспиранта И.Е.Иванова «Об автоматных функциях с магазинной памятью» на кафедральном семинаре «Теория автоматов»

    В среду, 5 апреля, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад аспиранта И.Е.Иванова «Об автоматных функциях с магазинной памятью». Приглашаются все желающие.


    28.03.17   29 марта – дискуссия по теме "Что не могут нейросети?" на семинаре "Теория дискретных функций и приложения"

    В среду, 29 марта, в 16:30 в ауд. 12-05 на семинаре "Теория дискретных функций и приложения" под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л. состоится дискуссия по теме "Что не могут нейросети?".

    Также на семинаре состоится обзор курсовых и дипломных работ.

    Приглашаются студенты 2-5 курсов.


    26.03.17   29 марта – доклад м.н.с. Г.В. Бокова "Характеризация неразрешимых суперинтуиционистских исчислений" на кафедральном семинаре "Теория автоматов"

    В среду, 29 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Г.В. Бокова "Характеризация неразрешимых суперинтуиционистских исчислений". Приглашаются все желающие.


    18.03.17   22 марта – доклад к.ф-м.н. Петюшко А.А. "Что могут нейросети?" на семинаре "Теория дискретных функций и приложения"

    В среду, 22 марта, в 16:30 в ауд. 12-05 на семинаре "Теория дискретных функций и приложения" под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л. состоится доклад к.ф-м.н. Петюшко А.А. "Что могут нейросети?".

    Приглашаются также студенты 2 курса.


    18.03.17   22 марта в 18:30 – встреча кафедры МаТИС со студентами 2 курса

    Кафедра МаТИС организует встречу со студентами 2-го курса, на которой будут освещены основные направления кафедры в области математической кибернетики, дискретной математики, информатики, математической биологии, математической экономики, математизации естественных и технических наук и других разделов познания, в том числе следующие прикладные задачи:

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

    Встреча состоится в среду, 22 марта, в 18:30, ауд. 12-06, на кафедральном семинаре по теории автоматов.

    Приглашаются все желающие.


  • 13.03.17   15 марта – доклад м.н.с. Г.В. Калачева "О мощностной сложности плоских схем" на кафедральном семинаре "Теория автоматов"

    В среду, 15 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Г.В. Калачева "О мощностной сложности плоских схем". Приглашаются все желающие.


    13.03.17   15 марта – доклад к.ф-м.н. Пархоменко Д.В. "Генераторные состязательные нейросети, свойства и применение" на семинаре "Теория дискретных функций и приложения" под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л.

    В среду, 15 марта, в 16:30 в ауд. 12-05 на семинаре "Теория дискретных функций и приложения" под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л. состоится доклад к.ф-м.н. Пархоменко Д.В. "Генераторные состязательные нейросети, свойства и применение". Приглашаются также студенты 2 курса.


    28.02.17   1 марта – первое заседание спецсеминара "Математические проблемы искусственного интеллекта"

    В среду, 1 марта, в 16:45 в ауд. 13-02 состоится первое заседание спецсеминара "Математические проблемы искусственного интеллекта" под руководством проф. Кудрявцева В. Б., асс. Боков Г. В. и м.н.с. Калачева Г. В.


    28.02.17   2 марта – первое заседание спецкурса "Практическое применение теории сложности вычислений"

    В четверг, 2 марта, в 16:45 в ауд. 404 (ВМК) состоится первое заседание спецкурса "Практическое применение теории сложности вычислений" под руководством проф. Кудрявцева В. Б. и асс. Бокова Г. В.


    27.02.17   1 марта – первое заседание спецсеминара "Теория дискретных функций и приложения"

    В среду, 1 марта, в 16:30 на семинаре "Теория дискретных функций и приложения" под руководством проф. Бабина Д.Н. и с.н.с. Мазуренко И.Л. состоится обсуждение тем курсовых и дипломных работ. Приглашаются также студенты 2 курса.


    27.02.17   1 марта – доклад доц. А.М.Миронова на кафедральном семинаре "Теория автоматов"

    В среду, 1 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доц. А.М.Миронова "Основные понятия теории вероятностных автоматов". Приглашаются все желающие.


    26.02.17   28 февраля – первая лекция спецкурса доц. А.М.Миронова "Криптографические протоколы" (на английском языке)

    Спецкурс доц. А.М.Миронова "Криптографические протоколы" (на английском языке) будет читаться по вторникам с 15:00 до 16:30, сбор слушателей – у кафедры мат. теории интеллектуальных систем (ауд. 12-02). Первая лекция – 28 февраля.

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


    19.02.17   22 февраля – доклад Е.М.Перпера «Семантический анализ текстов и связанные с ним задачи поиска» на кафедральном семинаре «Теория автоматов»

    В среду, 22 февраля, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Е.М.Перпера «Семантический анализ текстов и связанные с ним задачи поиска». Приглашаются все желающие.


    15.02.17   17 февраля доклад аспиранта Курилинко Н. "Faster R-CNN – модель детектирования объектов на основе нейронных сетей" на семинаре "Нейронные сети"

    17 февраля (пятница) на семинаре "Нейронные сети" состоится доклад аспиранта Курилинко Никиты (научный руководитель – проф. А.П. Рыжов) на тему "Faster R-CNN – модель детектирования объектов на основе нейронных сетей". Будет подробно разобран алгоритм реализации данной архитектуры: устройство, используемые эвристики, сложности программной реализации. Также будут изложены основы обучения нейронных сетей и общая информация об основных методах детектирования в 2015 и 2016 годах.

    Семинар проходит в аудитории 13-04, начало в 18:30.


    15.02.17   17 февраля – первая лекция спецкурса доц. А.М. Миронова "Верификация программ" и первый семинар "Математические вопросы информатики"

    Спецкурс "Верификация программ" читается по пятницам, с 16:45 в ауд. 13-06. Курс читает доц. Миронов А.М.

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

    Первая лекция – 17 февраля.

     

    Семинар "Математические вопросы информатики" работает по пятницам, с 18:30 в ауд. 13-06. Семинар ведут Миронов А.М. и Моисеев С.В.

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

     

    Первое занятие – 17 февраля.


    03.02.17   15 февраля – доклад доц. А.М. Миронова «Процессная модель криптографических протоколов» на кафедральном семинаре «Теория автоматов»

    В среду, 15 февраля, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доцента А.М. Миронова «Процессная модель криптографических протоколов». Приглашаются все желающие.


    29.01.17   8 февраля – заседание кафедры МаТИС и лаборатории ПТК

    Уважаемые сотрудники кафедры и лаборатории!

    В среду, 8 февраля в 15:00 состоится заседание кафедры и лаборатории, посвященное началу учебного семестра. Присутствие всех сотрудников кафедры и лаборатории обязательно.


    26.01.17   27 января – д.ф.-м.н. Бабина Д.Н. «Математические задачи обработки информации» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ

    27 января 2017 г., в пятницу, в 17 час. 00 мин., в Актовом зале СУНЦ МГУ состоится доклад доктора физико-математических наук, профессора кафедры МаТИС мехмата МГУ, Дмитрия Николаевича Бабина на тему: «Математические задачи обработки информации» на семинаре «МАТЕМАТИКА. КИБЕРНЕТИКА. ИНФОРМАТИКА» в СУНЦ МГУ.


    09.01.17   12 и 19 января – зачет по межфакультетскому курсу «Распознавание образов» и экзамен по курсу ЕНС «Распознающие системы»

    Сдавать зачет по межфакультетскому курсу "Распознавание образов" можно будет в следующие дни:

    • четверг, 12 января, в 12ч.30м. в ауд 1320 ГЗ.
    • четверг, 19 января, в 11ч.00м. в ауд 1306 ГЗ.
    В эти же дни, время, и в этих же аудиториях проходят экзамены по курсу ЕНС "Распознающие системы" (4 курс).


    13.12.16   22 и 29 декабря – зачет по межфакультетскому курсу «Распознавание образов»

    Зачёт по межфакультетскому курсу «Распознавание образов» состоится:

    • 22 декабря в аудитории 16-24 (ГЗ МГУ) в 18 часов и
    • 29 декабря в аудитории 16-24 (ГЗ МГУ) в 18 часов.


    12.12.16   14 декабря – доклад м.н.с. Г.В. Бокова «Моделирование логических процессов средствами пропозициональных исчислений» на кафедральном семинаре «Теория автоматов»

    В среду, 14 декабря, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Григория Владимировича Бокова «Моделирование логических процессов средствами пропозициональных исчислений». Приглашаются все желающие.


    03.12.16   9 декабря – встреча с представителями Альфа-Банка на семинаре «Математические вопросы информатики» под руководством А.М.Миронова и С.В.Моисеева

    В пятницу, 9 декабря, на семинаре «Математические вопросы информатики» под руководством А.М.Миронова и С.В.Моисеева (16:45, ауд. 13-06) состоится встреча с представителями Альфа-Банка, на которой будет рассказано о направлениях возможного сотрудничества, связанного с задачами машинного обучения, извлечением знаний из больших объемов информации (big data), распознаванием и прогнозированием.


    18.11.16   23 ноября – доклад м.н.с. Родина С.Б. «Кодирование и размещение состояний автоматов» на кафедральном семинаре «Теория автоматов»

    В среду, 23 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Родина Сергея Борисовича «Кодирование и размещение состояний автоматов». Приглашаются все желающие.


    16.11.16   18 ноября – доклад чл.-корр. РАН Л.Д. Беклемишева «О теоремах Гёделя о неполноте формальных систем» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ

    18 ноября 2016 г., в пятницу, в 17 час. 00 мин., в Актовом зале СУНЦ МГУ состоится доклад члена-корреспондента Российской академии наук (РАН) Льва Дмитриевича Беклемишева на семинаре «МАТЕМАТИКА. КИБЕРНЕТИКА. ИНФОРМАТИКА». Тема доклада: «О теоремах Гёделя о неполноте формальных систем».


    11.11.16   16 ноября – доклад Осокина В.В. и Алимова Р.Ф. «Промышленная математика» на кафедральном семинаре «Теория автоматов»

    В среду, 16 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Осокина В.В. и Алимова Р.Ф. «Промышленная математика». Приглашаются все желающие.


    07.11.16   9 ноября – доклад доц. А.С. Строгалова «О полиномиальных функциях роста автоматных языков» на кафедральном семинаре «Теория автоматов»

    В среду, 9 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доц. А.С. Строгалова «О полиномиальных функциях роста автоматных языков». Приглашаются все желающие.


    30.10.16   2 ноября – доклад Г.В.Бокова «O характеризации неразрешимых пропозициональных исчислений» на кафедральном семинаре «Теория автоматов»

    В среду, 2 ноября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Г.В. Бокова «O характеризации неразрешимых пропозициональных исчислений». Приглашаются все желающие.


    21.10.16   26 октября – доклад Д.Н. Жука «О сложности задачи удовлетворения ограничениям на конечном множестве» на кафедральном семинаре «Теория автоматов»

    В среду, 26 октября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Д.Н. Жука «О сложности задачи удовлетворения ограничениям на конечном множестве». Приглашаются все желающие.


    16.10.16   ВНИМАНИЕ! Прочитайте объявление о продлении срока регистрации участников XI международной конференции "Интеллектуальные системы и компьютерные науки" и сроках выпуска сборников тезисов участников конференции!

    Срок регистрации для участия в конференции и подачи тезисов продлен до 25 ноября 2016 г.! Тезисы, присланные до 19 октября (включительно), будут опубликованы в 3-м номере журнала из списка ВАК "Интеллектуальные системы. Теория и приложения", который выйдет до начала конференции, остальные тезисы будут опубликованы в 4-м номере журнала "Интеллектуальные системы. Теория и приложения", который выйдет уже после конференции.


    15.10.16   19 октября – доклад проф. С.В. Алешина «О книге "Алгебраические системы автоматов"» на кафедральном семинаре «Теория автоматов»

    В среду, 19 октября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад проф. С.В. Алешина «О книге "Алгебраические системы автоматов"». Приглашаются все желающие.


    08.10.16   12 октября – доклад проф. Д.Н. Бабина «О функциональной системе автоматов с операцией суперпозиции» на кафедральном семинаре «Теория автоматов»

    В среду, 12 октября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад проф. Д.Н. Бабина «О функциональной системе автоматов с операцией суперпозиции». Приглашаются все желающие.


    02.10.16   5 октября – доклад А.А. Полозова-Яблонского «Программа инновационного развития Аэрофлота» на кафедральном семинаре «Теория автоматов»

    В среду, 5 октября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад Андрея Александровича Полозова-Яблонского «Программа инновационного развития Аэрофлота». Приглашаются все желающие.


    25.09.16   28 сентября – доклад м.н.с. Г.В. Бокова «Сложность вывода тавтологий» на кафедральном семинаре «Теория автоматов»

    В среду, 28 сентября, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В. Б. Кудрявцева состоится доклад м.н.с. Г.В. Бокова «Сложность вывода тавтологий». Приглашаются все желающие.


    25.09.16   Начинает работу спецкурс Г.И. Сыркина «Введение в алгоритмическую алгебру»

    Г.И. Сыркин читает полугодовой спецкурс «Введение в алгоритмическую алгебру» в 1-м семестре 2016-2017 учебного года по четвергам, в 16 час. 45 мин. в ауд. 465 на факультете ВМК МГУ. Первая лекция состоялась 22 сентября. Во 2-м семестре предполагается чтение спецкурса «Дополнительные главы алгоритмической алгебры», о чём будет объявлено дополнительно.

    Информация о данном спецкурсе размещена на сайте кафедры МаТИС: http://www.intsys.msu.ru/study/courses/.


    31.08.16   3 сентября – заседание семинара проф. Э.Э. Гасанова "Вопросы сложности алгоритмов поиска"

    3 сентября в 9:00 в ауд. 12-12 начинает свою работу спецсеминар проф. Э.Э. Гасанова "Вопросы сложности алгоритмов поиска". Явка всем студентам проф. Э.Э. Гасанова строго обязательна (особенно – студентам 3-го курса).


    31.08.16   3 сентября – первая лекция курса ЕНС проф. Э.Э. Гасанова "Теория баз данных"

    3 сентября в 10:54 в ауд. 12-12 будет прочитана первая лекция в рамках курса ЕНС проф. Э.Э. Гасанова "Теория баз данных".


    24.08.16   31 августа – заседание кафедры МаТИС

    31 августа в 15:00 состоится заседание кафедры и лаборатории, посвященное началу учебного семестра.

    Присутствие всех сотрудников кафедры и лаборатории обязательно.


    04.07.16   Поздравление заведующему кафедрой МаТИС академику В.Б. Кудрявцеву с юбилеем

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

    Желаем Валерию Борисовичу крепкого здоровья, творческого вдохновения, семейного благополучия и новых научных открытий!


    30.05.16   1 июня – доклад И.Е. Иванова «О поведении автономных автоматов с магазинной памятью» на кафедральном семинаре «Теория автоматов»

    В среду, 1 июня, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В. Б. Кудрявцева состоится доклад аспиранта Иванова Ильи Евгеньевича «О поведении автономных автоматов с магазинной памятью». Приглашаются все желающие.


    05.05.16   11 мая – доклад С. В. Моисеева «Построение решётки клонов в P3, задаваемых предикатами арности 2» на кафедральном семинаре «Теория автоматов»

    В среду, 11 мая, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В. Б. Кудрявцева состоится доклад Моисеева Станислава Владимировича «Построение решётки клонов в P3, задаваемых предикатами арности 2». Приглашаются все желающие.


    25.04.16   27 апреля – доклад м.н.с. Г.В. Калачева «О мощностной сложности плоских схем» на кафедральном семинаре «Теория автоматов»

    В среду, 27апреля, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Глеба Вячеславовича Калачева «О мощностной сложности плоских схем». Приглашаются все желающие.


    25.04.16   27 апреля в 11:00 – предзащита выпускных работ студентов 4 курса казахстанского филиала и студентов магистратуры

    В среду, 27 апреля, в 11:00 на кафедре МаТИС состоится предзащита выпускных работ студентов 4 курса казахстанского филиала и студентов магистратуры.


    25.04.16   13 мая в 10:00 – защита выпускных работ студентов 4 курса казахстанского филиала и студентов магистратуры, а также экзамен ВАК аспирантов 1-го года

    В пятницу, 13 мая, в 10:00 состоится защита выпускных работ студентов 4 курса казахстанского филиала и студентов магистратуры, а также экзамен ВАК по специальности аспирантов 1-го года обучения по кафедре МаТИС.


    14.04.16   20 апреля – доклад м.н.с. Дергача П.С. «О проблеме проверки однозначности алфавитного декодирования для регулярных языков с полиномиальной функцией роста» на кафедральном семинаре «Теория автоматов»

    В среду, 20 апреля, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Дергача Петра Сергеевича «О проблеме проверки однозначности алфавитного декодирования для регулярных языков с полиномиальной функцией роста». Приглашаются все желающие.


    11.04.16   13 апреля в 16:45 – подсекция "Дискретная математика и математическая кибернетика" конференции "Ломоносов-2016"

    В среду, 13 апреля, в 16:45 в ауд. 16-08 будет проводится Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2016», подсекция "Дискретная математика и математическая кибернетика".

    В 18-30 конференция продолжится в аудитории 12-06. Список участников можно найти по ссылке: http://lomonosov-msu.ru/rus/event/3500/page/99.

    Приглашаются все желающие.


    03.04.16   6 апреля – доклад в.н.с. Алисейчика П.А. «Опыт и перспективы дистанционного преподавания программирования в Ташкентском Филиале МГУ» на кафедральном семинаре «Теория автоматов»

    В среду, 6 апреля, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад в.н.с. Алисейчика Павла Александровича «Опыт и перспективы дистанционного преподавания программирования в Ташкентском Филиале МГУ». Приглашаются все желающие.


    01.04.16   8 апреля в 16:45 – встреча кафедры МаТИС со студентами 2 курса

    Кафедра МаТИС организует встречу со студентами 2-го курса, на которой будут освещены основные направления кафедры в области мат. кибернетики, дискретной математики, информатики, мат. биологии, мат. экономики, математизации естественных и технических наук и других разделов познания, в том числе следующие прикладные задачи:

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

    Встреча состоится в пятницу, 8 апреля, в 16:45, ауд. 13-06.

    Приглашаются все желающие.


  • 01.04.16   5 апреля – доклад проф. С.В. Ульянова на тему «Интеллектуальное и когнитивное управление на основе интерфейса «мозг – компьютер – робот»: Технологии квантовых мягких вычислений" на семинаре "Мягкие вычисления"

    Во вторник, 5 апреля, на семинаре "Мягкие вычисления" (16:45, ауд. 1226-Б ГЗ) состоится доклад профессора Сергея Викторовича Ульянова на тему «Интеллектуальное и когнитивное управление на основе интерфейса «мозг – компьютер – робот»: Технологии квантовых мягких вычислений".

    Будут рассмотрены основы гибридного интеллектуального / когнитивного управления на основе интерфейса «мозг – компьютер – робот», что позволяет включить в контур управления модели человека – оператора, учитывать его скрытые возможности с учетом возможных ошибок в условиях непредвиденных ситуаций управления с целью повышения надежности и робастности робототехнических и социотехнических систем.

    Сергей Викторович Ульянов – доктор физико-математических наук, профессор Токийского университета передачи информации, Миланского университета, Калифорнийского университета и ГУ «Дубна». Научный консультант Yamaha Motor Co., ST Microelectronics. Участник проекта «Союз – Апполо», лидер проектов «Yamaha Motor Co. – ST Microelectronics, КМОБ (США).

    Некоторые работы профессора Ульянова по теме доклада доступны для ознакомления по ссылке https://drive.google.com/folderview?id=0B-djLg7gLIjcSTI2bldCMkcxeVU&usp=sharing.


    28.03.16   30 марта – доклад доц. Рыжова А.П. «Прорывные технологии по версии McKinsey и связанные с ними задачи» на кафедральном семинаре «Теория автоматов»

    В среду, 30 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доц. Рыжова А.П. «Прорывные технологии по версии McKinsey и связанные с ними задачи». Приглашаются все желающие.


    28.03.16   29 марта – доклад проф. А.Н. Райкова "Препятствия на пути развития ИИ в XXI веке и способы их преодоления" на семинаре "Мягкие вычисления"

    Во вторник, 29 марта, на семинаре "Мягкие вычисления" (16:45, ауд. 1226-Б ГЗ) состоится доклад профессора Александра Николаевича Райкова на тему "Препятствия на пути развития ИИ в XXI веке и способы их преодоления.". Будут рассмотрены ретроспективные истоки, иллюзии и успехи искусственного интеллекта (ИИ). Характеристики решаемых с помощью ИИ проблем. Возможные ловушки для будущего развития ИИ и способы их возможного преодоления.

    Александр Николаевич Райков – доктор технических наук, профессор, действительный государственный советник Российской Федерации 3 класса, Лауреат премии Правительства РФ в области науки и техники. Профессор А.Н. Райков разрабатывал автоматизированные системы управления для высших эшелонов власти CCCP. В 1992 – 1999 гг. – начальник информационно-аналитического отдела Администрации Президента Российской Федерации, координатор работы Ситуационного центра Президента Российской Федерации. Под научным и организационным руководством АН.Райкова реализовано около 100 проектов для: Администрации Президента Российской Федерации, Минобрнауки России, Минэкономразвития России, Московского правительства, Ханты-Мансийского и Ненецкого автономных округов, Республики Казахстан, ряда крупных предприятий и организаций.


    28.03.16   30 марта – аттестация аспирантов 3-го года

    Во вторник, 30 марта, в 16:00 состоится аттестация аспирантов 3-го года обучения по кафедре МаТИС.


    28.03.16   Кафедра МаТИС поздравляет А.А. Петюшко с защитой диссертации!

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


    24.03.16   25 марта – защита кандидатской диссертации А.А. Петюшко

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

    После защиты состоится праздничное чаепитие на кафедре.

    Приглашаются все желающие.


    18.03.16   23 марта – доклад м.н.с. Осокина В.В. и Алимова Р.Ф. «Программы расчета промышленного оборудования» на кафедральном семинаре «Теория автоматов»

    В среду, 23 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Осокина В.В. и Алимова Р.Ф. «Программы расчета промышленного оборудования». Приглашаются все желающие.


    13.03.16   16 марта – доклад доц. Пантелеева П.А. «О простых диагностических экспериментах с автоматами» на кафедральном семинаре «Теория автоматов»

    В среду, 16 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доц. Пантелеева П.А. «О простых диагностических экспериментах с автоматами». Приглашаются все желающие.


    09.03.16   9 марта – доклад с.н.с. Мазуренко И.Л. «Об автоматическом детектировании объектов на изображениях» на кафедральном семинаре «Теория автоматов»

    В среду, 9 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Мазуренко И.Л. «Об автоматическом детектировании объектов на изображениях».


    29.02.16   2 марта – доклад м.н.с. Шуткина Ю.С. на тему: «О сложности монотонных информационных графов» на кафедральном семинаре «Теория автоматов»

    В среду, 2 марта, в 18:30 в ауд. 1206 на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Шуткина Ю.С. на тему: «О сложности монотонных информационных графов».


    28.02.16   1 марта – доклад Андрея Краснопольского и Марины Пайвиной на тему «Бизнес-аналитика: как найти пользу? Анализ кейсов применения BI-систем Qlik» на семинаре "Мягкие вычисления"

    Во вторник, 01 марта, в 16:45 в аудитории 1226 Б на семинаре "Мягкие вычисления" состоится доклад Андрея Краснопольского и Марины Пайвиной на тему «Бизнес-аналитика: как найти пользу? Анализ кейсов применения BI-систем Qlik».

    О компании «Консультационная Группа АТК»:

    Консультационная Группа АТК основана в 1997 году и уже более 8 лет занимается внедрением BI-систем класса Data Discovery на территории России.

    Компания уже завершила внедрение систем QlikView, Qlik Sense и Microsoft Power BI в более 200 ведущих российских и международных компаниях:АльфаСтрахование, X5 Retail Group, SPAR, Campina, Heinz, Фармстандарт, Salamander и других.

    Консультационная Группа АТК является интегратором «Лучшего BI-проекта-2013» в компании INCITY и «Лучшего масштабного аналитического решения-2015» в компании Orange Business Services (по версии GlobalCIO).

    Специалисты Консультационной Группы АТК разработали ряд технологических и визуализационных ноу-хау, например, ATK Qlik 1C Коннектор, предназначенный для эффективной и высокоскоростной интеграции Qlik и 1C, а также АТК QlikView R Коннектор для интеграции с прогнозной аналитикой R Project.

    На базе выполненных проектов «Консультационная Группа АТК» создала библиотеку моделей отраслевых решений для розничной торговли, микрофинансирования, дистрибуции, страхования, фармацевтики, производства, телекоммуникаций.

     

    О докладчиках:

    Андрей Краснопольский, генеральный директор, Консультационная Группа АТК.

    MBA Finance, бизнес-школа California State University East Bay.

    После пяти лет работы в ИТ-компании Scala CIS, где Андрей занимал должность руководителя проектов, в 1997 году вместе с партнером, Андреем Тереховым, основал компанию по автоматизации управленческих бизнес-процессов – «Консультационную Группу АТК».

    Опыт внедрения информационных систем – более 23 лет. Опыт работы с in-memory аналитическими системами – более 8 лет.

    Андрей читает лекции и проводит практические занятия по системам бизнес-аналитики в НИУ ВШЭ и МГТУ им. Баумана.

    Марина Пайвина, директор по маркетингу, Консультационная Группа АТК.

    Более 5 лет занимается in-memory аналитическими системами, активно участвует в развитии сообщества профессионалов по работе с аналитическими системами – qRUG, Qlik Russia User Group.

    С 2014 года организует совместный с компанией Qlik студенческий конкурс «АТК Qlik Olympics» по разработке BI-приложений.

    Марина читает лекции по системам бизнес-аналитики в НИУ ВШЭ и МГТУ им. Баумана.


    28.02.16   4 марта – доклад в.н.с. В.А.Носова «Защита информации и криптография в контексте математики» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ

    4 марта 2016 г., в пятницу, в 17 час. 00 мин., в Актовом зале СУНЦ МГУ состоится доклад ведущего научного сотрудника Кафедры МаТИС мехмата МГУ Валентина Александровича Носова на тему: «Защита информации и криптография в контексте математики» и демонстрация фильма «Зашифрованная война».


    20.02.16   24 февраля – доклад с.н.с. Д.В. Алексеева «Восстановление трехмерных тел по плоским проекциям. Условия существования» на кафедральном семинаре «Теория автоматов»

    В среду, 24 февраля, на заседании кафедрального семинара «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д. В. Алексеева «Восстановление трехмерных тел по плоским проекциям. Условия существования». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    29.01.16   29 января – доклад проф. А.С. Подколзина «Компьютерный решатель математических задач» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ

    29 января 2016 года, в пятницу, в 17 часов в ауд. 39 СУНЦ МГУ на заседании совместного учебно-научного семинара кафедры Математической теории интеллектуальных систем (МаТИС) мехмата МГУ и СУНЦ МГУ «Математика. Кибернетика. Информатика» состоится доклад профессора кафедры Математической теории интеллектуальных систем (МаТИС) механико-математического факультета МГУ, доктора физико-математических наук Александра Сергеевича Подколзина и доцента кафедры Математической теории интеллектуальных систем (МаТИС) механико-математического факультета МГУ, кандидата физико-математических наук Павла Анатольевича Пантелеева на тему: «Компьютерный решатель математических задач».

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


    25.01.16   8 февраля – заседание кафедры МаТИС

    8 февраля в 14:00 состоится заседание кафедры МаТИС, посвященное началу нового учебного семестра. Явка всем сотрудникам кафедры МаТИС и лаборатории ПТК обязательна.


    13.01.16   20 и 22 января – дополнительные зачеты по курсу «Распознавание образов»

    Дополнительно зачеты по межфакультетскому курсу «Распознавание образов» можно будет сдавать:

    1. 20 января в 13 ч.30 мин. в ауд. 14-05 мехмат факультета
    2. 22 января в 13 ч.30 мин. в ауд. 12-08 мехмат факультета


    16.12.15   24 декабря – дополнительный зачет по курсу «Распознавание образов»

    Дополнительный зачет по межфакультетскому курсу «Распознавание образов» состоится 24 декабря в 15.00 во 2-ом учебном корпусе.

    Сбор около аудитории 339 ВМиК.


    10.12.15   16 декабря – доклад с.н.с. Д.Н. Жука «О сложности решения задачи удовлетворения ограничениям» на кафедральном семинаре «Теория автоматов»

    В среду, 16 декабря, на заседании кафедрального семинара «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д.Н. Жука «О сложности решения задачи удовлетворения ограничениям». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    05.12.15   9 декабря – доклад А.А. Плетнева «Моделирование динамических баз данных» на кафедральном семинаре «Теория автоматов»

    В среду, 9 декабря, на кафедральном семинаре «Теория автоматов» под руководством академика В.Б.Кудрявцева состоится доклад А.А.Плетнева «Моделирование динамических баз данных». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    05.12.15   7 декабря – доклад доц. В.Л. Натяганова «Миф о Тунгусском «метеорите» и обратные задачи прикладной математики» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ

    7 декабря 2015 года, в понедельник, в 17 часов в Актовом зале СУНЦ МГУ на заседании совместного учебно-научного семинара кафедры Математической теории интеллектуальных систем (МаТИС) мехмата МГУ и СУНЦ МГУ «Математика. Кибернетика. Информатика» состоится доклад кандидата физико-математических наук, доцента кафедры газовой и волновой динамики механико-математического факультета МГУ, заведующего кафедрой математики СУНЦ МГУ Владимира Леонидовича Натяганова на тему: «Миф о Тунгусском «метеорите» и обратные задачи прикладной математики».

    В докладе на элементарно-интуитивном уровне вводятся понятия о прямых, полуобратных и обратных задачах прикладной математики на примере спорных и до сих пор нерешенных геофизических проблем.

    К таким проблемам в геофизике относятся:

    • природа и физические механизмы геомагнитного поля Земли;
    • сохранение суммарного заряда планеты или квазистационарность атмосферного электрического поля “хорошей погоды”, открытого еще М.В. Ломоносовым более 250 лет назад;
    • природа, физические механизмы и парадоксальные свойства шаровой молнии;
    • механизмы зарождения и развития тайфунов или ураганов, торнадо и низовых прорывов из грозовых облаков;
    • краткосрочный прогноз землетрясений (дни-недели) по месту, времени и магнитуде.

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

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

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

    Приглашаются все желающие и, особенно, новый набор 10-х классов, для которых будет сделан ряд важных объявлений

    Натяганов Владимир Леонидович – кандидат физико-математических наук, доцент кафедры газовой и волновой динамики механико-математического факультета МГУ, заведующий кафедрой математики СУНЦ с 1 сентября 2015 г.

    Натяганов В.Л. закончил с отличием мехмат МГУ в 1975 г., в 1984-1987 гг. был директором ФМШ № 18 при МГУ; является автором более 120 научных работ, 4-х пособий для абитуриентов и школьников, соавтором одной коллективной монографии; научным руководителем 4-х кандидатских диссертаций, 2-х грантов РФФИ и ответственным исполнителем от МГУ по Госконтракту с Министерством образования и науки России.

    Натяганов В.Л. за научные заслуги награжден: медалью им. Х.А. Рахматулина Российского национального комитета по теоретической и прикладной механике за разработку приоритетных моделей электрогидродинамики в гетерогенных средах; медалью к 100-летию Г.А. Тюлина Федерации космонавтики России за теоретическое обоснование эмпирической схемы краткосрочного прогноза землетрясений и механизмов образования облачных сейсмотектонических индикаторов, наблюдаемых при космическом мониторинге над эпицентрами будущих землетрясений.


    26.11.15   2 декабря – доклад Якимца К.К. «О консервативных однородных структурах» на кафедральном семинаре «Теория автоматов»

    В среду, 2 декабря, на кафедральном семинаре «Теория автоматов» под руководством академика В.Б.Кудрявцева состоится доклад Якимца Кузьмы Кирилловича «О консервативных однородных структурах». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    22.11.15   25 ноября – доклад аспиранта И.Е. Иванова «Оценки периодов выходных последовательностей автономных автоматов с магазинной памятью» на кафедральном семинаре «Теория автоматов»

    В среду, 25 ноября, на кафедральном семинаре «Теория автоматов» под руководством академика В.Б.Кудрявцева состоится доклад аспиранта Иванова И.Е. «Оценки периодов выходных последовательностей автономных автоматов с магазинной памятью». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    15.11.15   18 ноября – доклад м.н.с. Г.В. Бокова «О средствах обнаружения неразрешимости проблемы выразимости» на кафедральном семинаре «Теория автоматов»

    В среду, 18 ноября, на кафедральном семинаре «Теория автоматов» под руководством академика В.Б.Кудрявцева состоится доклад м.н.с. Г.В. Бокова «О средствах обнаружения неразрешимости проблемы выразимости». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    07.11.15   11 ноября – доклад проф. В.Н. Козлова «Аффинное наложение конечных множеств точек друг на друга, минимизирующее расстояние Хаусдорфа между ними» на кафедральном семинаре «Теория автоматов»

    В среду, 11 ноября, на кафедральном семинаре «Теория автоматов» под руководством академика В.Б.Кудрявцева состоится доклад проф. В.Н. Козлова на тему: «Аффинное наложение конечных множеств точек друг на друга, минимизирующее расстояние Хаусдорфа между ними». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    07.11.15   Кафедра МаТИС поздравляет Е.Е. Титову с защитой диссертации!

    Кафедра Математической теории интеллектуальных систем сердечно поздравляет Титову Елену Евгеньевну с успешной защитой кандидатской диссертации на тему «Конструирование изображений клеточными автоматами» и желает ей дальнейших успехов в научной деятельности!


    24.10.15   28 октября – доклад с.н.с. А.М. Миронова «Усиление критерия Р.Г.Бухараева реализуемости вероятностных реакций конечными вероятностными автоматами» на кафедральном семинаре «Теория автоматов»

    В среду, 28 октября, на заседании кафедрального семинара «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. А.М. Миронова «Усиление критерия Р.Г.Бухараева реализуемости вероятностных реакций конечными вероятностными автоматами». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    15.10.15   21 октября – доклад доцента А.А Часовских «Критериальные системы в классах линейно-автоматных функций над конечными полями» на кафедральном семинаре «Теория автоматов»

    В среду, 21 октября, на заседании кафедрального семинара «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад доцента А.А Часовских «Критериальные системы в классах линейно-автоматных функций над конечными полями». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    14.10.15   15 октября – выступление академика РАН А.Т.Фоменко на открытом семинаре «Наука и культура»

    В четверг, 15 октября 2015 года, в 18 ч. 30 м. в аудитории 14-08 ГЗ МГУ на отрытом семинаре «Наука и культура» состоится выступление академика Российской академии наук, профессора, заведующего кафедрой дифференциальной геометрии и приложений механико-математического факультета МГУ Анатолия Тимофеевича Фоменко на тему «Геометрия и механика в наглядных образах».

    Анатолий Тимофеевич Фоменко – выдающийся русский математик, академик РАН, лауреат Государственной Премии Российской Федерации и многих других премий. А.Т. Фоменко известен также своими оригинальными картинами, в том числе и связанными с математикой. Ещё одна область, где А.Т. Фоменко приобрёл широкую известность – это история, её новая хронология.

    Совет семинара: В. Б. Кудрявцев (Председатель), В. В. Александров, Д. В. Алексеев (Секретарь), В. А. Буевич, В. Ф. Бутузов, М. М. Глухов, Ю. Л. Ершов, В. Н. Козлов, Л. Н. Королев, Ф. Ф. Кузнецов, В. А. Малышев, А. С. Мищенко, М. К. Потапов, А. С. Строгалов.


    12.10.15   14 октября – доклад м.н.с. П.С.Дергача «Об алфавитном декодировании регулярных языков с полиномиальной функцией роста» на кафедральном семинаре «Теория автоматов»

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


    07.10.15   9 октября – защита кандидатской диссертации Е.Е. Титовой

    В пятницу, 9 октября, в 16:45 в ауд. 14-08 состоится защита кандидатской диссертаций Титовой Елены Евгеньевны «Конструирование изображений клеточными автоматами».

    После защиты состоится праздничное чаепитие на кафедре.

    Приглашаются все желающие.


    07.10.15   Кафедра МаТИС поздравляет Д.Е.Александрова с защитой диссертации!

    Кафедра Математической теории интеллектуальных систем сердечно поздравляет Александрова Дмитрия Евгеньевича с успешной защитой кандидатской диссертации на тему «Сложность распознавания принадлежности слова регулярному языку в системах обнаружения вторжений» и желает ему дальнейших успехов в научной деятельности!


    05.10.15   7 октября – доклад м.н.с. Г.В.Бокова «Решётка клонов трёхзначной логики, содержащих функцию максимума для нелинейного частичного порядка» на кафедральном семинаре «Теория автоматов»

    В среду, 7 октября, на заседании кафедрального семинара «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Г.В.Бокова «Решётка клонов трёхзначной логики, содержащих функцию максимума для нелинейного частичного порядка». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    01.10.15   3 октября начинает работу спецкурс с.н.с. И.Л. Мазуренко «Математические основы цифровой обработки сигналов и изображений»

    В субботу, 3 октября, в 16:45 начнет работу специальный курс с.н.с. И.Л. Мазуренко «Математические основы цифровой обработки сигналов и изображений». Место сбора – кафедра МаТИС (ауд. 12-02). Желающим участвовать в работе курса просьба сообщить об этом через форму обратной связи с лектором.


    28.09.15   30 сентября – доклад А.А. Петюшко «Классификация биграммных языков» на кафедральном семинаре «Теория автоматов»

    В среду, 30 сентября, на заседании кафедрального семинара «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад выпускника аспирантуры кафедры МаТИС А.А. Петюшко «Классификация биграммных языков». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    20.09.15   23 сентября – доклад с.н.с. Д.Н. Жука «О размере порождающего множества декартовых степеней алгебры» на кафедральном семинаре «Теория автоматов»

    В среду, 23 сентября, на заседании кафедрального семинара «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д.Н. Жука «О размере порождающего множества декартовых степеней алгебры». Место проведения семинара – ауд. 12-06 ГЗ МГУ, время – 18:30. Приглашаются все желающие.


    15.09.15   16 сентября – доклад проф. Буевича В.А. «Об алгоритмической неразрешимости задачи о полноте систем, содержащих все одноместные ограниченно-детерминированные функции» на кафедральном семинаре «Теория автоматов»

    В среду, 16 сентября 2015 г., в 18:30, в ауд. 12-06 Главного здания МГУ на кафедральном семинаре «Теория автоматов» под руководством академика В.Б. Кудрявцева состоится доклад профессора Буевича Вячеслава Александровича на тему: «Об алгоритмической неразрешимости задачи о полноте систем, содержащих все одноместные ограниченно-детерминированные функции». Приглашаются все желающие.


    05.09.15   8 сентября – вступительный экзамен в аспирантуру

    Во вторник, 8 сентября, состоится вступительный экзамен в аспирантуру. Начало – в 10:00 на кафедре, преподавателям можно подходить к 11:00. Явка всех научных руководителей будущих аспирантов обязательна.


    03.09.15   5 сентября – первое занятие спецсеминара проф. А.А. Подколзина «Технологии проектирования решателей математических задач»

    В субботу, 5 сентября 2015 г., в 12:30 в ауд. 12-12 состоится первое занятие спецсеминара «Технологии проектирования решателей математических задач». В основном, на этом занятии речь пойдет о семантическом анализе текстов и разработке новой версии решателя математических задач проф. А.А. Подколзина. Приглашаются все желающие.


    03.09.15   5 сентября – первое заседание спецсеминара проф. Э.Э.Гасанова «Вопросы сложности алгоритмов поиска»

    В субботу, 5 сентября 2015 г., в 9:00 в ауд. 12-12 состоится первое занятие спецсеминара проф. Э.Э. Гасанова «Вопросы сложности алгоритмов поиска», на котором студенты и аспиранты Э.Э. Гасанова расскажут третьекурсникам о своих задачах. Студентам 3-го курса Э.Э.Гасанова явка обязательна.


    29.08.15   2 сентября – заседание кафедры МаТИС

    Заседание кафедры МаТИС, посвященное началу нового учебного года, состоится 2 сентября в 14:00.

    Явка сотрудников кафедры и лаборатории – обязательна.


    20.12.08   Вышла книга профессора А.С. Подколзина «Компьютерное моделирование логических процессов»

    Вышел первый том («Архитектура и языки решателя задач») монографии профессора А.С. Подколзина «Компьютерное моделирование логических процессов» (Москва, Физматлит, 2008 г., 1024 страниц).

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

    Материал монографии разбит на три книги. Данная, первая книга посвящена общему описанию архитектуры компьютерной системы и языкам программирования, созданным для ускорения процесса обучения. Эти языки, ЛОС (Логический Описатель Ситуаций) и ГЕНОЛОГ (ГЕНетический язык ЛОГического программирования), подняли обучение решателей практически до уровня формулировки математических теорем. Первый из них – чуть выше уровня ПРОЛОГ'а, второй – относится к первому примерно так же, как ПРОЛОГ к ассемблеру. Планируется выпуск второй и третьей книг. Вторая книга будет посвящена описанию собственно решателей; одновременно она может рассматриваться как курс программирования на ГЕНОЛОГе. Наконец, третья книга включит в себя материал, связанный с вопросами автоматического развития решателей и автоматизации теоретических исследований.

    С оглавлением книги можно познакомиться на этой странице.

    Книгу можно приобрести на кафедре МаТИС. Справки по телефону +7-495-939-46-37.


    18.11.07   Журнал «Интеллектуальные системы» и книги по интеллектуальным системам можно приобрести на кафедре МаТИС

    На кафедре МаТИС можно приобрести следующие книги:

    • А.С. Подколзин «Компьютерное моделирование логических процессов»
    • В.Б.Кудрявцев, А.Е.Андреев, Э.Э.Гасанов «Теория тестового распознавания»
    • В.Б. Кудрявцев, Э.Э. Гасанов, А.С. Подколзин. «Введение в теорию интеллектуальных систем»
    • В.Б. Кудрявцев, Э.Э. Гасанов, О.А. Долотова, Г.Р.Погосян. «Теория тестирования логических устройств»
    • Э.Э. Гасанов, В.Б. Кудрявцев. «Теория хранения и поиска информации»
    • журнал «Интеллектуальные системы» (тома 3, 4, 5, 8, 9, 10, 11 и 12)

    Справки по телефону +7-495-939-46-37.


    Архив новостей...