Буевич Вячеслав Александрович
(9.01.1941, г. Смоленск – 25.11.2018). Окончил механико-математический факультет МГУ (1965).
Кандидат физико-математических наук (1973). Доктор физико-математических наук (1992).
Профессор кафедры математической теории интеллектуальных систем механико-математического факультета (1995–2018).
Заслуженный профессор Московского университета (2013).
Область научных интересов: дискретная математика, теория автоматов и дискретных функций. Построил простейший универсальный автомат. Доказал алгоритмическую неразрешимость проблемы A-полноты для автоматов, полностью решил проблему t-полноты для автоматов. Дал новое доказательство критерия полноты для функций k-значной логики.
Тема кандидатской диссертации «Об А-полноте для автоматов». Тема докторской диссертации «Решение проблемы t-полноты для автоматов».
Читал курсы «Теория алгоритмов», «Дискретные системы и процессы», «Вопросы полноты для ограниченно-детерминированных функций».