Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Семёнов Алексей Львович

Публикаций: 183 (140)
в MathSciNet: 50 (37)
в zbMATH: 30 (23)
в Web of Science: 29 (18)
в Scopus: 17 (16)
Цитированных статей: 38
Цитирований: 432
Лекций и докладов: 16

Статистика просмотров:
Эта страница:9914
Страницы публикаций:26604
Полные тексты:10865
Списки литературы:1611
Семёнов Алексей Львович
академик РАН
профессор
доктор физико-математических наук
Дата рождения: 13.10.1950
E-mail:
Ключевые слова: Разрешимость логических теорий, определимость в структурах, комбинаторика слов, символическая динамика, почти периодические последовательности определимость, редукты, теорема Свенониуса.
Коды УДК: 517.11, 519.9, 510.53, 510.6, 621.391.1, 519.2, 510.5, 519.101, 517.938, 510.635

Основные темы научной работы

Математические проблемы информатики.

   
Основные публикации:
  1. S. A. Polikarpov, A. L. Semenov, “Mathematics for the 21th Century School: The Russian Experience and International Prospects”, Proceedings of the 13th international Congress on Mathematical Education (ICME-13). (Hamburg 2016), eds. Gabriele Kaiser, Springer International Publishing AG, Cham, Switzerland, 2017, 675–676  crossref
  2. А. Л. Семенов, “О реализации концепции математического образования”, Наука и школа, 6 (2016), 3
  3. A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015), 966–975  mathnet  crossref  isi
  4. А. Л. Семенов, “О фундаментальных понятиях кибернетики и информатики”, Вестник кибернетики, 3(19) (2015), 22–26  elib
  5. A. Semenov, S. Soprunov, V. Uspensky, “The lattice of definability. Origins, recent developments, and further directions”, Computer science—theory and applications, Lecture Notes in Comput. Sci., 8476, Springer, Cham, 2014, 23–38  crossref  mathscinet  zmath  scopus
  6. А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 291–296  mathnet  mathscinet  isi  elib; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272  crossref  mathscinet  isi  elib  scopus
  7. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
  8. Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 64:5(389) (2009), 21–96  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus
  9. 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 pp.; А. Л. Семенов, Информационные и коммуникационные технологии в общем образовании: теория и практика. Авторизованный пер. с англ., переработанный и дополненный, ЮНЕСКО, 2006 , 327 с.
  10. Ан. А. Мучник, А. Л. Семëнов, “О роли закона больших чисел в теории случайности”, Пробл. передачи информ., 39:1 (2003), 134–165  mathnet  mathscinet  zmath; An. A. Muchnik, A. L. Semenov, “On the Role of the Law of Large Numbers in the Theory of Randomness”, Problems Inform. Transmission, 39:1 (2003), 119–147  crossref  mathscinet  zmath
  11. A. L. Semenov, A. A. Muchnik, “An Improvement of Kolmogorov’s Estimates Related to Random Number Generators and a Definition of Randomness in terms of complexity”, Dokl. Akad. Nauk, 68:1 (2003), 132–134  mathnet  mathscinet  zmath; А. Л. Семенов, А. А. Мучник, “Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности”, Доклады Академии наук, 391:6 (2003), 738–740  mathnet  mathscinet  zmath
  12. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  crossref  mathscinet  zmath  isi  scopus
  13. Alexei Semenov, Andrej Muchnik, “40 years of the Origin of Kolmgorov Randomness Theory”, Сб. Колмогоров и современная математика. Тезисы докладов Международной конференции, посвященной 100-летию со дня рождения А. Н. Колмогорова (Москва, 16 – 21 июня 2003), Издательство механико-математического факультета МГУ, 2003, 677–678  mathscinet
  14. A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317  crossref  mathscinet  zmath  isi  scopus
  15. А. Л. Семенов, “Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика»”, Информатика и образование, 5 (1996), 29
  16. V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.  mathscinet
  17. V. A. Uspensky, A. L. Semenov, “Kolmogorov’s Algorithms or Machines”, Selected Works of A. N. Kolmogorov. Vol. III. Information and the Theory of Algorithms., III, Math. Appl. Kluwer Academic Publishers, 1993, 251–260  crossref  mathscinet
  18. В. А. Успенский, А. Л. Семëнов, А. Х. Шень, “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162  mathnet  mathscinet  zmath  adsnasa  isi; V. A. Uspenskii, A. L. Semenov, A. Kh. Shen', “Can an individual sequence of zeros and ones be random?”, Russian Math. Surveys, 45:1 (1990), 121–189  crossref  mathscinet  zmath  adsnasa  isi
  19. В. А. Успенский, А. Л. Семенов, “Алгоритмы, или машины Колмогорова”, А. Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды, ред. А. Н. Ширяев, Наука, Москва, 1987, 279–289  mathscinet
  20. В. А. Успенский, А. Л. Семенов, Теория алгоритмов: основные открытия и приложения, Библиотечка программиста, Наука, 1987 , 288 с.  mathscinet  zmath
  21. А. Л. Семенов, В. А. Успенский, “Математическая логика в вычислительных науках и вычислительной практике”, Вестник Академии наук СССР, 56:7 (1986), 93–103  mathscinet  isi
  22. A. L. Semenov, “Decidability of monadic theories”, Mathematical foundations of computer science, 1984 (Prague, 1984), Lecture Notes in Comput. Sci., 176, Springer, Berlin, 1984, 162–175  crossref  mathscinet  scopus
  23. А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 47:3 (1983), 623–658  mathnet  mathscinet  zmath; A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618  crossref  mathscinet  zmath
  24. А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195  mathnet  mathscinet  zmath  isi; A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418  crossref  mathscinet  zmath  isi
  25. А. Л. Семенов, “Регулярность языков, $k$-линейных для различных $k$”, Доклады Академии наук СССР, 215 (1974), 278–281  mathnet  mathscinet  zmath
  26. A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319  mathnet  mathscinet  mathscinet  zmath; А. Л. Семенов, “Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик”, Доклады Академии наук СССР, 212 (1973), 50–52  mathnet  mathscinet  zmath

https://www.mathnet.ru/rus/person19667
https://ru.wikipedia.org/wiki/Семёнов,_Алексей_Львович
Список публикаций на Google Scholar
https://zbmath.org/authors/ai:semenov.alexei-l
https://mathscinet.ams.org/mathscinet/MRAuthorID/218197
https://elibrary.ru/author_items.asp?spin=2289-1720
ИСТИНА https://istina.msu.ru/workers/8592726
https://orcid.org/0000-0002-1785-2387
https://www.webofscience.com/wos/author/record/S-5268-2018
https://publons.com/researcher/1853196
https://www.scopus.com/authid/detail.url?authorId=7402499019
https://www.researchgate.net/profile/Alexei_Semenov2
https://arxiv.org/a/Asemenov

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. А. Л. Семенов, А. Е. Абылкасымова, Т. А. Рудченко, “Методы искусственного интеллекта в управлении персонализированным общим образованием”, Докл. РАН. Матем., информ., проц. упр., 517 (2024), 5–11  mathnet  crossref  elib; A. L. Semenov, A. Y. Abylkassymova, T. A. Rudchenko, “AI methods in control of personalized general education”, Dokl. Math., 109:3 (2024), 191–196  crossref
2. А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 79:2(476) (2024), 189–193  mathnet  crossref  mathscinet  adsnasa  isi; A. N. Abyzov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, I. Sh. Kalimullin, V. L. Selivanov, A. L. Semenov, A. Tuganbaev, M. Kh. Faizrahmanov, “Marat Mirzaevich Arslanov (on his eightieth birthday)”, Russian Math. Surveys, 79:2 (2024), 369–373  crossref  mathscinet  isi  scopus
3. В. М. Бухштабер, В. П. Платонов, А. Л. Семёнов, В. А. Быковский, Ю. В. Нестеренко, В. Н. Чубариков, Н. М. Добровольский, “Сергей Петрович Новиков (20.03.1938 – 6.06.2024)”, Чебышевский сб., 25:2 (2024), 364–365  mathnet
4. А. Я. Белов, В. М. Бухштабер, В. Б. Васильев, Ю. П. Вирченко, С. К. Куижева, А. Г. Кусраев, Д. К. Мамий, А. Б. Муравник, А. В. Псху, С. А. Розанова, З. А. Саидов, А. Л. Семенов, С. М. Ситник, А. Л. Скубачевский, А. П. Солдатов, Э. Л. Шишкина, А. Г. Ягола, “Султан Нажмудинович Асхабов (к 70-летию со дня рождения)”, Чебышевский сб., 25:2 (2024), 5–19  mathnet  crossref
5. G. B. Shabat, A. L. Semenov, “Erratum to: Computer experiment in teaching mathematics”, Докл. РАН. Матем., информ., проц. упр., 515 (2024), 126  mathnet; Dokl. Math., 109:1 (2024), 101  crossref
6. A. L. Semenov, K. E. Ziskin, “Erratum to: Expanded personality as the main entity and subject of philosophical analysis: implications for education”, Докл. РАН. Матем., информ., проц. упр., 515 (2024), 125  mathnet; Dokl. Math., 109:1 (2024), 100  crossref

   2023
