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

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

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

Биография

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

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

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

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

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

Вручение красных дипломов студентам МПГУ, 12 августа 2015 года

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

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

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

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

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

Публикации

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

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

  • 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 языках ООН.

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

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

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

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

Примечания

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

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.