СЕМЁНОВ АЛЕКСЕЙ ЛЬВОВИЧ
-
Рубрика: Математика
-
Скопировать библиографическую ссылку:
СЕМЁНОВ Алексей Львович (р. 13.10.1950, Москва), рос. математик, акад. РАН (2011) и РАО (2010). По окончании МГУ (1972) работал там же (проф. с 1998). С 1993 ректор Моск. ин-та открытого образования (до 2002 Моск. ин-т повышения квалификации работников образования), с 2013 ректор Моск. педагогич. гос. ун-та. С 2012 гл. редактор ж. «Квант».
Осн. труды по математич. логике, кибернетике, теоретич. информатике. Получил важные результаты в области формальных грамматик, схем программ и динамич. логик, реляционных алгебр, разрешающих алгоритмов для ряда математич. теорий. Решил проблему Колмогорова о точной оценке сложности теста на случайность. Внёс существенный вклад в создание информац. систем образования. Пр. им. А. Н. Колмогорова РАН (2006).