Курсы и семинары :: Студенты и аспиранты Буевича В.А. :: Публикации Буевича В.А. :: Публикации учеников Буевича В.А.

Буевич Вячеслав Александрович

д.ф.-м.н., профессор

Родился в 1941 г. в г.Смоленске. Окончил мех-мат факультет МГУ в 1965 году. В 1973 году защитил кандидатскую диссертацию "Об А-полноте для автоматов". Доктор физ.-мат. наук (1992, "Решение проблемы t-полноты для автоматов"), профессор.

Область научных интересов. Специалист в области теории автоматов и дискретных функций. В.А. Буевичем построен простейший универсальный автомат. Доказана алгоритмическая неразрешимость проблемы A-полноты для автоматов, полностью решена проблема t-полноты для автоматов. Дано новое доказательство критерия полноты для функций k-значной логики.

Вячеслав Александрович Буевич читает лекции и ведет научные семинары по теории автоматов. Автор более 40 научных работ. Подготовил 6-х кандидатов физ.-мат. наук.

См. также: http://istina.msu.ru/profile/Buevich/

Список основных публикаций Буевича В.А.

• Буевич В.А., Подколзина М.А. Об алгоритмической неразрешимости задачи об A-полноте для систем ограниченно-детерминированных функций, содержащих все одноместные S-о.-д. функции
  Дискретная математика – М.: Наука, том 24, № 4, 2013 г.
• Буевич В.А., Подколзина М.А. Задача о полноте S-множеств детерминированных функцийстатья
  Вестник Московского университета. Серия 1. Математика и механика, № 5, 2008 г.
• Буевич В.А., Подколзина М.А. Критерии полноты S – множеств детерминированных функций.
  Математические вопросы кибернетики, вып. 16, 2007, стр. 190-239.
• Буевич В.А. О полноте, A-полноте и t-полноте в классе автоматных отображений.
  Журнал "Интеллектуальные системы", т.10, вып. 1-4, 2006 г. Стр. 613-638
• Буевич В.А., Т.Э.Клиндухова. Об алгоритмической неразрешимости задач об А-полноте и полноте для дефинитных ограниченно-детерминированных функций
  В сб.: "Математические вопросы кибернетики", принято к печати
• Буевич В.А. Критерий полноты систем, содержащих все одноместные ограниченно-детерминированные функции
  "Дискретная математика", том 12, вып 4, изд-во "Наука", 2000 г.
• Буевич В.А., Т.Э.Клиндухова. Л существовании алгоритма для распознавания А-полноты систем, содержащих все одноместные ограниченно-детерминированные функции
  В сб.: "Математические вопросы кибернетики", вып. 8, изд-во "Наука", 1999 г.
• Буевич В.А. О t-полноте систем, содержащих все одноместные ограниченно-детерминированные функции
  В сб.: "Математические вопросы кибернетики", вып. 8, изд-во "Наука", 1999 г.
• Буевич В.А. Вариант доказательства критерия полноты для функций k-значной логики
  "Дискретная математика", т.8, вып. 4. Издательство "Наука", 1996 г.
• Буевич В.А. Условия А-полноты для конечных автоматов, ч.1, ч.2
  Издательство МГУ, 1986, 1987 г.г.
• Буевич В.А. О t-полноте в классе детерминированных функций
  Доклады РАН, т.326, N3
• Буевич В.А. О t-полноте в классе автоматных отображений
  Доклады АН СССР, т.252, N5, 1980 г.
• Буевич В.А. Об алгоритмической неразрешимости проблемы А-полноты для автоматов.
  Математические заметки, том 2, вып. 6, М. "Наука, 1972 г.
• Буевич В.А. Построение простейшей универсальной о.-д. функции
  Сборник "Проблемы кибернетики", вып. 22, Москва, "Наука", 1970 г.

Список научных публикаций учеников Буевича В.А.

Наверх