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

(9.01.1941, г. Смоленск – 25.11.2018). Окончил механико-математический факультет МГУ (1965).

Кандидат физико-математических наук (1973). Доктор физико-математических наук (1992).

Профессор кафедры математической теории интеллектуальных систем механико-математического факультета (1995–2018).

Заслуженный профессор Московского университета (2013).

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

Тема кандидатской диссертации «Об А-полноте для автоматов». Тема докторской диссертации «Решение проблемы t-полноты для автоматов».

Читал курсы «Теория алгоритмов», «Дискретные системы и процессы», «Вопросы полноты для ограниченно-детерминированных функций».