#матлог
Поздравляем нашего заведующего кафедрой! 🥳❤️

--------------------------------------------------------------
↪ Механико-математический факультет МГУ
#мехмат_поздравляет #юбилей

13 октября 2025 года исполняется 75 лет заведующему кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ, доктору физико-математических наук, профессору, академику РАН Алексею Львовичу Семенову!

Выпускник механико-математического факультета МГУ Алексей Львович – видный специалист в области математической логики, кибернетики, теоретической информатики и методологии математического образования.

Алексею Львовичу удалось доказать, что свойство натуральных чисел, автоматное в двух существенно разных системах счисления, выражается в арифметике Пресбургера. Работы Алексея Львовича задали опорные точки для нескольких ключевых направлений на стыке логики и вычислений. Обобщение классической теоремы Кобхэма на многомерные отношения закрепило «ось» логика – автоматы – определимость и стало основой дальнейших исследований в теории автоматных последовательностей и арифметике Пресбургера. Затем он занимался вопросами разрешимости теорий, в частности, арифметики сложения с дополнительным одноместным предикатом, систем алгоритмических алгебр и теорий одноместных функций на натуральном ряде, а также вопросами выразимости в теориях первого порядка.

В 1979 году А.Л. Семенов сделал обзорный доклад на симпозиуме «Алгоритмы в современной математике», и материалы этого доклада вошли в книгу «Теория алгоритмов: основные открытия и приложения». Несколько статей (с В.А. Успенским и А. Шенем 1990 года, а также с В.А. Успенским и А.А. Мучником 1998 года) были посвящены алгоритмической случайности. В частности, в последней из них поставлен вопрос о совпадении определения случайности с немонотонными играми и случайности по Мартин-Лёфу, не решённый до сих пор.

С середины 1980-х годов Алексей Львович прикладывал большие усилия к становлению курса информатики в школе и вообще модернизации преподавания разных предметов. Он – соавтор первого учебника информатики для всех советских школ. В дальнейшем — руководитель авторских коллективов учебников по математике и информатике для начальной и основной школы. Параллельно Алексей Львович продолжал исследование почти периодических последовательностей и алгоритмической случайности. В совместной с Андреем Альбертовичем Мучником статье 2003 года он ответил на поставленный А.Н. Колмогоровым в 1962 году вопрос об улучшении оценок из статьи Колмогорова.

С 2015 года Алексей Львович – директор Института кибернетики и образовательной информатики имени А. И. Берга ФИЦ «Информатика и управление» РАН.

Алексей Львович – автор более 400 научных и учебно-методических работ, лауреат ряда орденов, медалей и премий, в том числе премии Юнеско за применение информационных и коммуникационных технологий в образовании. С 2021 года Алексей Львович — главный редактор журнала «Доклады РАН. Математика, информатика, процессы управления»

Алексей Львович сочетает в себе талант ученого и педагога с талантом организатора науки и образования. Коллеги и студенты ценят высокую работоспособность профессора, его преданность науке, верность традициям Московского университета.

Поздравляем Алексея Львовича с юбилеем, желаем новых достижений, крепкого здоровья и счастья!

Фото: Коммерсанъ/Игорь Иванко

➰ ВК