7. Н. К. Верещагин, А. Л. Семёнов, А. Х. Шень, “Последнее открытие Колмогорова? (Колмогоров и алгоритмическая статистика)”, Теория вероятн. и ее примен., 68:4 (2023), 719–750  mathnet  crossref; N. K. Vereshchagin, A. L. Semenov, A. Kh. Shen', “Kolmogorov’s last discovery? (Kolmogorov and algorithmic statistics)”, Theory Probab. Appl., 68:4 (2024), 582–606  crossref  scopus
8. А. Л. Семенов, С. Ф. Сопрунов, И. А. Иванов-Погодаев, “Создание новой математики школьниками”, Докл. РАН. Матем., информ., проц. упр., 511 (2023), 138–143  mathnet  crossref  elib; A. L. Semenov, S. F. Soprunov, I. A. Ivanov-Pogodaev, “Creating new mathematics by schoolchildren”, Dokl. Math., 107:Suppl 1 (2023), S132–S136  crossref
9. Г. Б. Шабат, А. Л. Семенов, “Компьютерный эксперимент в обучении математике”, Докл. РАН. Матем., информ., проц. упр., 511 (2023), 111–137  mathnet  crossref  elib; G. B. Shabat, A. L. Semenov, “Computer experiment in teaching mathematics”, Dokl. Math., 107:Suppl 1 (2023), S92–S116  crossref 2
10. Ю. С. Вишняков, А. Л. Семенов, Г. Б. Шабат, “Работа математика как прообраз освоения математики учащимися. Роль эксперимента”, Докл. РАН. Матем., информ., проц. упр., 511 (2023), 95–110  mathnet  crossref  elib; Yu. S. Vishnyakov, A. L. Semenov, G. B. Shabat, “The work of a mathematician as a prefiguring of mastering mathematics by students: The role of experiments”, Dokl. Math., 107:Suppl 1 (2023), S78–S91  crossref 2
11. М. А. Посицельская, Т. А. Рудченко, А. Л. Семенов, “Математические элементы начального образования”, Докл. РАН. Матем., информ., проц. упр., 511 (2023), 21–53  mathnet  crossref  elib; M. A. Posicelskaya, T. A. Rudchenko, A. L. Semenov, “Mathematical elements of elementary education”, Dokl. Math., 107:Suppl 1 (2023), S10–S41  crossref
12. А. Л. Семенов, А. Е. Абылкасымова, С. А. Поликарпов, “Основания математического образования в цифровой век”, Докл. РАН. Матем., информ., проц. упр., 511 (2023), 3–12  mathnet  crossref  isi  elib; A. L. Semenov, A. Y. Abylkassymova, S. A. Polikarpov, “Foundations of mathematical education in the digital age”, Dokl. Math., 107:Suppl 1 (2023), S1–S9  crossref  isi 2
13. A. L. Semenov, K. E. Ziskin, “Expanded personality as the main entity and subject of philosophical analysis: implications for education”, Докл. РАН. Матем., информ., проц. упр., 512 (2023), 331–341  mathnet; Dokl. Math., 108:1 (2023), 331–341  crossref 4
14. А. Л. Семенов, “Искусственный интеллект в обществе”, Докл. РАН. Матем., информ., проц. упр., 514:2 (2023), 6–19  mathnet  crossref  elib; A. L. Semenov, “Artificial intelligence in society”, Dokl. Math., 108:suppl. 2 (2023), S168–S178  crossref
15. А. Л. Семенов, А. Е. Абылкасымова, В. А. Варданян, С. Г. Григорьев, В. В. Гриншкун, С. Д. Каракозов, С. А. Ловягин, Т. А. Рудченко, “Полвека цифрового обновления отечественной школы в зеркале биографии исследователя. К 80-летию А. Ю. Уварова”, Информатика и образование, 2023, № 38(1), 5–22 alsemenov.ru  crossref 1
16. С. Н. Артемов, Л. Д. Беклемишев, Л. Я. Боркин, А. М. Вершик, Э. А. Гирш, Е. Я. Данцин, И. А. Ибрагимов, Е. В. Кальменс, В. Я. Крейнович, Д. А. Кубенский, А. А. Лодкин, Ю. В. Матиясевич, Б. А. Новиков, В. П. Оревков, А. Л. Семенов, А. О. Слисенко, А. Х. Шень, “Григорий Самуилович Цейтин (некролог)”, УМН, 78:3(471) (2023), 170–176  mathnet  crossref  mathscinet  adsnasa  isi; S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Russian Math. Surveys, 78:3 (2023), 555–561  crossref  mathscinet  isi
17. А. И. Шафаревич, В. Н. Чубариков, А. Л. Семенов, В. М. Бухштабер, А. О. Иванов, В. М. Тихомиров, Вл. П. Визгин, В. Г. Чирский, В. В. Козлов, М. В. Козлов, Е. А. Зайцев, Г. С. Смирнова, В. Н. Чиненова, Н. М. Добровольский, “Сергей Сергеевич Демидов (к 80-летию со дня рождения)”, Чебышевский сб., 24:1 (2023), 334–355  mathnet  crossref
18. Н. Х. Агаханов, Н. Н. Андреев, С. Н. Асхабов, Н. М. Добровольский, А. Домошницкий, С. А. Дориченко, М. В. Зайцев, И. А. Иванов-Погодаев, А. А. Колчев, С. Малев, И. В. Митрофанов, А. А. Михалев, С. П. Мищенко, В. Г. Наводнов, Ю. В. Нестеренко, А. М. Песин, Ф. В. Петров, С. В. Пчелинцев, А. М. Райгородский, Ф. Д. Рухович, Л. М. Самойлов, А. Л. Семенов, В. А. Тиморин, О. Н. Тулупов, М. И. Харитонов, А. Л. Чернятьев, А. А. Чиликов, В. Н. Чубариков, А. И. Шафаревич, “Алексей Яковлевич Канель-Белов”, Чебышевский сб., 24:4 (2023), 380–400  mathnet

   2022
