Семёнов Алексей Львович
Семёнов Алексей Львович
Телефоны
Адрес электронной почты
Академические должности
Должность
Организационная структура
Дата активности
Должность
член бюро отделения
Должность
член секции
Должности в журналах
Должность
Журнал
Дата активности
Должность
главный редактор
Доклады Российской академии наук. Математика, информатика, процессы управления
Профиль
Научные интересы
Математическая логика и теория алгоритмов, Искусственный интеллект, фундаментальные проблемы общего и педагогического образования, цифровые технологии в образовании.
Научные публикации
• Семенов А. Л. Пресбургеровость предикатов, регулярных в двух системах счисления // Сибирский математический журнал. 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.
Место работы и должность
МГУ им. М. В. Ломоносова, зав. кафедрой математической логики и теории алгоритмов.