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

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

Биография править

Родился в 1950 году в семье инженеров ― Льва Афанасьевича Семенова и Евгении Тихоновны Семеновой[3]. Окончил московскую школу № 7 с углублённым изучением математики и информатики. Поступил на мехмат МГУ, который окончил в 1972 году, однокурсниками были Г. А. Алексеев, В. А. Васенин, С. В. Гувернюк, А. В. Карапетян, В. В. Козлов, В. Е. Павловский, Е. И. Кугушев, Я. В. Татаринов.

Остался в аспирантуре на кафедре математической логики, научный руководитель — А. А. Мучник. Кандидат физико-математических наук (1975, диссертация «Об определимости в некоторых разрешимых теориях»), доктор физико-математических наук (1984, диссертация «Логические теории одноместных функций на натуральном ряде», защищена в МИАН им. В. А. Стеклова).

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

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

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

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

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

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

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

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

Награды и звания править

Публикации править

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

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

  • 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. ИМИСС МГУ.
  2. «Школа игнорирует цифровые технологии или даже противостоит им».
  3. В девичестве ― Юркина.
  4. Семенов Алексей Львович (СУНЦ).
  5. СЕМЁНОВ Алексей Львович (МПГУ).
  6. СЕМЁНОВ Алексей Львович (РАО).
  7. Указ Президента Российской Федерации от 26.02.1997 г. № 132. Президент России. Дата обращения: 5 сентября 2020. Архивировано 26 мая 2018 года.
  8. Указ Президента Российской Федерации от 06.10.1998 г. № 1200. Президент России. Дата обращения: 5 сентября 2020. Архивировано 14 июня 2022 года.
  9. Вручён в 2000 году за заслуги в области образования России. Приказ от 13.10.2000 № I0-I64. OO № I67I0
  10. Указ Президента РФ от 05.02.2005 N 128. rulaws.ru. Дата обращения: 5 сентября 2020.
  11. Именные премии и медали. www.ras.ru. Дата обращения: 5 сентября 2020. Архивировано 6 октября 2021 года.
  12. Распоряжение Правительства РФ от 28.08.2009 N 1246-р. rulaws.ru. Дата обращения: 5 сентября 2020.
  13. Российский ученый Алексей Семенов награжден престижной премией ЮНЕСКО. РИА Новости (30 ноября 2009). Дата обращения: 26 марта 2019. Архивировано 25 марта 2019 года.
  14. Dr. Alexei Semenov (англ.). www.wise-qatar.org. Дата обращения: 26 марта 2019. Архивировано 25 марта 2019 года.
  15. Указ Президента Российской Федерации от 15.05.2010 г. № 609. Президент России. Дата обращения: 22 декабря 2020. Архивировано 25 января 2021 года.
  16. Распоряжение Президента Российской Федерации от 03.05.2012 г. № 213-рп. Президент России. Дата обращения: 5 сентября 2020.
  17. Указ Президента Российской Федерации от 28.07.2016 г. № 359. Президент России. Дата обращения: 5 сентября 2020. Архивировано 1 декабря 2020 года.
  18. Указ Президента Российской Федерации от 5 февраля 2024 года № 91 «О награждении государственными наградами Российской Федерации»
  19. 161 статья, 244 книги.
  20. Семёнов А. Л. — научные работы в системе Истина МГУ. Дата обращения: 1 октября 2020. Архивировано 18 сентября 2020 года.
  21. Семёнов А. Л. — научные работы на портале Mathnet. Дата обращения: 31 декабря 2021. Архивировано 22 февраля 2020 года.

Ссылки править