Семёнов, Алексей Львович

Алексе́й Льво́вич Семёнов (род. 13 октября 1950, Москва, СССР) — советский и российский учёный-математик, доктор физико-математических наук, академик РАН (2011), академик РАО (2010). Заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ. Заведующий лабораторией инженерии знаний Института исследования сложных математических систем[2]. Советник ректора МГУ (2023). Директор Института кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН, лауреат премии ЮНЕСКО[3].

Общие сведения
Алексей Львович Семёнов
Ректор Московского педагогического государственного университета
Начало полномочий 31 августа 2013 года
Окончание полномочий 12 ноября 2016 года
Предшественник Матросов, Виктор Леонидович
Преемник Лубков, Алексей Владимирович
Личные данные
Дата рождения 13 октября 1950(1950-10-13) (75 лет)
Место рождения
Страна
Научная сфера математика
Учёная степень доктор физико-математических наук
Учёное звание профессор (1998),
академик РАО (2010)
академик РАН (2011)
Образование
Сайт alsemenov.ru

Биография

Родился 13 октября 1950 года в Москве, в семье инженеров ― Льва Афанасьевича Семёнова и Евгении Тихоновны Семёновой. Окончил московскую школу № 7 с углублённым изучением математики и информатики. Поступил на мехмат МГУ, который окончил в 1972 году. Остался в аспирантуре на кафедре математической логики, научный руководитель — А. А. Мучник. Кандидат физико-математических наук (1975, диссертация «Об определимости в некоторых разрешимых теориях»), доктор физико-математических наук (1984, диссертация «Логические теории одноместных функций на натуральном ряде», защищена в МИАН им. В. А. Стеклова).

Научная и административная деятельность

Специалист в области математической логики, кибернетики, теоретической информатики, образования. Наряду с научной, вёл педагогическую работу: сначала преподавал в своей бывшей школе, затем — в колмогоровском интернате при МГУ (СУНЦ МГУ)[4] и на кафедре математической логики МГУ. Профессор (1998).

Заведовал лабораторией теории алгоритмов и лингвистического обеспечения научного совета Академии наук СССР по комплексной проблеме «Кибернетика», являлся заместителем руководителя проекта «Школа-1» АН СССР (руководитель — академик Е. П. Велихов). Соавтор первого учебника информатики для всех советских школ. В дальнейшем — руководитель авторских коллективов учебников по математике и информатике для начальной и основной школы. Был заместителем руководителя Департамента образования города Москвы.

В 1993—2013 годах — ректор Московского института открытого образования — МИОО (до 2002 года — Московский институт повышения квалификации работников образования). В 2003 году воссоздал школу № 179 как часть МИОО и вернул для работы в ней математика и педагога Н. Н. Константинова.

undefined

В 2013—2016 годах — ректор Московского педагогического государственного университета (МПГУ)[5]. С 1 сентября 2018 года — заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ им. М. В. Ломоносова. С 2015 года — директор Института кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН.

undefined

Действительный член Российской академии наук по отделению математических наук с 29 декабря 2011 года, академик Российской академии образования с 19 ноября 2010 года[6].

Редакторская деятельность

В 2012—2018 годах — главный редактор журнала «Квант». С 2021 года — главный редактор журнала «Доклады Российской академии наук. Математика, информатика, процессы управления»[7][8].

Входит в состав редакционных коллегий научных журналов «Проблемы современного образования», «Стратегирование: теория и практика»[7][9].

Экспертная деятельность

Участвовал в разработке образовательных стандартов для школы: в 1996 году для Москвы, ФГОС 2004 и 2009 годов.

Председатель научно-методического совета Федерального института педагогических измерений (ФИПИ) по государственной итоговой аттестации (ГИА) по математике, член научно-методического совета ФИПИ по ГИА по информатике[10][11].

Награды и звания

Публикации

Автор более 400 научных трудов[24][25] по математике, информатике и образованию[25][26].

Математика. Наиболее значимые работы и публикации

  • The Lattice of Definability. Origins, Recent Developments, and Further Directions. Lecture Notes in Computer Science. Springer, 2014. V. 8476. — P. 23 — 38.
  • Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности. Доклады Академии наук. 2003 в соавторстве с Ан. А. Мучником. Т. 391. № 6. — С. 738—740.
  • Теория алгоритмов: основные открытия и приложения (Наука, 1987) в соавторстве с В. А. Успенским.
  • Decidability of Monadic Theories. Lecture Notes in Computer Science, 1984. V. 176. — P. 162—175.

