English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу
 Объявления объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате
 Обновления анонсы новых материалов на нашем сервере
 Рассылка подписка на почтовую рассылку новостей и обновлений сервера

Объявления

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.


    Архив новостей...
       © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
    XWare
     Полнотекстовый поиск
     
    Только точная форма слов      Выводить по результатов на странице
    Rambler's Top100 Рейтинг@Mail.ru