Это не официальный сайт wikipedia.org 01.01.2023

Семёнов, Алексей Львович — Википедия

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

(перенаправлено с «Семенов, Алексей Львович»)

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

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

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

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

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

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

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

 
А. Л. Семёнов на Вики-конференции 2022

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

 
А. Л. Семёнов на вручении красных дипломов студентам МПГУ (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 языках ООН.
  • Андрей Угланов. Академик Алексей Семёнов: Взгляды Германа Грефа заставляют нас задуматься о происходящем  (неопр.). Аргументы недели № 50(794) (21 декабря 2021). Дата обращения: 2 сентября 2022.

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

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

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

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

ПримечанияПравить

  1. «Школа игнорирует цифровые технологии или даже противостоит им».
  2. Семенов Алексей Львович (СУНЦ).
  3. СЕМЁНОВ Алексей Львович (МПГУ).
  4. СЕМЁНОВ Алексей Львович (РАО).
  5. Указ Президента Российской Федерации от 26.02.1997 г. № 132  (рус.). Президент России. Дата обращения: 5 сентября 2020. Архивировано 26 мая 2018 года.
  6. Указ Президента Российской Федерации от 06.10.1998 г. № 1200  (рус.). Президент России. Дата обращения: 5 сентября 2020. Архивировано 14 июня 2022 года.
  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. Архивировано 6 октября 2021 года.
  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. Архивировано 1 апреля 2022 года.
  12. Указ Президента Российской Федерации от 15.05.2010 г. № 609  (рус.). Президент России. Дата обращения: 22 декабря 2020. Архивировано 25 января 2021 года.
  13. Распоряжение Президента Российской Федерации от 03.05.2012 г. № 213-рп  (рус.). Президент России. Дата обращения: 5 сентября 2020.
  14. Указ Президента Российской Федерации от 28.07.2016 г. № 359  (рус.). Президент России. Дата обращения: 5 сентября 2020. Архивировано 1 декабря 2020 года.
  15. 161 статья, 244 книги.
  16. Семёнов А. Л. — научные работы в системе Истина МГУ  (неопр.). Дата обращения: 1 октября 2020. Архивировано 18 сентября 2020 года.
  17. Семёнов А. Л. — научные работы на портале Mathnet  (неопр.). Дата обращения: 31 декабря 2021. Архивировано 22 февраля 2020 года.

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