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

Телефоны
Адрес электронной почты
Академические должности
Должность
Организационная структура
Дата активности
Должность
член бюро отделения
Организационная структура
Телефон
Должность
член секции
Организационная структура
Телефон
Должность
председатель комиссии
Организационная структура
Телефон
Должность
член комиссии
Организационная структура
Телефон
Должности в журналах
Должность
Журнал
Дата активности
Должность
главный редактор
Доклады Российской академии наук. Математика, информатика, процессы управления
Телефон
+7 (499) 135-4071
Профиль
Научные интересы
Математическая логика и теория алгоритмов, Искусственный интеллект, фундаментальные проблемы общего и педагогического образования, цифровые технологии в образовании.
Научные публикации
• Семенов А. Л. Пресбургеровость предикатов, регулярных в двух системах счисления // Сибирский математический журнал. 1977. Т. 18. № 2. – С. 403–418.
• А. Л. Семëнов. О некоторых расширениях арифметики сложения натуральных чисел // Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195.
• Семенов А. Л. Логические теории одноместных функций на натуральном ряде // Известия Академии наук СССР. Серия математическая. 1983. Т. 47, № 3. – С. 623.
• V. Uspensky, A. Semenov. Algorithms: main ideas and applications, Mathematics and its Applications // 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.
• А. Л. Семенов. Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика» // Информатика и образование, 5 (1996), 29
• Мучник Ан. А., Семенов А. Л. О роли закона больших чисел в теории случайности // Проблемы передачи информации. 2003. Т. 39. № 1. – С. 134–165.
• Семенов А. Л., Мучник А. А. Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности // Доклады Академии наук. 2003. Т. 391. № 6. – С. 738–740.
• Alexei Semenov. Information and Communication Technologies in Schools. A Handbook for Teachers or How ICT Can Create New, Open Learning Environments // UNESCO Paris, 2005. – 327 p.
• Семенов А. Л., Сопрунов С. Ф. Решетка определимости. Источники и направления исследований // Чебышёвский сборник, т. XXII, вып. 1(77), 2021. – С. 304–327. https://doi.org/10.22405/2226-8383-2021-22-1-304-327
• Константинов Н. Н., Семенов А. Л. Результативное образование в математической школе // Чебышёвский сборник, т. XXII, вып. 1(77), 2021. – С. 413–446. https://doi.org/10.22405/2226-8383-2021-22-1-413-446.
Премии и награды
• Орден Почёта – присуждён в 2016 году за заслуги в развитии науки, образования, подготовке квалифицированных специалистов и многолетнюю плодотворную работу Указом Президента от 28.07.2016 № 359.
• Благодарность Президента Российской Федерации – объявлена в 2012 году за достигнутые трудовые успехи и многолетнюю добросовестную работу Распоряжением Президента Российской Федерации от 03.05.2012 № 213-рп.
• Орден Дружбы – присуждён в 2010 году за достигнутые трудовые успехи и многолетнюю плодотворную работу Указом Президента Российской Федерации от 15 мая 2010 г. № 609 «О награждении государственными наградами Российской Федерации».
• Лауреат Премии Юнеско за 2009 год – премия ЮНЕСКО имени короля Хамада Бин Исы Аль-Халифа присуждена в 2009 году за применение информационных и коммуникационных технологий в образовании.
Лауреат Премии. • Правительства РФ в области образования – премия вручена в 2009 году за разработку проекта «Информатизация системы образования РФ». Премия присуждена распоряжением Правительства РФ от 28.08.2009 № 1246-р.
• Лауреат премии РАН им. А.Н. Колмогорова – премия вручена за выдающиеся достижения в области математики постановлением от 14 марта 2006 года № 1623 за серию работ «Об уточнении оценок А. Н. Колмогорова, относящихся к теории случайности».
• Почётное звание «Заслуженный работник высшей школы Российской Федерации» – присвоено в 2005 году за заслуги в научно-педагогической деятельности и подготовку квалифицированных кадров Указом Президента РФ от 5 февраля. Удостоверение к государственной награде № 172788.
• Нагрудный знак «Почётный работник общего образования Российской Федерации» – вручен в 2000 году за заслуги в области образования России. Приказ от 13.10.2000 № I0-I64. OO № I67I0.
• Лауреат премии Президента РФ в области образования – присуждена премия Президента России в области образования за 1997 год, за разработку и реализацию комплексной программы информатизации образования московского региона.
• Медаль «В память 850-летия Москвы» – вручена в 1997 году за значительный вклад в развитие города Москва. Медаль в ознаменование 850-летия Москвы утверждена Указом Президента Российской Федерации 26 февраля 1997 года.
• Орден Александра Невского, 2024 г.
Персональные профили исследователя
• Web of Science: S-5268-2018.
• Scopus: 7402499019.
• РИНЦ: 113589.
• ORCID: 0000-0002-1785-2387.
• MathSciNet: 218197.
Место работы и должность
Федеральное государственное бюджетное образовательное учреждение высшего образования «Московский государственный университет имени М. В. Ломоносова», зав. кафедрой математической логики и теории алгоритмов.