Меню

Главная
Случайная статья
Настройки
Семёнов, Алексей Львович
Материал из https://ru.wikipedia.org

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

Содержание

Биография

Родился в 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 «О награждении государственными наградами Российской Федерации». Дата обращения: 6 февраля 2024. Архивировано 5 февраля 2024 года.
  19. 161 статья, 244 книги.
  20. Семёнов А. Л. — научные работы в системе Истина МГУ. Дата обращения: 1 октября 2020. Архивировано 18 сентября 2020 года.
  21. Семёнов А. Л. — научные работы на портале Mathnet. Дата обращения: 31 декабря 2021. Архивировано 22 февраля 2020 года.


Ссылки
Downgrade Counter