Расширенный поиск
ПОРТРЕТ ИНТЕЛЛЕКТА. Ученые Московского государственного университета, члены РАН - в фотографиях Сергея Новикова (к 250-летию МГУ)
АДЯН Сергей Иванович
Академик РАН
Профессор кафедры математической логики механико-математического факультета МГУ.
Автор теоремы о нераспознаваемости всех Марковских свойств, известной как теорема Адяна-Рабина. Ему принадлежат основные результаты по алгоритмическим проблемам для полугрупп с одним соотношением.
Подразделы
Объявления