Информатика и ИКТ в образовании. Наиболее значимые работы и публикации

  • Концептуальные проблемы информатики, алгоритмики и программирования в школе. Вестник кибернетики. Международный журнал, № 2(22), 2016. — С. 11 — 15.
  • Формирование ИКТ-компетентности младших школьников, пособие для учителей начальной школы и руководителей образовательных организаций. (Просвещение, 2012) в соавторстве с Е. И. Булин-Соколовой, Т. А. Рудченко, Е. Н. Хохловой.
  • Информатика в начальном образовании: Рекомендации (ЮНЕСКО, 2000).
  • Информационные и коммуникационные технологии в общем образовании: теория и практика (ЮНЕСКО, 2006), доступно на 3 языках ООН.
  • Андрей Угланов. Академик Алексей Семёнов: Взгляды Германа Грефа заставляют нас задуматься о происходящем. Аргументы недели № 50(794) (21 декабря 2021). Дата обращения: 2 сентября 2022.

Педагогическое образование. Наиболее значимые работы и публикации

  • Учим учиться и учить. О возрождении педагогического образования, принципах работы педагогического университета и перспективах его выпускников. Российская газета, 7127(259), 15 ноября, 2016.
  • Информационные и коммуникационные технологии в подготовке преподавателей: Руководство по планированию (ЮНЕСКО, 2005).

Разработка учебников. Наиболее значимые работы

  • Основы информатики и вычислительной техники. Учебник для средней школы под ред. А. П. Ершова, авторы — А. Л. Семёнов, А. П. Ершов, А. Г. Кушниренко, Г. В. Лебедев (Просвещение, 1988). Первый учебник информатики для школы в СССР.
  • УМК «Информатика» / А. Л. Семёнов и др. для 1—4 и 5—6 классов.
  • Курс «Математика и информатика» для начальной школы (1-4 классы) / А. Л. Семёнов и др.

Примечания

  1. Mathematics Genealogy Project (англ.) — 1997.
  2. ИМИСС МГУ.
  3. «Школа игнорирует цифровые технологии или даже противостоит им».
  4. Семенов Алексей Львович (СУНЦ).
  5. СЕМЁНОВ Алексей Львович (МПГУ).
  6. СЕМЁНОВ Алексей Львович (РАО).
  7. 1 2 Семёнов Алексей Львович. Российская академия наук. Дата обращения: 30 июля 2026.
  8. Доклады Российской академии наук. Математика, информатика, процессы управления. sciencejournals.ru. Дата обращения: 30 июля 2026.
  9. Семёнов Алексей Львович. hse.ru. НИУ ВШЭ. Дата обращения: 30 июля 2026.
  10. Проекты и достижения. alsemenov.ru. Дата обращения: 30 июля 2026.
  11. Главная страница. alsemenov.ru. Дата обращения: 30 июля 2026.
  12. Указ Президента Российской Федерации от 26.02.1997 г. № 132. Президент России. Дата обращения: 5 сентября 2020. Архивировано 26 мая 2018 года.
  13. Указ Президента Российской Федерации от 06.10.1998 г. № 1200. Президент России. Дата обращения: 5 сентября 2020. Архивировано 14 июня 2022 года.
  14. Вручён в 2000 году за заслуги в области образования России. Приказ от 13.10.2000 № I0-I64. OO № I67I0
  15. Указ Президента РФ от 05.02.2005 N 128. rulaws.ru. Дата обращения: 5 сентября 2020.
  16. Именные премии и медали. www.ras.ru. Дата обращения: 5 сентября 2020. Архивировано 6 октября 2021 года.
  17. Распоряжение Правительства РФ от 28.08.2009 N 1246-р. rulaws.ru. Дата обращения: 5 сентября 2020.
  18. Rector of Moscow Institute of Open Education and Jordan's Ministry of Information and Communications Technology to receive 2009 UNESCO King Hamad Bin Isa Al-Khalifa Prize | United Nations Educational, Scientific and Cultural Organization. www.unesco.org. Дата обращения: 30 июля 2026. Архивировано 1 апреля 2022 года.
  19. Указ Президента Российской Федерации от 15.05.2010 г. № 609. Президент России. Дата обращения: 22 декабря 2020. Архивировано 25 января 2021 года.
  20. Распоряжение Президента Российской Федерации от 03.05.2012 г. № 213-рп. Президент России. Дата обращения: 5 сентября 2020.
  21. Указ Президента Российской Федерации от 28.07.2016 г. № 359. Президент России. Дата обращения: 5 сентября 2020. Архивировано 1 декабря 2020 года.
  22. Семенов Алексей Львович. НИУ ВШЭ. Дата обращения: 30 июля 2026.
  23. Орден Александра Невского. Институт образования НИУ ВШЭ. Дата обращения: 30 июля 2026.
  24. Семёнов Алексей Львович. Российская академия наук. Дата обращения: 30 июля 2026.
  25. 1 2 254 статьи, 325 книг. Источник: Семёнов А. Л. — научные работы в системе Истина МГУ. Дата обращения: 30 июля 2026. Архивировано 18 сентября 2020 года.
  26. Семёнов А. Л. — научные работы на портале Mathnet. Дата обращения: 31 декабря 2021. Архивировано 22 февраля 2020 года.

Ссылки

Дополнительно по теме

Категории