Большой энциклопедический словарь
АДЯН Сергей Иванович (р. 1931) - российский математик, член-корреспондент РАН (1991). Труды по математической логике, теории алгоритмов и их приложений к алгебре.
Энциклопедический словарь
Адя́н Сергей Иванович
(р. 1931), математик, член-корреспондент РАН (1991). Труды по математической логике, теории алгоритмов и их приложений к алгебре.
* * *
АДЯН Сергей ИвановичАДЯ́Н Сергей Иванович (р. 1 января 1931, Кущи, Азербайджанская ССР), российский математик, действительный член РАН (с 2000, член-корреспондент РАН с 1991). Труды по математической логике(см. МАТЕМАТИЧЕСКАЯ ЛОГИКА), теории алгоритмов(см. АЛГОРИТМ) и их приложений к алгебре. Государственная премия РФ.