Семёнов Алексей Львович
пользователь
ответственный
доктор физико-математических наук с 1984 года
академик РАН с 22 декабря 2011 г.
профессор по кафедре с 18 февраля 1998 г.
Прежние места работы (Нажмите для отображения)
Количество цитирований статей в журналах по данным
Web of Science: 231,
Scopus: 149
РИНЦ:
IstinaResearcherID (IRID): 8592726
Деятельность
Статьи в журналах
2022
Николай Николаевич Константинов (некролог)
Арлазаров В.Л. ,
Белов А.Я. ,
Бугаенко В.О. ,
Васильев В.А. ,
Городенцев А.Л. ,
Дориченко С.А. ,
Ильяшенко Ю.С. ,
Имайкин В.М. ,
Комаров С.И. ,
Кушниренко А.Г. ,
Лысов Ю.П. ,
Семёнов А.Л. ,
Тихомиров В.М. ,
Толпыго А.К. ,
Хованский А.Г. ,
Якушкин П.А. ,
Ященко И.В.
в журнале Успехи математических наук , издательство Наука (М.) , том 77, № 3(465), с. 161-170
DOI
2021
Памяти Константина Владимировича Рудакова (21.06.1954 – 10.07.2021)
Воронцов К.В. ,
Журавлев Ю.И. ,
Забежайло М.И. ,
Майсурадзе А.И. ,
Пушняков А.С. ,
Соколов И.А. ,
Семёнов А.Л. ,
Таханов Р. ,
Торшин И.Ю. ,
Черепнин А.А. ,
Чехович Ю.В.
в журнале Компьютерные исследования и моделирование , издательство Автономная некоммерческая организация Ижевский институт компьютерных исследований (Ижевск) , том 13, № 4, с. 675-676
DOI
2021
Сергей Иванович Адян (некролог)
Атабекян В.С. ,
Беклемишев Л.Д. ,
Бухштабер В.М. ,
Гончаров С.С. ,
Губа В.С.,
Ершов Ю.Л.,
Козлов Лысёнок В.В.И.Г ,
Новиков С.П. ,
Осипов Ю.С. ,
Пентус М.Р. ,
Подольский В.В. ,
Разборов А.А. ,
Садовничий В.А. ,
Семенов А.Л. ,
Таламбуца А.Л. ,
Трещев Д.В. ,
Шеврин Л.Н.
в журнале Успехи математических наук , издательство Наука (М.) , том 76, № 1(457), с. 191-194
DOI
2020
Школа возможностей как ответ на время перемен. Приглашение к дискуссии
Малеванов Е. ,
Адамский А. ,
Асмолов А. ,
Фрумин И. ,
Соловейчик А. ,
Реморенко И. ,
Ракова М. ,
Семенов А. ,
Абанкина И. ,
Марголис А.
в журнале Образовательная политика , том 2, № 82, с. 8-17
2019
Владимир Андреевич Успенский (27.11.1930–27.06.2018)
Адян С.И. ,
Андреев Н.Н. ,
Беклемишев Л.Д. ,
Гончаров С.С. ,
Ершов Ю.Л.,
Матиясевич Ю.В. ,
Осипов Ю.С. ,
Пентус М.Р. ,
Плунгян В.А. ,
Рахилина Е.В. ,
Садовничий В.А. ,
Семёнов А.Л. ,
Татевосов С.Г. ,
Тихомиров В.М. ,
Шень А.Х.
в журнале Успехи математических наук , издательство Наука (М.) , том 74, № 4(448), с. 165-180
2018
Памяти Александра Сергеевича Холодова
Четверушкин Б.Н. ,
Тыртышников Е.Е. ,
Кудрявцев Н.Н.,
Дымников В.П.,
Журавлев Ю.И. ,
Сон Е.Э. ,
Рудаков К.В. ,
Евтушенко Ю.Г.,
Жижченко А.Б. ,
Гуляев Ю.В.,
Бугаев А.С.,
Коновалов А.Н.,
Маслов В.П.,
Бердышев В.М.,
Семенов А.Л. ,
Моисеев Е.И.,
Петров И.Б.,
Флеров Ю.А. ,
Поспелов И.Г. ,
Кабанихин С.И. ,
Якобовский М.В. ,
Тишкин В.Ф. ,
Василевский Ю.В. ,
Шананин А.А. ,
Гущин В.А.,
Никитин И.С. ,
Лобанов А.И. ,
Демченко В.В. ,
Ступицкий Е.Л. ,
Якушев В.Л.,
Бабаков А.В.,
Шевелев Ю.Д. ,
Ишанов С.А. ,
Рябенький В.С.
в журнале Математическое моделирование , издательство Российская академия наук (Москва) , том 30, № 1, с. 135-136
2017
Юбилей профессора М. В. Шамолина
Аграчев А.А. ,
Гамкрелидзе Р.В. ,
Голод Е.С. ,
Жижченко А.Б. ,
Журавлев Ю.И. ,
Козлов В.В. ,
Михалев А.В. ,
Овчинников А.В. ,
Розов Н.Х. ,
Семенов А.Л. ,
Чирский В.Г. ,
Шамолин В.А.
в журнале Итоги науки и техники. Серия "Современная математика и ее приложения. Тематические обзоры" , том 134, с. 3-5
2014
Georgy Maksimovich Adelson-Velsky (obituary)
Arlazarov V.L. ,
Dinitz E.A. ,
Ilyashenko Yu S. ,
Karzanov A.V. ,
Karpenko S.M. ,
Kirillov A.A. ,
Konstantinov N.N. ,
Kronrod M.A. ,
Kuznetsov O.P. ,
Okun' L.B. ,
Pevzner P.A. ,
Semenov A.L. ,
Faradzhev I.A. ,
Cherkasskii B.V. ,
Khovanskii A.G.
в журнале Russian Mathematical Surveys , издательство Turpion - Moscow Ltd. (United Kingdom) , том 69, № 4, с. 743-751
DOI
2014
Nikolai Petrovich Dolbilin (on his 70th birthday)
Andreev N.N. ,
Buchstaber V.M. ,
Garber A.I. ,
Kozlov V.V.,
Konovalov S.P. ,
Mal'tsev A.A. ,
Nesterenko Yu V. ,
Novikov S.P. ,
Parshin A.N. ,
Sabitov I.Kh ,
Semenov A.L. ,
Sergeev A.G. ,
Sheinman O.K. ,
Shtogrin M.I. ,
Nikolai Petrovich Shchepin E.V.
в журнале Russian Mathematical Surveys , издательство Turpion - Moscow Ltd. (United Kingdom) , том 69, № 1, с. 181-182
2014
Георгий Максимович Адельсон-Вельский (некролог)
Арлазаров В.Л. ,
Диниц Е.А. ,
Ильяшенко Ю.С. ,
Карзанов А.В. ,
Карпенко С.М. ,
Кириллов А.А.,
Константинов Н.Н. ,
Кронрод М.А. ,
Кузнецов О.П.,
Окунь Л.Б. ,
Певзнер П.А. ,
Семенов А.Л. ,
Фараджев И.А. ,
Черкасский Б.В. ,
Хованский А.Г.
в журнале Успехи математических наук , издательство Наука (М.) , том 69, № 418, с. 169-176
2014
Николай Петрович Долбилин (к семидесятилетию со дня рождения)
Андреев Н.Н. ,
Бухштабер В.М. ,
Гарбер А.И. ,
Козлов В.В. ,
Коновалов С.П. ,
Мальцев А.А. ,
Нестеренко Ю.В. ,
Новиков С.П. ,
Паршин А.Н. ,
Сабитов И.Х. ,
Семёнов А.Л. ,
Сергеев А.Г. ,
Шейнман О.К. ,
Штогрин М.И. ,
Щепин Е.В.
в журнале Успехи математических наук , издательство Наука (М.) , том 69, № 1, с. 187-188
DOI
2013
Михаил Абрамович Тайцлин (1936–2013)
Архангельский Д.А. ,
Байжанов Б.С.,
Белеградек О.В. ,
Беляев В.Я. ,
Бокуть Л.А. ,
Валиев М.К. ,
Водопьянов С.К. ,
Гитик М. ,
Гуревич Ю.Ш. ,
Дадеркин Д.О. ,
Дехтярь А.М.,
Дехтярь М.И. ,
Диковский А.Я. ,
Дудаков С.М.,
Зельманов Е.И. ,
Зильбер Б.И. ,
Крушкаль С.Л. ,
Кутателадзе С.С. ,
Матиясевич Ю.В. ,
Минц Г.Е. ,
Мусикаев И.Х. ,
Ребров А.К. ,
Решетняк Ю.Г. ,
Семенов А.Л. ,
Столбоушкин А.П. ,
Тайманов И.А. ,
Трахтенброт Б.А.
в журнале Сибирские электронные математические известия , № 10, с. 54-65
2011
Sergei Ivanovich Adian (on his eightieth birthday)
Beklemishev L.D. ,
Buchstaber V.M. ,
Lysenok I.G. ,
Mal'tsev A.A.,
Novikov S.P. ,
Razborov A.A.,
Semenov A.L.
в журнале Russian Mathematical Surveys , издательство Turpion - Moscow Ltd. (United Kingdom) , том 66, № 1, с. 197-198
2011
Сергей Иванович Адян (к восьмидесятилетию со дня рождения)
Беклемишев Л.Д. ,
Бухштабер В.М. ,
Лысенок И.Г. ,
Мальцев А.А.,
Новиков С.П. ,
Разборов А.А.,
Семенов А.Л.
в журнале Успехи математических наук , издательство Наука (М.) , том 66, № 1, с. 199-200
2009
Памяти Владимира Владимировича Бронфмана
Алексеев И.Г.,
Волошин М.В.,
Гиппиус Н.А.,
Данилов М.В.,
Казанцев Д.В. ,
Миронов А.Д.,
Морозов А.Ю.,
Окунь Л.Б. ,
Рубаков В.А.,
Свирида Д.Н.,
Семенов А.Л. ,
Тиняков П.Г.
в журнале Успехи физических наук , издательство Наука (М.) , том 179, № 12, с. 1373-1374
2006
Sergei Ivanovich Adian (on his 75th birthday)
Beklemishev L.D. ,
Lysenok I.G.,
Mal'tsev A.A.,
Novikov S.P. ,
Pentus M.R. ,
Razborov A.A.,
Semenov A.L. ,
Uspenskii V.A.
в журнале Russian Mathematical Surveys , издательство Turpion - Moscow Ltd. (United Kingdom) , том 61, № 3, с. 575-588
2006
Сергей Иванович Адян (к 75-летию со дня рождения)
Беклемишев Л.Д. ,
Лысенок И.Г. ,
Мальцев А.А.,
Новиков С.П. ,
Пентус М.Р. ,
Разборов А.А.,
Семенов А.Л. ,
Успенский В.А.
в журнале Успехи математических наук , издательство Наука (М.) , том 61, № 3, с. 179-191
1992
Boris Émil'evich Shapirovskii (obituary)
Arkhangel'skii A.V. ,
Pasynkov B.A. ,
Ponomarev V.I.,
Fedorchuk V.V.,
Gul'ko S.P. ,
Malykhin V.I. ,
Semenov A.L. ,
Shchepin E.V.,
Amirdzhanov G.P. ,
Kombarov A.P.,
Ranchin D.V. ,
Uspenskii V.V. ,
Shapiro L.B.,
Shostak A.P.
в журнале Russian Mathematical Surveys , издательство Turpion - Moscow Ltd. (United Kingdom) , том 47, № 6, с. 199-201
1992
Борис Эмильевич Шапировский (некролог)
Архангельский А.В. ,
Пасынков Б.А. ,
Пономарев В.И.,
Федорчук В.В.,
Гулько С.П. ,
Малыхин В.И. ,
Семeнов А.Л. ,
Щепин Е.В.,
Амирджанов Г.П. ,
Комбаров А.П. ,
Ранчин Д.В. ,
Успенский В.В. ,
Шапиро Л.Б.,
Шостак А.П.
в журнале Успехи математических наук , издательство Наука (М.) , том 47, № 6, с. 199-200
Статьи в сборниках
2014
The Lattice of Definability. Origins, Recent Developments, and Further Directions
Semenov Alexei ,
Soprunov Sergey ,
Uspensky Vladimir
в сборнике Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings , серия Lecture Notes in Computer Science , издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ) , том 8476, с. 23-38
DOI
редактор
Верещагин Николай Константинович
2008
Computer science – theory and applications. Third international computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7–12, 2008. Proceedings. Preface
Hirsch E.A.,
Razborov A.A. ,
Semenov A.L. ,
Slissenko A.
в сборнике Lecture Notes in Computer Science , место издания Springer Berlin , том 5010, с. 3
1984
Decidability of Monadic Theories
Semenov Alexei
в сборнике Mathematical Foundations of Computer Science 1984, 11th Symposium, MFCS 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings , серия Lecture Notes in Computer Science , место издания Springer , том 176, с. 162-175
DOI
1981
What are the gains of the theory of algorithms: Basiс developments connected with the concept of algorithm and with its application in mathematics
Uspensky Vladimir ,
Semenov Alexei
в сборнике Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979 , серия Lecture Notes in Computer Science , место издания Springer , том 122, с. 100-234
DOI
Книги
2014
К демонстрационной версии ЕГЭ от 31.10.13 МАТЕМАТИКА Базовый и профильный уровни ЕГЭ 2014
Высцкий И.Р. ,
Захаров П.И. ,
Панфёров В.С. ,
Посицельский С.Е. ,
Семенов А.В.,
Семёнова М.А. ,
Сергеев И.Н. ,
Смирнов В.А. ,
Шестаков С.А. ,
Шноль Д.Э. ,
Семёнов А.Л. ,
Ященко И.В.
место издания ЭКЗАМЕН Москва , ISBN 978-5-377-07945-3, 216 с.
2014
МАТЕМАТИКА Базовый и профильный уровни ЕГЭ 2014 Типовые тестовые задания
Высоцкий И.Р. ,
Захаров П.И. ,
Панфёров В.С. ,
Посицельский С.Е.,
Семенов А.В.,
Семёнова М.А. ,
Сергеев И.Н. ,
Смирнов В.А.,
Шестаков С.А. ,
Шноль Д.Э. ,
Семёнов А.Л. ,
Ященко И.В.
место издания ЭКЗАМЕН Москва , ISBN 978-5-377-07669-8, 56 с.
2014
МАТЕМАТИКА С теорией вероятности и статистикой ЕГЭ 2014
Высоцкий И.Р. ,
Захаров П.И. ,
Панфёров В.С. ,
Посицельский С.Е.,
Семенов А.В.,
Семёнова М.А. ,
Сергеев И.Н. ,
Смирнов В.А.,
Шестаков С.А. ,
Шноль Д.Э. ,
Семёнов А.Л. ,
Ященко И.В.
место издания ЭКЗАМЕН Москва , ISBN 978-5 337 07017-7, 95 с.
2014
МАТЕМАТИКА С теорией вероятности и статистикой ЕГЭ 2014
Высцкий И.Р. ,
Захаров П.И. ,
Панфёров В.С. ,
Посицельский С.Е.,
Семенов А.В.,
Семёнова М.А. ,
Сергеев И.Н. ,
Смирнов В.А.,
Шестаков С.А. ,
Шноль Д.Э. ,
Семёнов А.Л. ,
Ященко И.В.
место издания ЭКЗАМЕН Москва , ISBN 978-5-337-07028-3, 55 с.
2014
Методические рекомендации для школ Российской Федерации по проведению уроков и внеклассных мероприятий, посвящённых воссоединению России и Крыма
Семенов А.Л. ,
Волков В.А.,
Воронин В.Е. ,
Грищенко А.И.,
Клименко А.В. ,
Козарезова О.О. ,
Коровин В.И. ,
Кузьмин А.Ю. ,
Лачаева М.Ю. ,
Лубков А.В. ,
Можайский А.Ю. ,
Несмелова М.Л. ,
Нидерман И.А. ,
Пржиленская И.Б. ,
Святославский А.В.,
Славина В.А. ,
Синелобов А.П. ,
Трубина Л.А. ,
Фидченко О.В. ,
Цветков В.Ж.,
Чураков Д.О.,
Шалоткина Н.А. ,
Юркина Н.Н.
место издания МПГУ Москва , 292 с.
2012
ICT in Primary Education, Volume 1: Exploring the Origins, Settings and Initiatives
Kalas I. ,
Bannayan H.E. ,
Conery L. ,
Laval E. ,
Laurillard D. ,
Lim C.P.,
Musgrave S. ,
Semenov A. ,
Tursanyi-Szabo M.
место издания UNESCO Institute for Information Technologies in Education Москва
2010
ЕГЭ 2010. Математика. Типовые тестовые задания
Ященко Иван Валерьевич ,
Высоцкий И.Р. ,
Гущин Д.Д. ,
Захаров П.И. ,
Посицельский Семен Ефимович ,
Семенов А.В.,
Шестаков С.А. ,
Шноль Дмитрий Эммануилович ,
Смирнов В.А.,
Панферов Валерий Семенович ,
Семенова М.А.,
Семенов А.Л.
место издания Экзамен Москва , ISBN 978-5-377-03390-5, 64 с.
Доклады на конференциях
2014
The Lattice of Definability. Origins, Recent Developments, and Further Directions
(Пленарный)
Авторы:
Semenov A. ,
Uspensky V. ,
Soprunov S.
CSR 2014: The 9th International Computer Science Symposium in Russia, Moscow, June 6-12, 2014. , Москва, Россия, 2014
Тезисы докладов
НИРы
1 января 2021 - 31 декабря 2025
Алгоритмические и семантические вопросы математической логики. 2021-2025
Кафедра математической логики и теории алгоритмов
Руководитель:
Семёнов А.Л.
Ответственные исполнители:
Золин Е.Е. ,
Оноприенко А.А. ,
Пентус М.Р.
Участники НИР:
Беклемишев Л.Д. ,
Белов А.Я. ,
Верещагин Н.К. ,
Крупский В.Н. ,
Кузнецов С.Л. ,
Любецкий В.А. ,
Плиско В.Е. ,
Сорокин А.А. ,
Шехтман В.Б. ,
Яворская Т.Л.
1 января 2016 - 31 декабря 2020
Алгоритмические и семантические вопросы математической логики. 2016-2020
Кафедра математической логики и теории алгоритмов
Руководители:
Семёнов А.Л. ,
Успенский В.А.
Ответственные исполнители:
Золин Е.Е. ,
Пентус М.Р.
Участники НИР:
Адян С.И. ,
Беклемишев Л.Д. ,
Верещагин Н.К. ,
Крупский В.Н. ,
Кузнецов С.Л. ,
Любецкий В.А. ,
Плиско В.Е. ,
Семёнов А.Л. ,
Сорокин А.А. ,
Шехтман В.Б. ,
Яворская Т.Л.
Награды и премии
2009
Премия правительства РФ в области образования
Лауреаты:
Семенов Алексей Львович ,
Барышникова Марина Юрьевна ,
Авдеева Светлана Михайловна ,
Коваленко Сергей Константинович ,
Башев Вячеслав Владимирович ,
Кузнецов Александр Андреевич ,
Кулагин Владимир Петрович ,
Нисимов Станиславу Уриловичу ,
Уварову Александру Юрьевичу ,
Фрумину Исаку Давидовичу
Правительство РФ, Россия
1998
Премия Президента РФ в области образования за 1997 г.
Лауреаты:
Семенов Алексей Львович ,
Яблонский Владимир Борисович ,
Сопрунов Сергей Федорович ,
Рудченко Татьяна Александровна ,
Шабат Георгий Борисович ,
Булин-Соколова Елена Игоревна ,
Шапиро Михаил Аронович ,
Ездов Александр Анатольевич ,
Кутукова Ольга Григорьевна ,
Сафонова Ирина Павловна
Президент РФ, Россия
Членство в научных обществах
Почетное членство в организациях
Участие в редколлегии журналов
1 марта 2012 - 1 марта 2018
Квант
издательство
Квант
(М.)
главный редактор
Участие в программных комитетах конференций
9-11 декабря 2015
От информатики в школе к техносфере образования
Член организационного комитета
Москва, Российская академия образования, Московский городской педагогический университет, Московский педагогический государственный университет, Россия
Членство в диссертационных советах
с 10 января 2022
МГУ.011.4(МГУ.01.17), МГУ имени М.В. Ломоносова, Механико-математический факультет
01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Действующие члены совета:
Чубариков В.Н. ,
Иванов А.О. ,
Гашков С.Б. ,
Беклемишев Л.Д. ,
Богатый С.А. ,
Геворкян П.С. ,
Зайцев М.В. ,
Кочергин В.В. ,
Мануйлов В.М. ,
Михалёв А.В. ,
Мищенко А.С. ,
Нестеренко Ю.В. ,
Орлов Д.О. ,
Панов Т.Е. ,
Садовничий Ю.В. ,
Семёнов А.Л. ,
Фоменко А.Т. ,
Чирский В.Г. ,
Шафаревич А.И. ,
Шелехов А.М.
с 12 апреля 2021
МГУ.13.02, МГУ имени М.В. Ломоносова, Механико-математический факультет
13.00.02 - Теория и методика обучения и воспитания (по областям и уровням образования) (пед. науки)
Действующие члены совета:
Мельников И.И. ,
Сергеев И.Н. ,
Салова Т.В. ,
Боровских А.В. ,
Деза Е.И. ,
Ильин А.В. ,
Прокофьев А.А. ,
Садовничая И.В. ,
Семёнов А.Л. ,
Фомичев В.В. ,
Чирский В.Г.
Руководство диссертациями
2019
Внешние биллиарды вне правильных многоугольников: множества полной меры, апериодические точки и множества периодов
Кандидатская диссертация по специальности 01.01.02 - Дифференциальные уравнения, динамические системы и оптимальное управление (физ.-мат. науки)
Автор:
Рухович Ф.Д.
Научные руководители:
Канель-Белов А.Я. , д.ф.-м.н., доц., МГУ имени М.В. Ломоносова,
Семенов А.Л. , д.ф.-м.н., проф., акад. РАН, МГУ имени М.В. Ломоносова
Защищена в совете
Ученый Совет МФТИ
при МФТИ
Организация, в которой выполнялась работа:
МФТИ
Ведущая организация:
Высшая школа Экономики
Внешние биллиарды вне правильных многоугольников: множества полной меры, апериодические точки и множества периодов
Принята к защите
Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (техн. науки)
Соискатель:
Рухович Филипп Дмитриевич
Научные руководители:
Белов А.Я. , д.ф.-м.н., доц., МГУ имени М.В. Ломоносова,
Семенов А.Л. , д.ф.-м.н., проф., акад. РАН, МГУ имени М.В. Ломоносова
Организация, в которой выполнялась работа:
Федеральное государственное автономное образовательное учреждение высшего образования "Московский физико-технический институт (национальный исследовательский университет)"
Диссертации
Руководство дипломными работами
Авторство учебных курсов
Преподавание учебных курсов
Выступление в СМИ