19. А. Л. Семенов, А. А. Муранов, С. А. Поликарпов, Е. Ю. Бахтина, “Содержание и методика преподавания курса математики в начальной школе в условиях цифровизации”, Continuum. Математика, информатика, образование, 2022, № 3(27), 25–39 alsemenov.ru  crossref  elib 2
20. В. В. Горячко, А. С. Бубнов, Е. Н. Раевский, А. Л. Семенов, “Цифровой ковчег знания”, Доклады РАН, Математика, Информатика, процессы управления, 508:1 (2022), 128–133 alsemenov.ru  mathnet  crossref  elib; V. V. Goryachko, A. S. Bubnov, E. V. Rayevskii, A. L. Semenov, “Digital ark of knowledge”, Dokl. Math., 106:suppl. 1 (2022), S113–S117  crossref 1
21. А. Л. Семенов, “ИИ: почему математика? Предисловие главного редактора”, Доклады РАН, Математика, Информатика, процессы управления, 508:1 (2022), 3–5 alsemenov.ru  mathnet  crossref  elib
22. А. Л. Семенов, “Перспективы математического образования в цифровом мире”, Актуальные проблемы обучения математике и физике в школе и вузе в условиях обновленного содержания образования, Материалы международной научно-практической конференции (Алматы, 25–26 ноября 2021 г.), ред. Д. Н. Билялов, изд-во «Улагат», 2022, 11–17 alsemenov.ru
23. А. Л. Семёнов, “Аннотация тематического блока”, Вестник Российского фонда фундаментальных исследований, 2022, № 1 (113), 9–19 alsemenov.ru
24. А. Л. Семенов, Е. И. Булин-Соколова, А. А. Муранов, Т. А. Рудченко, “Цифровые технологии в начальной школе. Вход в будущий мир”, Информатизация образования и методика электронного обучения: цифровые технологии в образовании, Материалы VI Международной науч. конф. (Красноярск, 20–23 сентября 2022 г.), 2 (ч. 2), ред. М. В. Носков, КГПУ им. В.П. Астафьева, Красноярск, 2022, 325–329 alsemenov.ru  elib
25. А. Л. Семенов, С. А. Поликарпов, Т. А. Рудченко, “Будущее математического образования // , Армения, , 2022. – С. 10–15. ISSN 1829-4111.”, Математика в школе (г. Ереван, Армения, 7–8 октября 2021 г.), 1 (114), АГПУ им. Х. Абовяна, Ереван, Армения, 2022, 10–15 alsemenov.ru
26. А. Л. Семёнов, И. Н. Сергеев, В. С. Панфёров, “О Всероссийском съезде учителей и преподавателей математики и информатики”, Математика в школе, 2022, № 3, 62–70  elib
27. A. L. Semenov, S. F. Soprunov, “Automorphisms and Definability (of Reducts) for Upward Complete Structures”, Mathematics, 10:2 (2022), 3748 alsemenov.ru  crossref 1
28. А. Л. Семенов, К. Е. Зискин, “Расширенная личность как основной субъект и предмет философского анализа. Следствия для образования”: В. А. Лекторский, «Человек и системы искусственного интеллекта», М.: Юридический центр, 2022, 172–200 alsemenov.ru  elib
29. В. Л. Арлазаров, А. Я. Белов, В. О. Бугаенко, В. А. Васильев, А. Л. Городенцев, С. А. Дориченко, Ю. С. Ильяшенко, В. М. Имайкин, С. И. Комаров, А. Г. Кушниренко, Ю. П. Лысов, А. Л. Семёнов, В. М. Тихомиров, А. К. Толпыго, А. Г. Хованский, П. А. Якушкин, И. В. Ященко, “Николай Николаевич Константинов (некролог)”, УМН, 77:3(465) (2022), 161–170  mathnet  crossref  mathscinet  adsnasa  isi; V. L. Arlazarov, A. Ya. Belov, V. O. Bugaenko, V. A. Vassiliev, A. L. Gorodentsev, S. A. Dorichenko, Yu. S. Ilyashenko, V. M. Imaykin, S. I. Komarov, A. G. Kushnirenko, Yu. P. Lysov, A. L. Semenov, V. M. Tikhomirov, A. K. Tolpygo, A. G. Khovanskii, P. A. Yakushkin, I. V. Yaschenko, “Nikolai Nikolaevich Konstantinov (obituary)”, Russian Math. Surveys, 77:3 (2022), 531–541  crossref  mathscinet  isi 1
30. А. А. Аграчев, Р. В. Гамкрелидзе, В. В. Козлов, Ю. И. Журавлев, А. В. Михалёв, А. В. Овчинников, Д. О. Орлов, В. Л. Попов, В. Г. Романов, А. Л. Семёнов, В. Г. Чирский, В. А. Шамолин, “К 55-летию профессора М. В. Шамолина”, Геометрия, механика и дифференциальные уравнения, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 210, ВИНИТИ РАН, М., 2022, 3–5  mathnet  crossref; A. L. Semenov, “AI: Why Mathematics? Preface of the Editor-in-Chief of the Doklady Mathematics Journal”, Dokl. Math., 106:suppl. 1 (2022), S1–S2  crossref
31. И. Н. Балаба, С. С. Демидов, Н. М. Добровольский, Н. Н. Добровольский, И. А. Иванов-Погодаев, А. Я. Канель-Белов, Ю. В. Нестеренко, И. Ю. Реброва, А. Л. Семенов, А. А. Фомин, В. Г. Чирский, В. Н. Чубариков, “Памяти Александра Васильевича Михалёва”, Чебышевский сб., 23:5 (2022), 348–350  mathnet  crossref

   2021
32. А. Л. Семёнов, С. Ф. Сопрунов, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Изв. РАН. Сер. матем., 85:6 (2021), 245–258  mathnet  crossref  zmath  adsnasa  isi; A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85:6 (2021), 1257–1269  crossref  zmath  isi  scopus 5
33. В. С. Атабекян, Л. Д. Беклемишев, В. С. Губа, И. Г. Лысёнок, А. А. Разборов, А. Л. Семенов, “Вопросы алгебры и математической логики. Научное наследие С. И. Адяна”, УМН, 76:1(457) (2021), 3–30  mathnet  crossref  mathscinet  zmath  adsnasa  isi; V. S. Atabekyan, L. D. Beklemishev, V. S. Guba, I. G. Lysenok, A. A. Razborov, A. L. Semenov, “Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian”, Russian Math. Surveys, 76:1 (2021), 1–27  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus
34. Н. Н. Константинов, А. Л. Семенов, “Результативное образование в математической школе”, Чебышевский сб., 22:1 (2021), 413–446  mathnet  crossref; N. N. Konstantinov, A. L. Semenov, “Productive education in the mathematical school”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 270–287  crossref 8
35. А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021), 304–327  mathnet  crossref; A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298  crossref 1
36. A. Semenov, V. Vardanyan, Y. Vishnyakov, I. Gukasov, T. Rudchenko, A. Uvarov, “Axel Berg’s Legacy in Cybernetics and Education. From the Council on Cybernetics to Axel Berg Institute”, 2020 Fifth International Conference «History of Computing in the Russia, former Soviet Union and Council for Mutual Economic Assistance countries» (SORUCOM) (Moscow, 6–7 Oct. 2020), IEEE, 2021, 152–157 alsemenov.ru  crossref  elib  scopus 3
37. А. Л. Семенов, “Теория определимости в контексте информационно-коммуникационных систем”, Сб. трудов Всероссийской научной конференции «Математические основы информатики и информационно-коммуникационных систем» (г. Тверь, 3–7 декабря 2021 г.), ред. С. М. Дудаков, Б. Н. Карлов, ТвГУ, 2021, 61–68 alsemenov.ru  crossref  elib
38. А. Л. Семенов, “Концепция учебника «Цифровой мир» для основной школы”, Сб. материалов V Международной научной конференции «Информатизация образования и методика электронного обучения» в 2 ч. (г. Красноярск, 21–24 сентября 2021 г.), ч. 1, ред. М. В. Носков, Красноярск, СФУ, 2021, 448–452 alsemenov.ru  elib
39. А. Л. Семенов, “Цифровой путь российской школы”, Сб. тезисов докладов Международной научной конференции «Фундаментальные проблемы обучения математике, информатике и информатизации образования» (г. Елец, 1–3 октября 2021 г.), Елецкий ГУ им. И. А. Бунина, 2021, 17–19 alsemenov.ru  elib
40. А. Л. Семенов, С. А. Поликарпов, Т. А. Рудченко, “Будущее математического образования”, Mathematical Education 9. Proceedings of international conference (Yerevan, 7–8 October, 2021), Edit Print, 2021, 186–189 alsemenov.ru
41. А. Л. Семёнов, И. Н. Сергеев, Е. А. Бунимович, В. Н. Дубровский, В. С. Панфёров, “О семинаре «Школьное математическое образование: содержание и аттестация”, Математика в школе, 2021, № 8, 70–74 alsemenov.ru  elib
42. А. Л. Семенов, К. Е. Зискин, “Концепция расширенной личности как ориентир цифрового пути образования”, Герценовские чтения: психологические исследования в образовании, 2021, № 4, 530–535 alsemenov.ru  crossref  elib 3
43. R. Kupriyanov, A. Semenov, V. Kondratiev, P. Nikulina, “Digital development trajectory as a tool for improving the quality of education”, The Third Annual International Symposium “Education and City: Education and Quality of Living in the City” (Education and City 2020), 98, SHS Web of Conferences, Moscow, 2021, 05010 alsemenov.ru  crossref  elib 1
44. А. Л. Семенов, О. А. Фиофанова, О. И. Бабченко, И. М. Бронштейн, Н. К. Габдрахманов, “Извлечь смысл. Проблемы анализа данных в образовании”, Образовательная политика, 2021, № 3 (87), 60–66 alsemenov.ru  crossref  elib 1
45. В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021), 191–194  mathnet  crossref  mathscinet  zmath  adsnasa  isi; V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Russian Math. Surveys, 76:1 (2021), 177–181  crossref  mathscinet  zmath  adsnasa  isi
46. К. В. Воронцов, Ю. И. Журавлев, М. И. Забежайло, А. И. Майсурадзе, А. С. Пушняков, И. А. Соколов, А. Л. Семёнов, Р. Таханов, И. Ю. Торшин, А. А. Черепнин, Ю. В. Чехович, “Памяти Константина Владимировича Рудакова (21.06.1954 – 10.07.2021)”, Компьютерные исследования и моделирование, 13:4 (2021), 675–676  mathnet  crossref; K. V. Vorontsov, Yu. I. Zhuravlev, M. I. Zabezhailo, A. I. Maǐsuradze, A. S. Pushnyakov, I. A. Sokolov, A. L. Semenov, R. Takhanov, I. Yu. Torshin, A. A. Cherepnin, Yu. V. Chekhovich, “In memory of Konstantin Vladimirovich Rudakov (21.06.1954 – 10.07.2021)”, Computer Research and Modeling, 13:4 (2021), e675  crossref
47. А. Л. Семенов, С. Ф. Сопрунов, И. А. Иванов-Погодаев, Р. Д. Исаев, А. Я. Канель-Белов, В. В. Кондратьев, Б. Р. Френкин, Проект 4. Теория определимости: Логика. Алгебра. Геометрия, 33rd Summer conference of the international mathematical Tournament of Towns, МИИ, 2021 alsemenov.ru

   2020
48. Ан. А. Мучник, А. Л. Семёнов, “Решетка определимости в порядке рациональных чисел”, Матем. заметки, 108:1 (2020), 102–118  mathnet  crossref  mathscinet  isi; An. A. Muchnik, A. L. Semenov, “Lattice of Definability in the Order of Rational Numbers”, Math. Notes, 108:1 (2020), 94–107  crossref  mathscinet  isi  elib  scopus 1
49. Alexei Semenov, Sergei Polikarpov, “Digital Transformation of School and the Role of Mathematics and Informatics within It Problems and Paradoxes of Mathematics Education and their Digital Solution”, Proceedings of the 4th International Conference on Informatization of Education and E-learning Methodology: Digital Technologies in Education (IEELM-DTE 2020), Krasnoyarsk, Russia, October 6–9, 2020, CEUR Workshop Proceedings, 2770, Sun SITE Central Europe, Aachen, Germany, 2020, 1–8  mathnet;
50. В. Б. Бетелин, А. Г. Кушниренко, А. Л. Семенов, С. Ф. Сопрунов, “О цифровой грамотности и средах ее формирования”, Информ. и её примен., 14:4 (2020), 100–107  mathnet  crossref  crossref  scopus 9
51. А. Л. Семенов, “Отображения, сохраняющие отношения, определимые через линейный порядок”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 5, 62–65  mathnet  mathscinet  zmath  isi; A. L. Semenov, “Mappings preserving relations definable by linear order”, Moscow University Mathematics Bulletin, Moscow University Mеchanics Bulletin, 75:5 (2020), 222–226  crossref  mathscinet  zmath  isi  scopus 1
52. А. Л. Семёнов, С. А. Поликарпов, “Цифровая трансформация школы и роль математики и информатики в ней. Проблемы и прадоксы математического образование и их цифровое решение”, Информатизация образования и методика электронного обучения: цифровые технологии в образовании: труды IV Международной научной конференции (Красноярск, 6–9 октября 2020 г.), ред. М. В. Носков, Красноярск: Сиб. федер. ун-т, 2020, 192–200 alsemenov.ru  elib
53. A. Semenov, S. Polikarpov, “Digital Transformation of School and the Role of Mathematics and Informatics within It Problems and Paradoxes of Mathematics Education and their Digital Solution”, Proceedings of the 4th International Conference on Informatization of Education and E-learning Methodology: Digital Technologies in Education (IEELM-DTE 2020) (Krasnoyarsk, Russia, October 6–9, 2020), 2770, CEUR Workshop Proceedings, 2020, 1–8 alsemenov.com  elib
54. A. Semenov, V. Kondratiev, “Learners as Extended Minds of the Digital Age”, Информатизация образования и методика электронного обучения: цифровые технологии в образовании : материалы IV Международной научной конференции: в 2 ч. Ч. 2 (Красноярск, 6–9 октября 2020 г.), ред. М. В. Носков, Красноярск: Сиб. федер. ун-т, 2020, 560–566 alsemenov.ru  elib
55. А. Л. Семенов, В. В. Кондратьев, “Использование больших данных для усовершенствования математического образования”, Большие данные в образовании: анализ данных как основание принятия управленческих решений. Сборник научных статей I Международной конференции (Москва, 15 октября 2020 г.), ред. О. А. Фиофанова, М.: Издательский дом «Дело» РАНХиГС, 2020, 129–139 alsemenov.ru  elib
56. Е. Малеванов, А. Адамский, А. Асмолов, И. Фрумин, А. Соловейчик, И. Реморенко, М. Ракова, А. Семенов, И. Абанкина, А. Марголис, “Школа возможностей как ответ на время перемен. Приглашение к дискуссии”, Образовательная политика, 2020, № 2 (82), 8–17 alsemenov.ru  elib
57. А. Л. Семенов, “Отображения, сохраняющие отношения, определимые через линейный порядок”, Вестник Моск. университета, сер. 1, математика, механика, 2020, № 5, 62–64 alsemenov.ru  elib
58. А. Л. Семенов, “Возможно ли преодоление цифрового разрыва между школой и жизнью?”, Цифровое общество как культурно-исторический контекст развития человека: от цифровой культуры к киберкультуре, Сб. науч. статей, ред. Р. В. Ершова, Коломна: Государственный социально-гуманитарный университет, 2020, 350–354 alsemenov.ru  elib
59. А. Л. Семенов, “Большинство учеников и сотрудников пришли к нему студентами. Сергей Иванович Адян (01.01.1931 – 05.05.2020)”, Газета «Московский университет», май 2020, № 5 (4554), 5 alsemenov.ru

   2019
60. А. Л. Семенов, “В. А. Успенский как историк математики, науки и цивилизации. К статье Александра Шеня «Gauss multiplication trick?»”, Математическое просвещение, 3:24 (2019), 16–18 https://www.mccme.ru/free-books/matpros-24.html  mathnet
61. А. Л. Семенов, “Новое технологическое образование в школе и СПО серия коллективных монографий”, Как сделать образование двигателем социально-экономического развития?, «Российское образование: достижения, вызовы, перспективы», ред. Я. И. Кузьминов, И. Д. Фрумин, М.: Изд. дом ВШЭ, 2019, 134–142, 234–240 alsemenov.ru
62. А. Л. Семенов, “Цели общего образования в цифровом мире”, Материалы III Международной конференции «Информатизация образования и методика электронного обучения» (Красноярск, 24–27 сентября 2019 г.), В 2 ч. Ч. 2., Красноярск, СФУ, 2019, 383–388 alsemenov.ru  elib
63. А. Л. Семенов, “Экспертиза учебников”, Управление школой, 2019, № 1 (602), 44–52 alsemenov.ru
64. R. Leikin, A. Semenov, A. Bikner-Ahsbahs, V. Dubrovsky, “Computer-based Technology in Mathematics Education”, Technology anf Psychology for mathematics Education. Proceedings of the PME and Yandex Russian conference (Moscow, March 18–21 2019), HSE Publishing House Moscow, 2019, 94 alsemenov.ru  crossref  elib
65. С. А. Поликарпов, А. Л. Семенов, “Наука – фундамент школы XXI века”, Математика в школе, 2019, № 5, 3–10 alsemenov.ru  elib
66. С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753  crossref  mathscinet  zmath  adsnasa  isi 1

   2018
67. Р. Б. Куприянов, А. Л. Семенов, “Анализ динамики образовательных результатов студентов крупного педагогического университета”, Вестник московского городского педагогического университета, Информатика и информатизация образования, 1(43), Москва, 2018, 66–67
68. I. Abankina, M. Alashkevich, V. Bolotov, M. Dobryakova, F. Dudyrev, I. Frоumin, Yu. Koreshnikova, I. Korshunov, S. Kosaretsky, Y. Kuzminov, T. Mertsalova, E. Odoevskaya, A. Ovakimyan, D. Platonova, A. Semenov, D. Semenov, P. Sergomanov, P. Sorokin, A. Uvarov, K. Zinkovsky, 12 Solutions for a New Education: rep. by the Center for Strategic Research a. the Higher School of Economics, ред. Y. Kuzminov, I. Froumin, Nat. Research Univ. Higher School of Economics, 2018 , 99, [1] с. alsemenov.ru  crossref 5
69. А. Л. Семенов, “Вступительная статья”, «Большая игра» v. 2: Россия в глобальном информационном пространстве (авт. Назаров В. Л., Жердев Д. В.), Екатеринбург, Изд-во Уральского федерального университета, 2018, 3–4 alsemenov.ru  elib
70. Б. Н. Четверушкин, Е. Е. Тыртышников, Н. Н. Кудрявцев, В. П. Дымников, Ю. И. Журавлев, Е. Э. Сон, К. В. Рудаков, Ю. Г. Евтушенко, А. Б. Жижченко, Ю. В. Гуляев, А. С. Бугаев, А. Н. Коновалов, В. П. Маслов, В. М. Бердышев, А. Л. Семенов, Е. И. Моисеев, И. Б. Петров, Ю. А. Флеров, И. Г. Поспелов, С. И. Кабанихин, М. В. Якобовский, В. Ф. Тишкин, Ю. В. Василевский, А. А. Шананин, В. А. Гущин, И. С. Никитин, А. И. Лобанов, В. В. Демченко, Е. Л. Ступицкий, В. Л. Якушев, А. В. Бабаков, Ю. Д. Шевелев, С. А. Ишанов, В. С. Рябенький, “Памяти Александра Сергеевича Холодова”, Матем. моделирование, 30:1 (2018), 135–136  mathnet

   2017
71. S. A. Polikarpov, A. L. Semenov, “Mathematics for the 21th Century School: The Russian Experience and International Prospects”, Proceedings of the 13th international Congress on Mathematical Education (ICME-13). (Hamburg 2016), eds. Gabriele Kaiser, Springer International Publishing AG, Cham, Switzerland, 2017, 675–676  crossref 13
72. А. Л. Семенов, А. Ю. Уваров, “Обновление технологического образования и информатизация школы”, Вестник московского городского педагогического университета, Информатика и информатизация образования, 4, Москва, 2017, 17–31
73. А. Л. Семенов, “Симор Паперт и мы. Конструкционизм – образовательная философия XXI века”, Вопросы образования, 1 (2017), 269–294  elib
74. А. Л. Семенов, “Основные принципы и перспективы развития современного педагогического образования”, Сб. Университеты в Евразийском образовательном пространстве. Монография., Сер. “Евразийские университеты XXI века”, ред. В. А. Садовничий, Москва, ООО “МАКС Пресс”, 2017, 217–286 alsemenov.ru  elib
75. A. Semenov, “Implementation of the Conceptual Framework for Russian Mathematical Education”, Current Issues in Mathematics Education Materials of the American-Russian Workshop. Moscow State Pedagogical University – Teachers College (Columbia University, November 18 – 20, 2016), ISBN 978-1-933223-01-8, eds. A. K. Comap, Comap Bedford, MA, USA, 2017, 61–65 alsemenov.ru
76. А. Л. Семенов, “Приоритеты развития российского образования в век цифровой экономики”, Библиотечка для учреждений дополнительного образования детей, 2017, № 6, 5–6 alsemenov.ru  elib
77. А. А. Аграчев, Р. В. Гамкрелидзе, Е. С. Голод, А. Б. Жижченко, Ю. И. Журавлев, В. В. Козлов, А. В. Михалëв, А. В. Овчинников, Н. Х. Розов, А. Л. Семëнов, В. Г. Чирский, В. А. Шамолин, “Юбилей профессора М. В. Шамолина”, Динамические системы, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 134, ВИНИТИ РАН, Москва, 2017, 3–5  mathnet  mathscinet

   2016
78. А. Л. Семенов, “Концептуальные проблемы информатики, алгоритмики и программирования в школе”, Вестник кибернетики, 2(22) (2016), 11–15
79. А. Л. Семенов, “О реализации концепции математического образования”, Наука и школа, 6 (2016), 3
80. А. Л. Семенов, “О реализации концепции математического образования”, Математика, физика, информатика и их приложения в науке и образовании. Сб. докладов Международной школы-конференции молодых ученых (Москва, 12–15 декабря 2016 г.), МИРЭА, 2016, 46–50  elib
81. А. Л. Семенов, Учим учиться и учить. О возрождении педагогического образования, принципах работы педагогического университета и перспективах его выпускников, Российская газета, 7127(259), 15 ноября 2016 г. Российская газета

   2015
82. A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015), 966–975  mathnet  crossref  isi 3
83. А. Л. Семенов, “Вариативная математика”, Образовательная политика, 1(67) (2015), 95–97  elib
84. А. Л. Семенов, А. Ю. Уваров, “Тридцать лет – это всë-таки мало”, Информатика и образование, 7 (2015), 3
85. А. Л. Семенов, “О фундаментальных понятиях кибернетики и информатики”, Вестник кибернетики, 3(19) (2015), 22–26  elib
86. А. Л. Семенов, “Качество информатизации школьного образования”, Вопросы образования, 2015, № 3, 248

   2014
87. A. Semenov, S. Soprunov, V. Uspensky, “The lattice of definability. Origins, recent developments, and further directions”, Computer science—theory and applications, Lecture Notes in Comput. Sci., 8476, Springer, Cham, 2014, 23–38  crossref  mathscinet  zmath  scopus 6
88. Е. И. Булин-Соколова, А. С. Обухов, А. Л. Семенов, “Будущее педагогическое образование. Направление движения и первые практические шаги”, Психологическая наука и образование, 19:3 (2014), 207–226  elib
89. А. Л. Семенов, С. Л. Атанасян, “Формирование математической компетенции в основной школе”, Наука и школа, 5 (2014), 7–12  elib
90. А. Л. Семенов, С. Л. Атанасян, С. Д. Каракозов, “Ключевые идеи концепции развития математического образования в Российской Федерации”, Информатика в школе: Прошлое, настоящее и будущее: материалы всероссийской научно-методической конференции по вопросам применения ИКТ в образовании (Пермь 2014), Перм. гос. нац. исслед. ун-т, 2014, 264–266
91. А. Л. Семенов, “«Две культуры» в современной школе (часть 1)”, Математика в школе, 5 (2014), 21–26  elib
92. А. Л. Семенов, “«Две культуры» в современной школе (часть 2)”, Математика в школе, 6 (2014), 21–26  elib
93. В. Л. Арлазаров, Е. А. Диниц, Ю. С. Ильяшенко, А. В. Карзанов, С. М. Карпенко, А. А. Кириллов, Н. Н. Константинов, М. А. Кронрод, О. П. Кузнецов, Л. Б. Окунь, П. А. Певзнер, А. Л. Семëнов, И. А. Фараджев, Б. В. Черкасский, А. Г. Хованский, “Георгий Максимович Адельсон-Вельский (некролог)”, УМН, 69:4(418) (2014), 169–176  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; V. L. Arlazarov, E. A. Dinitz, Yu. S. Ilyashenko, A. V. Karzanov, S. M. Karpenko, A. A. Kirillov, N. N. Konstantinov, M. A. Kronrod, O. P. Kuznetsov, L. B. Okun', P. A. Pevzner, A. L. Semenov, I. A. Faradzhev, B. V. Cherkasskii, A. G. Khovanskii, “Georgy Maksimovich Adelson-Velsky (obituary)”, Russian Math. Surveys, 69:4 (2014), 743–751  crossref  mathscinet  zmath  adsnasa  isi 1
94. Н. Н. Андреев, В. М. Бухштабер, А. И. Гарбер, В. В. Козлов, С. П. Коновалов, А. А. Мальцев, Ю. В. Нестеренко, С. П. Новиков, А. Н. Паршин, И. Х. Сабитов, А. Л. Семëнов, А. Г. Сергеев, О. К. Шейнман, М. И. Штогрин, Е. В. Щепин, “Николай Петрович Долбилин (к семидесятилетию со дня рождения)”, УМН, 69:1(415) (2014), 187–188  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; N. N. Andreev, V. M. Buchstaber, A. I. Garber, V. V. Kozlov, S. P. Konovalov, A. A. Mal'tsev, Yu. V. Nesterenko, S. P. Novikov, A. N. Parshin, I. Kh. Sabitov, A. L. Semenov, A. G. Sergeev, O. K. Sheinman, M. I. Shtogrin, E. V. Shchepin, “Nikolai Petrovich Dolbilin (on his 70th birthday)”, Russian Math. Surveys, 69:1 (2014), 181–182  crossref  mathscinet  zmath  adsnasa  isi
95. И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, Математика. С теорией вероятностей и статистикой. ЕГЭ 2014, Экзамен, Москва, 2014 , 95 с.
96. И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, Математика. Базовый и профильный уровни ЕГЭ 2014. Типовые тестовые задания, Экзамен, Москва, 2014 , 56 с.
97. И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, К демонстрационной версии ЕГЭ от 31.10.13. Базовый и профильный уровни ЕГЭ 2014, Экзамен, Москва, 2014 , 216 с.
98. А. Л. Семенов, А. С. Соколов, “Приношения музыканту-педагогу”, Вестник кафедры ЮНЕСКО Музыкальное искусство и образование, 2014, № 3(7), 17

   2013
99. А. Л. Семенов, “Концепция развития российского математического образования (ход проекта)”, Математика в школе, 9 (2013), 3–5  adsnasa  elib
100. А. Л. Семенов, С. Д. Каракозов, “Московское образование в условиях вступления в силу нового закона об образовании”, Вестник алтайской науки, 3 (2013), 300–302  elib
101. А. Л. Семенов, С. Л. Атанасян, “О концепции развития российского математического образования”, Наука – образованию, 2 (2013), 6
102. А. Л. Семенов, “Как детей учить лучше?”, Альманах «Высшая школа XXI века», 19 (2013), 3
103. Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013), 54–65  mathnet
104. А. Л. Семенов, “Кадры решают все”, Всероссийская общественно-политическая газета «Властная вертикаль Федерации», 5 (2013), 3
105. А. Л. Семенов, “Кому и какая примерная программа нужна, кто ее должен разрабатывать?”, Учительская газета, 24 (2013), 3
106. А. Л. Семенов, “Все, что спрятал, то пропало”, Газета “Поиск”, 12 (2013), 3  mathscinet
107. А. Л. Семенов, “Как сегодня повышать квалификацию директорам школ?”, Учительская газета, 9 (2013), 3
108. А. Л. Семенов, «Две культуры» сегодня». Математика и литература, Занятия литературой в гуманитарных и математических классах. Сочинения, игры, путешествия, Московский институт открытого образования, Институт новых технологий, Москва, 2013 , 245 с.
109. А. Л. Семенов, И. Н. Сергеев, В. С. Панферов, И. В. Ященко, Математика. 30 вариантов типовых тестовых заданий и 800 заданий части 2(с). ЕГЭ 2013. Типовые тестовые задания, Экзамен, Москва, 2013 , 216 с.

   2012
110. А. Л. Семенов, Математика текстов. Учебное пособие, МЦНМО, 2012 , 16 с.
111. Е. И. Булин-Соколова, Т. А. Рудченко, А. Л. Семенов, Е. Н. Хохлова, Формирование ИКТ-компетентности младших школьников: пособие для учителей общеобразоват. учреждений, Просвещение, 2012 , 128 с.

   2011
112. А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 291–296  mathnet  mathscinet  isi  elib; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272  crossref  mathscinet  isi  elib  scopus 2
113. А. Л. Семенов, “ИКТ-компетентности учащихся. ИКТ как инструментарий универсальных учебных действий: подпрограмма формирования”, Труды Большого московского семинара по методике раннего обучения информатике, Москва, Москва, 2011, 149–156
114. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
115. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, V. M. Buchstaber, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, A. A. Razborov, A. L. Semenov, “Sergei Ivanovich Adian (on his eightieth birthday)”, Russian Math. Surveys, 66:1 (2011), 197–198  crossref  mathscinet  zmath  adsnasa  isi

   2010
116. А. Г. Асмолов, А. Л. Семенов, А. Ю. Уваров, “Мы ждем перемен. Чему и как будет учиться подрастающее поколение и XXI веке”, Дети в информационном обществе, 5 (2010), 20
117. Е. И. Булин-Соколова, А. Л. Семенов, “Построение программы формирования ИКТ-компетентности учащихся и информационной образовательной среды основной школы”, Информатика и образование, 8 (2010), 3–7  elib
118. А. А. Кузнецов, А. Л. Семенов, С. А. Бешенков, А. Г. Кушниренко, “Примерная программа по информатике и ИКТ (VII – IX классы)”, Информатика и образование, 8 (2010), 3–7
119. Е. И. Булин-Соколова, А. Л. Семенов, “Читаем ФГОС НО, пишем ООП, включая ИКТ в ПФУУД”, Народное образование, 7 (2010), 21–30  elib
120. В. М. Кругляков, Е. Л. Рачевский, А. Л. Семенов, “За что платить школе? Заметки на полях директивных документов”, Народное образование, 10 (2010), 58–61  elib
121. И. В. Ященко, И. Р. Высоцкий, Д. Д. Гущин, П. И. Захаров, С. Е. Посицельский, А. В. Семенова, С. А. Шестаков, Д. Э. Шноль, В. А. Смирнов, В. С. Панферов, М. А. Семенова, А. Л. Семенов, ЕГЭ 2010. Математика. Типовые тестовые задания, Экзамен, Москва, 2010 , 64 с.
122. В. С. Панферов, И. Н. Сергеев, А. Л. Семенов, И. В. Ященко и др., Самое полное издание типовых реальных заданий ЕГЭ Русский язык, математика, обществознание. ФИПИ, АСТ, 2010 , 480 с.
123. А. Г. Асмолов, А. Л. Семенов, А. Ю. Уваров, Российская школа и новые информационные технологии: взгляд в следующее десятилетие, НексПринт, 2010 , 95 с.

   2009
124. Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 64:5(389) (2009), 21–96  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 20
125. И. Г. Алексеев, М. В. Волошин, Н. А. Гиппиус, М. В. Данилов, Д. В. Казанцев, А. Д. Миронов, А. Ю. Морозов, Л. Б. Окунь, В. А. Рубаков, Д. Н. Свирида, А. Л. Семенов, П. Г. Тиняков, “Памяти Владимира Владимировича Бронфмана”, Успехи физ. наук, 179:12 (2009), 1373–1374  mathnet  crossref  elib 1
126. Е. И. Булин-Соколова, А. Л. Семенов, “Мониторинг здоровья учащегося как элемент индивидуализации обучения”, Культура физическая и здоровье, 6 (2009), 61–64  elib
127. Е. И. Булин-Соколова, А. Л. Семенов, “Школа информатизации: путь к обновлению образования”, Информатика и образование, 11 (2009), 3–12  elib
128. An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, Sequences Close to Periodic, 2009 , arXiv: abs/0903.5316

   2008
129. А. Л. Семенов, М. А. Посицельская, “О связи раннего обучения информатике и коррекционно-развивающей работы с дошкольниками и младшими школьниками: тетради «Математика и информатика»”, Сборник «Труды Большого Московского семинара по методике раннего обучения информатике» в 10 томах., ред. И. В. Соколова, Ю. А. Первин, Москва, 2008, 164–171

   2007
130. С. И. Адян, А. Л. Семëнов, В. А. Успенский, “Андрей Альбертович Мучник (некролог)”, УМН, 62:4(376) (2007), 140–144  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; S. I. Adian, A. L. Semenov, V. A. Uspenskii, “Andrei Al'bertovich Muchnik (obituary)”, Russian Math. Surveys, 62:4 (2007), 775–779  crossref  mathscinet  zmath  adsnasa  isi 1

   2006
131. A. Muchnik, A. Semenov, “Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets”, Ann. Pure Appl. Logic, 141:3 (2006), 437–441  crossref  mathscinet  zmath  isi  elib  scopus 1
132. Л. Д. Беклемишев, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семëнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006), 179–191  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588  crossref  mathscinet  zmath  adsnasa  isi 1

   2005
133. А. М. Кондаков, А. Л. Семенов, Т. И. Галишникова, Т. А. Фиалкова, Н. С. Станченко, “Коллекции на Российском образовательном портале www.school.edu.ru: интернет-проект «Культурное наследие»”, Открытое образование, 3 (2005), 31–58  elib
134. А. Л. Семенов, “Качество информатизации школьного образования”, Вопросы образования, 3 (2005), 248–270
135. 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 pp.; А. Л. Семенов, Информационные и коммуникационные технологии в общем образовании: теория и практика. Авторизованный пер. с англ., переработанный и дополненный, ЮНЕСКО, 2006 , 327 с.

   2004
136. А. Л. Семенов, “Современный курс математики и информатики в школе. Часть 1”, Вопросы образования, 1 (2004), 79
137. А. Л. Семенов, “Современный курс математики и информатики в школе. Часть 2”, Вопросы образования, 2 (2004), 110

   2003
138. Ан. А. Мучник, А. Л. Семëнов, “О роли закона больших чисел в теории случайности”, Пробл. передачи информ., 39:1 (2003), 134–165  mathnet  mathscinet  zmath; An. A. Muchnik, A. L. Semenov, “On the Role of the Law of Large Numbers in the Theory of Randomness”, Problems Inform. Transmission, 39:1 (2003), 119–147  crossref  mathscinet  zmath 3
139. A. L. Semenov, A. A. Muchnik, “An Improvement of Kolmogorov’s Estimates Related to Random Number Generators and a Definition of Randomness in terms of complexity”, Dokl. Akad. Nauk, 68:1 (2003), 132–134  mathnet  mathscinet  zmath; А. Л. Семенов, А. А. Мучник, “Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности”, Доклады Академии наук, 391:6 (2003), 738–740  mathnet  mathscinet  zmath
140. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  crossref  mathscinet  zmath  isi  scopus 28
141. А. Л. Семëнов, М. М. Горбунов-Посадов, Т. А. Полилова, “Школа на пути к новой грамотности”, Препринты ИПМ им. М. В. Келдыша, 2003, 55–20  mathnet
142. А. Л. Семенов, Т. А. Рудченко, “Выступают авторы учебников”, Информатика и образование, 1 (2003), 10
143. А. Л. Семенов, Т. А. Рудченко, “Информатика 2–4”, Информатика и образование, 1 (2003), 17
144. М. М. Горбунов-Посадов, Т. А. Полилова, А. Л. Семенов, “Школа и технологии новой грамотности”, Информационные технологии и вычислительные системы, 4 (2003), 87–99
145. Alexei Semenov, Andrej Muchnik, “40 years of the Origin of Kolmgorov Randomness Theory”, Сб. Колмогоров и современная математика. Тезисы докладов Международной конференции, посвященной 100-летию со дня рождения А. Н. Колмогорова (Москва, 16 – 21 июня 2003), Издательство механико-математического факультета МГУ, 2003, 677–678  mathscinet
146. А. Л. Семëнов, “Условия конечности для алгебр отношений”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 103–107  mathnet  mathscinet  zmath; A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathscinet  zmath 6
147. М. М. Горбунов-Посадов, Т. А. Полилова, А. Л. Семенов, “Школа и технологии новой грамотности”, ИТиВС, 2003, № 4, 87–99  mathnet  elib

   2002
148. А. Л. Семенов, “Тематическое планирование учебного материала по программе «Информатика»”, Информатика и образование, 3 (2002), 5  zmath
149. А. Л. Семенов, Математика текстов, Издательство Московского центра непрерывного математического образования, 2002 , 16 с.

   2001
150. А. Л. Семенов, “Роль информационных технологий в общем среднем образовании”, Информатика и образование, 2 (2001), 2

   2000
151. А. Л. Семенов, “Информационные технологии в начальном образовании”, Школьные технологии, 6 (2000), 168

   1999
152. Alexei Semenov, “Technology in Transforming Education”, Communication and Networking in Education: Learning in a Networked Society, IFIP TC3/WG3.1 Open Conference on Communication and Networking in Education (Aulanko, Finland, June 13–18, 1999), IFIP Conference Proceedings, 163, Kluwer, 1999, 25–38

   1998
153. A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317  crossref  mathscinet  zmath  isi  scopus 60
154. А. Л. Семенов, “Математическая информатика в школе”, Информатика и образование, 5 (1998), 54
155. С. К. Ландо, А. Л. Семенов, “Алгоритмика: учебная программа курса”, Информатика и образование, 3 (1998), 94

   1996
156. А. Л. Семенов, “Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика»”, Информатика и образование, 5 (1996), 29

   1995
157. Н. Д. Угринович, А. Л. Семенов, “Программа непрерывного курса информатики для средней школы”, Информатика и образование, 4 (1995), 12
158. А. Л. Семенов, “Образование, информатика, компьютеры”, Информатика и образование, 5 (1995), 6
159. А. Л. Семенов, “Математическая информатика в школе”, Информатика и образование, 5 (1995), 6

   1993
160. V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.  mathscinet
161. V. A. Uspensky, A. L. Semenov, “Kolmogorov’s Algorithms or Machines”, Selected Works of A. N. Kolmogorov. Vol. III. Information and the Theory of Algorithms., III, Math. Appl. Kluwer Academic Publishers, 1993, 251–260  crossref  mathscinet

   1992
162. А. Н. Колмогоров, С. И. Адян, А. Г. Драгалин, А. С. Кузичев, Е. Ю. Ногина, А. Л. Семенов, В. А. Успенский, “Математическая логика и теория алгоритмов на механико-математическом факультете МГУ”, Математика в Московском университете, Издательство Московского университета, 1992, 128–155
163. А. В. Архангельский, Б. А. Пасынков, В. И. Пономарев, В. В. Федорчук, С. П. Гулько, В. И. Малыхин, А. Л. Семëнов, Е. В. Щепин, Г. П. Амирджанов, А. П. Комбаров, Д. В. Ранчин, В. В. Успенский, Л. Б. Шапиро, А. П. Шостак, “Борис Эмильевич Шапировский (некролог)”, УМН, 47:6(288) (1992), 199–200  mathnet  mathscinet  isi; A. V. Arkhangel'skii, B. A. Pasynkov, V. I. Ponomarev, V. V. Fedorchuk, S. P. Gul'ko, V. I. Malykhin, A. L. Semenov, E. V. Shchepin, G. P. Amirdzhanov, A. P. Kombarov, D. V. Ranchin, V. V. Uspenskii, L. B. Shapiro, A. P. Shostak, “Boris Émil'evich Shapirovskii (obituary)”, Russian Math. Surveys, 47:6 (1992), 199–201  crossref  mathscinet  isi

   1990
164. В. А. Успенский, А. Л. Семëнов, А. Х. Шень, “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162  mathnet  mathscinet  zmath  adsnasa  isi; V. A. Uspenskii, A. L. Semenov, A. Kh. Shen', “Can an individual sequence of zeros and ones be random?”, Russian Math. Surveys, 45:1 (1990), 121–189  crossref  mathscinet  zmath  adsnasa  isi 71
165. А. К. Поливанова, А. Л. Семенов, “Я – не математик”, Язык логики и логика языка. Сборник статей к 60-летию профессора В. А. Успенского, Вопросы кибернетики, 166, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1990, 195–199

   1988
166. A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451  mathscinet  zmath  isi
167. В. Г. Вовк, А. Л. Семенов, С. Ф. Сопрунов, “Некоторый способ проверки правильности программ на Ассемблере”, Методы и алгоритмы анализа больших систем, Вопросы кибернетики, 136, ред. В. Г. Карманов, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1988, 56–78  mathscinet

   1987
168. В. А. Успенский, А. Л. Семенов, “Алгоритмы, или машины Колмогорова”, А. Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды, ред. А. Н. Ширяев, Наука, Москва, 1987, 279–289  mathscinet
169. В. А. Успенский, А. Л. Семенов, Теория алгоритмов: основные открытия и приложения, Библиотечка программиста, Наука, 1987 , 288 с.  mathscinet  zmath

   1986
170. А. Л. Семенов, В. А. Успенский, “Математическая логика в вычислительных науках и вычислительной практике”, Вестник Академии наук СССР, 56:7 (1986), 93–103  mathscinet  isi
171. А. Л. Семенов, “Разрешающие процедуры для логических теорий”, Кибернетика и компьютерная технология, 2, Наука, Moscow, 1986, 134–146  mathscinet

   1985
172. А. Л. Семенов, С. Ф. Сопрунов, “О языке комбинаторно-логического процессора”, Эффективное использование высокопроизводительных ЭВМ. Серия Вопросы кибернетики., 117, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1985, 182–191
173. В. А. Успенский, А. Л. Семенов, “Решимые и нерешимые алгоритмические проблемы”, Квант, 7 (1985), 9–15

   1984
174. A. L. Semenov, “Decidability of monadic theories”, Mathematical foundations of computer science, 1984 (Prague, 1984), Lecture Notes in Comput. Sci., 176, Springer, Berlin, 1984, 162–175  crossref  mathscinet  scopus 25

   1983
175. А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 47:3 (1983), 623–658  mathnet  mathscinet  zmath; A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618  crossref  mathscinet  zmath 39

   1982
176. А. Л. Семенов, “Об определимости арифметики в ее фрагментах”, Доклады Академии наук СССР, 263:1 (1982), 44–47  mathnet  mathscinet  mathscinet  zmath  isi 2

   1981
177. V. A. Uspensky, A. L. Semenov, “What are the gains of the theory of algorithms: basic developments connected with the concept of algorithm and with its application in mathematics”, Algorithms in modern mathematics and computer science (Urgench, 1979), Lecture Notes in Comput. Sci., 122, Springer, Berlin-New York, 1981, 100–234  crossref  mathscinet  scopus 14

   1980
178. А. Л. Семенов, “Интерпретация свободных алгебр в свободных группах”, Доклады Академии наук СССР, 252:6 (1980), 1329–1332  mathnet  mathscinet  mathscinet  zmath  isi

   1979
179. А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195  mathnet  mathscinet  zmath  isi; A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418  crossref  mathscinet  zmath  isi 22

   1978
180. А. Л. Семенов, “Некоторые алгебраические проблемы для систем алгоритмических алгебр”, Доклады Академии наук СССР, 239:5 (1978), 1063–1066  mathnet  mathscinet  mathscinet  zmath

   1977
181. A. L. Semenov, “Presburgerness of Predicated Regular in Two Number Systems”, Siberian Mathematical Journal, 18:2 (1977), 289  mathnet  crossref  mathscinet  mathscinet  zmath  isi  scopus; А. Л. Семенов, “Пресбургеровость предикатов, регулярных в двух системах счисления”, Сибирский математический журнал, 18:2 (1977), 403-418  crossref  mathscinet  mathscinet  zmath  isi  scopus 45

   1974
182. А. Л. Семенов, “Регулярность языков, $k$-линейных для различных $k$”, Доклады Академии наук СССР, 215 (1974), 278–281  mathnet  mathscinet  zmath

   1973
183. A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319  mathnet  mathscinet  mathscinet  zmath; А. Л. Семенов, “Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик”, Доклады Академии наук СССР, 212 (1973), 50–52  mathnet  mathscinet  zmath 13

Доклады и лекции в базе данных Math-Net.Ru
1. The relevance of L. D. Kudryavtsev’s ideas for education in the 21st century
А. Л. Семёнов
VI Международная конференция "Функциональные пространства. Дифференциальные операторы. Проблемы математического образования", посвящённая 100-летию со дня рождения члена-корреспондента РАН, академика Европейской академии наук Л.Д. Кудрявцева
17 ноября 2023 г. 12:00   
2. Приветственное слово
А. А. Оноприенко, А. Л. Семёнов
Однодневный семинар по математической логике
29 июня 2023 г. 11:15   
3. Примеры и вопросы для решеток определимости
А. Л. Семёнов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
16 мая 2023 г. 18:30   
4. Recent results on definability lattices of numerical structures
А. Л. Семёнов, С. Ф. Сопрунов
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
9 ноября 2022 г. 16:00   
5. Заседание посвящено 100-летию Георгия Максимовича Адельсон-Вельского
В. Л. Арлазаров, В. М. Тихомиров, Ю. С. Ильяшенко, А. Л. Семёнов, М. А. Кронрод
Заседания Московского математического общества
29 марта 2022 г. 18:30   
6. Цифровые технологии и искусственный интеллект для математики
А. Л. Семёнов
Общее собрание Отделения математических наук РАН, 2021
13 декабря 2021 г.   
7. Перспективы математического образования в России
А. Л. Семёнов
Общее собрание Отделения математических наук РАН, 2020
7 декабря 2020 г. 12:40   
8. Российская школьная информатика. Эволюция содержания 1986 - 2016 (в рамках дискуссии «Преподавание информатики в XXI веке»)
А. Л. Семёнов
Международная конференция «Стратегии достижения высоких образовательных результатов»
7 октября 2015 г. 15:00   
9. Вступительное слово
А. Л. Семёнов
Международная конференция «Стратегии достижения высоких образовательных результатов»
7 октября 2015 г. 10:00   
10. Круглый стол «Математика и информатика в школе»
А. Л. Семёнов
Конференция «Московское Математическое Общество и Московский государственный университет имени М. В. Ломоносова», посвященная 150-летию образования Московского Математического Общества
25 декабря 2014 г. 10:00
11. Российское школьное математическое образование: история и современность
А. Л. Семёнов
Общее собрание Отделения математических наук РАН, 2012
17 декабря 2012 г. 13:35   
12. Качественная теория алгоритмов
А. Л. Семёнов
Летняя школа «Современная математика», 2012
21 июля 2012 г. 12:45   
13. The lattice of relational algebras definable in integers with successor
Aleksei Semenov, Sergei Soprunov
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 12:45   
14. Модальные логики
А. Л. Семёнов
Летняя школа «Современная математика», 2011
23 июля 2011 г. 12:45   
15. Доказательства невозможности в математической логике и теории алгоритмов
А. Л. Семёнов
Летняя школа «Современная математика», 2010
23 июля 2010 г. 12:45   
16. Выразимость и разрешимость
А. Л. Семёнов
Летняя школа «Современная математика», 2009
22 июля 2009 г. 09:30   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024