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

Cекция "Теория интеллектуальных систем и автоматов" 11-го международного семинара "Дискретная математика и ее приложения"

Руководитель секции – акад. Кудрявцев В.Б.

День третий, четверг, 21 июня.

Начало работы секции 16:00, ауд. 1226а.

 

  • Дергач Пётр Сергеевич (Москва). Алгоритмическая разрешимость проблемы алфавитного декодирования в регулярных языках.
  • Махина Галина Анатольевна, Воронцов Константин Вячеславович (Симферополь). О восстановлении частично заданных монотонных булевых функций по критерию полного скользящего контроля.
  • Рыков Дмитрий Олегович (Москва). Об алгоритмах проверки правильности семейств функций.
  • Савина Татьяна Федоровна (Москва) Об одном точном описании множества допустимых исходов игры с отношениями предпочтения на основе полноты семейства гомоморфизмов.
  • Семенов Евгений Александрович (Москва). Подход к управлению программой инструкциями на русском языке.
  • Лушникова Татьяна Сергеевна (Москва). Об одном алгоритме решения задачи о протыкании.
  • Часовских Анатолий Александрович (Москва). О полноте в классе линейно-автоматных функций с операциями суперпозиции.
  • Перпер Евгений Михайлович (Москва). О сложности поиска подслова в слове с помощью древовидных графов.
  • Архипова Анастасия Николаевна (Москва). Об эффективности алгоритмов машинного обучения для некоторых классов булевых функций.
   © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru