Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Semenov, Aleksei Lvovich

Statistics Math-Net.Ru
in MathSciNet: 50 (37)
in zbMATH: 30 (23)
in Web of Science: 29 (18)
in Scopus: 17 (16)
Semenov, Aleksei Lvovich
Member of the Russian Academy of Sciences
Professor
Doctor of physico-mathematical sciences
Birth date: 13.10.1950
E-mail:
Keywords: Decidability of logical theories, definability in structures word combinatorics, symbolic dynamics, almost periodic sequences definability, reducts, Svenonius theorem
UDC: 517.11, 519.9, 510.53, 510.6, 621.391.1, 519.2, 510.5, 519.101, 517.938, 510.635

Subject:

Mathematical Foundation of Computer Science

   
Main publications:
  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. A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 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. A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 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. A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272  mathnet  crossref  mathscinet  isi  elib  elib  scopus
  7. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
  8. An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  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.; A. L. Semenov, Informatsionnye i kommunikatsionnye tekhnologii v obschem obrazovanii: teoriya i praktika. Avtorizovannyi per. s angl., pererabotannyi i dopolnennyi, YuNESKO, 2006 , 327 pp.
  10. 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  mathnet  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
  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”, Sb. Kolmogorov i sovremennaya matematika. Tezisy dokladov Mezhdunarodnoi konferentsii, posvyaschennoi 100-letiyu so dnya rozhdeniya A. N. Kolmogorova (Moskva, 16 – 21 iyunya 2003), Izdatelstvo mekhaniko-matematicheskogo fakulteta MGU, 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. A. L. Semenov, “Informatika v rossiiskoi srednei shkole: doklad na plenarnom zasedanii II Mezhdunarodnogo kongressa YuNESKO «Obrazovanie i informatika»”, Informatika i obrazovanie, 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. 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  mathnet  crossref  mathscinet  zmath  adsnasa  isi
  19. V. A. Uspenskii, A. L. Semenov, “Algoritmy, ili mashiny Kolmogorova”, A. N. Kolmogorov. Teoriya informatsii i teoriya algoritmov. Izbrannye trudy, eds. A. N. Shiryaev, Nauka, Moskva, 1987, 279–289  mathscinet
  20. V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.  mathscinet  zmath
  21. A. L. Semenov, V. A. Uspenskii, “Matematicheskaya logika v vychislitelnykh naukakh i vychislitelnoi praktike”, Vestnik Akademii nauk SSSR, 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. A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618  mathnet  crossref  mathscinet  zmath
  24. A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418  mathnet  crossref  mathscinet  zmath  isi
  25. A. L. Semenov, “Regulyarnost yazykov, $k$-lineinykh dlya razlichnykh $k$”, Doklady Akademii nauk SSSR, 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

https://www.mathnet.ru/eng/person19667
https://ru.wikipedia.org/wiki/Semenov,_Aleksei_Lvovich
List of publications on 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
ISTINA https://istina.msu.ru/workers/8592726
https://orcid.org/0000-0002-1785-2387
https://publons.com/researcher/1853196
https://www.webofscience.com/wos/author/record/S-5268-2018
https://www.scopus.com/authid/detail.url?authorId=7402499019
https://www.researchgate.net/profile/Alexei_Semenov2
https://arxiv.org/a/Asemenov

List of publications:
| scientific publications | by years | by types | by times cited | common list |


Citations (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. A. L. Semenov, A. Y. Abylkassymova, T. A. Rudchenko, “AI methods in control of personalized general education”, Dokl. Math., 109:3 (2024), 191–196  mathnet  crossref  crossref  elib
2. 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  mathnet  crossref  crossref  mathscinet  adsnasa  isi  scopus
3. V. M. Buchstaber, V. P. Platonov, A. L. Semenov, V. A. Bykovskii, Yu. V. Nesterenko, V. N. Chubarikov, N. M. Dobrovol'skii, “Sergei Petrovich Novikov (20.03.1938 – 6.06.2024)”, Chebyshevskii Sb., 25:2 (2024), 364–365  mathnet
4. A. Ya. Belov, V. M. Buchstaber, V. B. Vasilyev, Yu. P. Virchenko, S. K. Kuizheva, A. G. Kusraev, D. K. Mamyi, A. B. Muravnik, A. V. Pskhu, S. A. Rozanova, Z. A. Saidov, A. L. Semenov, S. M. Sitnik, A. L. Skubachevskii, A. P. Soldatov, E. L. Shishkina, A. G. Yagola, “Sultan Nazhmudinovich Askhabov (on the 70-th anniversary of his birth)”, Chebyshevskii Sb., 25:2 (2024), 5–19  mathnet  crossref
5. Dokl. Math., 109:1 (2024), 101  mathnet  crossref
6. Dokl. Math., 109:1 (2024), 100  mathnet  crossref
7. 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  mathnet  crossref  crossref  scopus

   2023
8. A. L. Semenov, S. F. Soprunov, I. A. Ivanov-Pogodaev, “Creating new mathematics by schoolchildren”, Dokl. Math., 107:Suppl 1 (2023), S132–S136  mathnet  crossref  crossref  elib
9. G. B. Shabat, A. L. Semenov, “Computer experiment in teaching mathematics”, Dokl. Math., 107:Suppl 1 (2023), S92–S116  mathnet  crossref  crossref  elib
10. 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  mathnet  crossref  crossref  elib
11. M. A. Posicelskaya, T. A. Rudchenko, A. L. Semenov, “Mathematical elements of elementary education”, Dokl. Math., 107:Suppl 1 (2023), S10–S41  mathnet  crossref  crossref  elib
12. 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  mathnet  crossref  crossref  isi  elib
13. Dokl. Math., 108:1 (2023), 331–341  mathnet  crossref
14. A. L. Semenov, “Artificial intelligence in society”, Dokl. Math., 108:suppl. 2 (2023), S168–S178  mathnet  crossref  crossref  elib
15. A. L. Semenov, A. E. Abylkasymova, V. A. Vardanyan, S. G. Grigorev, V. V. Grinshkun, S. D. Karakozov, S. A. Lovyagin, T. A. Rudchenko, “Polveka tsifrovogo obnovleniya otechestvennoi shkoly v zerkale biografii issledovatelya. K 80-letiyu A. Yu. Uvarova”, Informatika i obrazovanie, 2023, no. 38(1), 5–22 alsemenov.ru  crossref 1
16. 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  mathnet  crossref  crossref  mathscinet  adsnasa  isi
17. A. I. Shafarevich, V. N. Chubarikov, A. L. Semenov, V. M. Buchstaber, A. O. Ivanov, V. M. Tikhomirov, Vl. P. Vizgin, V. G. Chirskii, V. V. Kozlov, M. V. Kozlov, E. A. Zaytsev, G. S. Smirnova, V. N. Chinenova, N. M. Dobrovolsky, “Sergey Sergeevich Demidov (to the 80-th anniversary of his birth)”, Chebyshevskii Sb., 24:1 (2023), 334–355  mathnet  crossref
18. N. H. Agakhanov, N. N. Andreev, S. N. Askhabov, N. M. Dobrovolsky, A. Domoshnitsky, S. A. Dorichenko, M. V. Zaitsev, I. A. Ivanov-Pogodaev, A. A. Kolchev, S. Malev, I. V. Mitrofanov, A. A. Mikhalev, S. P. Mishchenko, V. G. Navodnov, Yu. V. Nesterenko, A. M. Pesin, F. V. Petrov, S. V. Pchelintsev, A. M. Raigorodsky, Ph. D. Rukhovich, L. M. Samoilov, A. L. Semenov, V. A. Timorin, O. N. Tulupov, M. I. Kharitonov, A. L. Chernyatiev, A. A. Chilikov, V. N. Chubarikov, A. I. Shafarevich, “Alexey Yakovlevich Kanel-Belov”, Chebyshevskii Sb., 24:4 (2023), 380–400  mathnet

   2022
19. A. L. Semenov, A. A. Muranov, S. A. Polikarpov, E. Yu. Bakhtina, “Soderzhanie i metodika prepodavaniya kursa matematiki v nachalnoi shkole v usloviyakh tsifrovizatsii”, Continuum. Matematika, informatika, obrazovanie, 2022, no. 3(27), 25–39 alsemenov.ru  crossref  elib 2
20. V. V. Goryachko, A. S. Bubnov, E. V. Rayevskii, A. L. Semenov, “Digital ark of knowledge”, Dokl. Math., 106:suppl. 1 (2022), S113–S117  mathnet  crossref  crossref  elib
21. A. L. Semenov, “Perspektivy matematicheskogo obrazovaniya v tsifrovom mire”, Aktualnye problemy obucheniya matematike i fizike v shkole i vuze v usloviyakh obnovlennogo soderzhaniya obrazovaniya, Materialy mezhdunarodnoi nauchno-prakticheskoi konferentsii (Almaty, 25–26 noyabrya 2021 g.), eds. D. N. Bilyalov, izd-vo «Ulagat», 2022, 11–17 alsemenov.ru
22. A. L. Semenov, “Annotatsiya tematicheskogo bloka”, Vestnik Rossiiskogo fonda fundamentalnykh issledovanii, 2022, no. 1 (113), 9–19 alsemenov.ru
23. A. L. Semenov, E. I. Bulin-Sokolova, A. A. Muranov, T. A. Rudchenko, “Tsifrovye tekhnologii v nachalnoi shkole. Vkhod v buduschii mir”, Informatizatsiya obrazovaniya i metodika elektronnogo obucheniya: tsifrovye tekhnologii v obrazovanii, Materialy VI Mezhdunarodnoi nauch. konf. (Krasnoyarsk, 20–23 sentyabrya 2022 g.), 2 (ch. 2), eds. M. V. Noskov, KGPU im. V.P. Astafeva, Krasnoyarsk, 2022, 325–329 alsemenov.ru  elib
24. A. L. Semenov, S. A. Polikarpov, T. A. Rudchenko, “Buduschee matematicheskogo obrazovaniya // , Armeniya, , 2022. – S. 10–15. ISSN 1829-4111.”, Matematika v shkole (g. Erevan, Armeniya, 7–8 oktyabrya 2021 g.), 1 (114), AGPU im. Kh. Abovyana, Erevan, Armeniya, 2022, 10–15 alsemenov.ru
25. A. L. Semenov, I. N. Sergeev, V. S. Panferov, “O Vserossiiskom s'ezde uchitelei i prepodavatelei matematiki i informatiki”, Matematika v shkole, 2022, no. 3, 62–70  elib
26. A. L. Semenov, S. F. Soprunov, “Automorphisms and Definability (of Reducts) for Upward Complete Structures”, Mathematics, 10:2 (2022), 3748 alsemenov.ru  crossref 1
27. A. L. Semenov, K. E. Ziskin, “Rasshirennaya lichnost kak osnovnoi sub'ekt i predmet filosofskogo analiza. Sledstviya dlya obrazovaniya”: V. A. Lektorskii, «Chelovek i sistemy iskusstvennogo intellekta», M.: Yuridicheskii tsentr, 2022, 172–200 alsemenov.ru  elib
28. 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  mathnet  crossref  crossref  mathscinet  adsnasa  isi
29. A. A. Agrachev, R. V. Gamkrelidze, V. V. Kozlov, Yu. I. Zhuravlev, A. V. Mikhalev, A. V. Ovchinnikov, D. O. Orlov, V. L. Popov, V. G. Romanov, A. L. Semenov, V. G. Chirskii, V. A. Shamolin, “To the 55th anniversary of Professor M. V. Shamolin”, Geometry, Mechanics, and Differential Equations, Itogi Nauki i Tekhniki. Ser. Sovrem. Mat. Pril. Temat. Obz., 210, VINITI, Moscow, 2022, 3–5  mathnet  crossref
30. 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  mathnet  crossref  crossref  elib
31. I. N. Balaba, S. S. Demidov, N. M. Dobrovol'skii, N. N. Dobrovol'skii, I. A. Ivanov-Pogodaev, A. Ya. Kanel-Belov, Yu. V. Nesterenko, I. Yu. Rebrova, A. L. Semenov, A. A. Fomin, V. G. Chirskii, V. N. Chubarikov, “To memory of Alexander Vasilyevich Mikhalev”, Chebyshevskii Sb., 23:5 (2022), 348–350  mathnet  crossref

   2021
32. A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85:6 (2021), 1257–1269  mathnet  crossref  crossref  zmath  adsnasa  isi  scopus
33. 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  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus

   2022
34. N. N. Konstantinov, A. L. Semenov, “Productive education in the mathematical school”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 270–287  mathnet  crossref  crossref
35. A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298  mathnet  crossref  crossref

   2021
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. A. L. Semenov, “Teoriya opredelimosti v kontekste informatsionno-kommunikatsionnykh sistem”, Sb. trudov Vserossiiskoi nauchnoi konferentsii «Matematicheskie osnovy informatiki i informatsionno-kommunikatsionnykh sistem» (g. Tver, 3–7 dekabrya 2021 g.), eds. S. M. Dudakov, B. N. Karlov, TvGU, 2021, 61–68 alsemenov.ru  crossref  elib
38. A. L. Semenov, “Kontseptsiya uchebnika «Tsifrovoi mir» dlya osnovnoi shkoly”, Sb. materialov V Mezhdunarodnoi nauchnoi konferentsii «Informatizatsiya obrazovaniya i metodika elektronnogo obucheniya» v 2 ch. (g. Krasnoyarsk, 21–24 sentyabrya 2021 g.), ch. 1, eds. M. V. Noskov, Krasnoyarsk, SFU, 2021, 448–452 alsemenov.ru  elib
39. A. L. Semenov, “Tsifrovoi put rossiiskoi shkoly”, Sb. tezisov dokladov Mezhdunarodnoi nauchnoi konferentsii «Fundamentalnye problemy obucheniya matematike, informatike i informatizatsii obrazovaniya» (g. Elets, 1–3 oktyabrya 2021 g.), Eletskii GU im. I. A. Bunina, 2021, 17–19 alsemenov.ru  elib
40. A. L. Semenov, S. A. Polikarpov, T. A. Rudchenko, “Buduschee matematicheskogo obrazovaniya”, Mathematical Education 9. Proceedings of international conference (Yerevan, 7–8 October, 2021), Edit Print, 2021, 186–189 alsemenov.ru
41. A. L. Semenov, I. N. Sergeev, E. A. Bunimovich, V. N. Dubrovskii, V. S. Panferov, “O seminare «Shkolnoe matematicheskoe obrazovanie: soderzhanie i attestatsiya”, Matematika v shkole, 2021, no. 8, 70–74 alsemenov.ru  elib
42. A. L. Semenov, K. E. Ziskin, “Kontseptsiya rasshirennoi lichnosti kak orientir tsifrovogo puti obrazovaniya”, Gertsenovskie chteniya: psikhologicheskie issledovaniya v obrazovanii, 2021, no. 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. A. L. Semenov, O. A. Fiofanova, O. I. Babchenko, I. M. Bronshtein, N. K. Gabdrakhmanov, “Izvlech smysl. Problemy analiza dannykh v obrazovanii”, Obrazovatelnaya politika, 2021, no. 3 (87), 60–66 alsemenov.ru  crossref  elib 1
45. 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  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi
46. 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  mathnet  crossref
47. A. L. Semenov, S. F. Soprunov, I. A. Ivanov-Pogodaev, R. D. Isaev, A. Ya. Kanel-Belov, V. V. Kondratev, B. R. Frenkin, Proekt 4. Teoriya opredelimosti: Logika. Algebra. Geometriya, 33rd Summer conference of the international mathematical Tournament of Towns, MII, 2021 alsemenov.ru

   2020
48. An. A. Muchnik, A. L. Semenov, “Lattice of Definability in the Order of Rational Numbers”, Math. Notes, 108:1 (2020), 94–107  mathnet  crossref  crossref  mathscinet  isi  elib  scopus
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. V. B. Betelin, A. G. Kushnirenko, A. L. Semenov, S. F. Soprunov, “About digital literacy and environments for its development”, Inform. Primen., 14:4 (2020), 100–107  mathnet  crossref  crossref  scopus
51. A. L. Semenov, “Otobrazheniya, sokhranyayuschie otnosheniya, opredelimye cherez lineinyi poryadok”, Vestn. Mosk. un-ta. Ser. 1. Matem., mekh., 2020, no. 5, 62–65  mathnet  mathscinet  zmath  isi 1
52. A. L. Semenov, S. A. Polikarpov, “Tsifrovaya transformatsiya shkoly i rol matematiki i informatiki v nei. Problemy i pradoksy matematicheskogo obrazovanie i ikh tsifrovoe reshenie”, Informatizatsiya obrazovaniya i metodika elektronnogo obucheniya: tsifrovye tekhnologii v obrazovanii: trudy IV Mezhdunarodnoi nauchnoi konferentsii (Krasnoyarsk, 6–9 oktyabrya 2020 g.), eds. M. V. Noskov, Krasnoyarsk: Sib. feder. un-t, 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”, Informatizatsiya obrazovaniya i metodika elektronnogo obucheniya: tsifrovye tekhnologii v obrazovanii : materialy IV Mezhdunarodnoi nauchnoi konferentsii: v 2 ch. Ch. 2 (Krasnoyarsk, 6–9 oktyabrya 2020 g.), eds. M. V. Noskov, Krasnoyarsk: Sib. feder. un-t, 2020, 560–566 alsemenov.ru  elib
55. A. L. Semenov, V. V. Kondratev, “Ispolzovanie bolshikh dannykh dlya usovershenstvovaniya matematicheskogo obrazovaniya”, Bolshie dannye v obrazovanii: analiz dannykh kak osnovanie prinyatiya upravlencheskikh reshenii. Sbornik nauchnykh statei I Mezhdunarodnoi konferentsii (Moskva, 15 oktyabrya 2020 g.), eds. O. A. Fiofanova, M.: Izdatelskii dom «Delo» RANKhiGS, 2020, 129–139 alsemenov.ru  elib
56. E. Malevanov, A. Adamskii, A. Asmolov, I. Frumin, A. Soloveichik, I. Remorenko, M. Rakova, A. Semenov, I. Abankina, A. Margolis, “Shkola vozmozhnostei kak otvet na vremya peremen. Priglashenie k diskussii”, Obrazovatelnaya politika, 2020, no. 2 (82), 8–17 alsemenov.ru  elib
57. A. L. Semenov, “Otobrazheniya, sokhranyayuschie otnosheniya, opredelimye cherez lineinyi poryadok”, Vestnik Mosk. universiteta, ser. 1, matematika, mekhanika, 2020, no. 5, 62–64 alsemenov.ru  elib
58. A. L. Semenov, “Vozmozhno li preodolenie tsifrovogo razryva mezhdu shkoloi i zhiznyu?”, Tsifrovoe obschestvo kak kulturno-istoricheskii kontekst razvitiya cheloveka: ot tsifrovoi kultury k kiberkulture, Sb. nauch. statei, eds. R. V. Ershova, Kolomna: Gosudarstvennyi sotsialno-gumanitarnyi universitet, 2020, 350–354 alsemenov.ru  elib
59. A. L. Semenov, “Bolshinstvo uchenikov i sotrudnikov prishli k nemu studentami. Sergei Ivanovich Adyan (01.01.1931 – 05.05.2020)”, Gazeta «Moskovskii universitet», mai 2020, no. 5 (4554), 5 alsemenov.ru

   2019
60. A. L. Semenov, “V. A. Uspenskii kak istorik matematiki, nauki i tsivilizatsii. K state Aleksandra Shenya «Gauss multiplication trick?»”, Matematicheskoe prosveschenie, 3:24 (2019), 16–18 https://www.mccme.ru/free-books/matpros-24.html  mathnet
61. A. L. Semenov, “Novoe tekhnologicheskoe obrazovanie v shkole i SPO seriya kollektivnykh monografii”, Kak sdelat obrazovanie dvigatelem sotsialno-ekonomicheskogo razvitiya?, «Rossiiskoe obrazovanie: dostizheniya, vyzovy, perspektivy», eds. Ya. I. Kuzminov, I. D. Frumin, M.: Izd. dom VShE, 2019, 134–142, 234–240 alsemenov.ru
62. A. L. Semenov, “Tseli obschego obrazovaniya v tsifrovom mire”, Materialy III Mezhdunarodnoi konferentsii «Informatizatsiya obrazovaniya i metodika elektronnogo obucheniya» (Krasnoyarsk, 24–27 sentyabrya 2019 g.), V 2 ch. Ch. 2., Krasnoyarsk, SFU, 2019, 383–388 alsemenov.ru  elib
63. A. L. Semenov, “Ekspertiza uchebnikov”, Upravlenie shkoloi, 2019, no. 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. S. A. Polikarpov, A. L. Semenov, “Nauka – fundament shkoly XXI veka”, Matematika v shkole, 2019, no. 5, 3–10 alsemenov.ru  elib
66. 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  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib

   2018
67. R. B. Kupriyanov, A. L. Semenov, “Analiz dinamiki obrazovatelnykh rezultatov studentov krupnogo pedagogicheskogo universiteta”, Vestnik moskovskogo gorodskogo pedagogicheskogo universiteta, Informatika i informatizatsiya obrazovaniya, 1(43), Moskva, 2018, 66–67
68. I. Abankina, M. Alashkevich, V. Bolotov, M. Dobryakova, F. Dudyrev, I. Froumin, 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, eds. Y. Kuzminov, I. Froumin, Nat. Research Univ. Higher School of Economics, 2018 , 99, [1] pp. alsemenov.ru  crossref 5
69. A. L. Semenov, “Vstupitelnaya statya”, «Bolshaya igra» v. 2: Rossiya v globalnom informatsionnom prostranstve (avt. Nazarov V. L., Zherdev D. V.), Ekaterinburg, Izd-vo Uralskogo federalnogo universiteta, 2018, 3–4 alsemenov.ru  elib
70. B. N. Chetverushkin, E. E. Tyrtyshnikov, N. N. Kudryavtsev, V. P. Dymnikov, Yu. I. Zhuravlev, E. E. Son, K. V. Rudakov, Yu. G. Evtushenko, A. B. Zhizhchenko, Yu. V. Gulyaev, A. S. Bugaev, A. N. Konovalov, V. P. Maslov, V. M. Berdyshev, A. L. Semenov, E. I. Moiseev, I. B. Petrov, Yu. A. Flerov, I. G. Pospelov, S. I. Kabanikhin, M. V. Iakobovski, V. F. Tishkin, Yu. V. Vassilevski, A. A. Shananin, V. A. Gushchin, I. S. Nikitin, A. I. Lobanov, V. V. Demchenko, E. L. Stupitsky, V. L. Yakushev, A. V. Babakov, Yu. D. Shevelev, S. A. Ishanov, V. S. Ryaben'kii, “In memory of Aleksandr Sergeevich Kholodov”, Matem. Mod., 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. A. L. Semenov, A. Yu. Uvarov, “Obnovlenie tekhnologicheskogo obrazovaniya i informatizatsiya shkoly”, Vestnik moskovskogo gorodskogo pedagogicheskogo universiteta, Informatika i informatizatsiya obrazovaniya, 4, Moskva, 2017, 17–31
73. Alexei Semenov, “Seymour Papert and Us. Constructionism as the Educational Phylosophy of the 21th Century”, Voprosy Obrazovania / Educational Studies, 1 (2017), 269–294  elib
74. A. L. Semenov, “Osnovnye printsipy i perspektivy razvitiya sovremennogo pedagogicheskogo obrazovaniya”, Sb. Universitety v Evraziiskom obrazovatelnom prostranstve. Monografiya., Ser. “Evraziiskie universitety XXI veka”, eds. V. A. Sadovnichii, Moskva, OOO “MAKS Press”, 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. A. L. Semenov, “Prioritety razvitiya rossiiskogo obrazovaniya v vek tsifrovoi ekonomiki”, Bibliotechka dlya uchrezhdenii dopolnitelnogo obrazovaniya detei, 2017, no. 6, 5–6 alsemenov.ru  elib
77. A. A. Agrachev, R. V. Gamkrelidze, E. S. Golod, A. B. Zhizhchenko, Yu. I. Zhuravlev, V. V. Kozlov, A. V. Mikhalev, A. V. Ovchinnikov, N. Kh. Rozov, A. L. Semenov, V. G. Chirskii, V. A. Shamolin, “Anniversary of Professor M. V. Shamolin”, Dynamical systems, Itogi Nauki i Tekhniki. Ser. Sovrem. Mat. Pril. Temat. Obz., 134, VINITI, Moscow, 2017, 3–5  mathnet  mathscinet

   2016
78. A. L. Semenov, “Kontseptualnye problemy informatiki, algoritmiki i programmirovaniya v shkole”, Vestnik kibernetiki, 2(22) (2016), 11–15
79. A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 6 (2016), 3
80. A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Matematika, fizika, informatika i ikh prilozheniya v nauke i obrazovanii. Sb. dokladov Mezhdunarodnoi shkoly-konferentsii molodykh uchenykh (Moskva, 12–15 dekabrya 2016 g.), MIREA, 2016, 46–50  elib
81. A. L. Semenov, Uchim uchitsya i uchit. O vozrozhdenii pedagogicheskogo obrazovaniya, printsipakh raboty pedagogicheskogo universiteta i perspektivakh ego vypusknikov, Rossiiskaya gazeta, 7127(259), 15 noyabrya 2016 g. Rossiiskaya gazeta

   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. A. L. Semenov, “Variativnaya matematika”, Obrazovatelnaya politika, 1(67) (2015), 95–97  elib
84. A. L. Semenov, A. Yu. Uvarov, “Tridtsat let – eto vsë-taki malo”, Informatika i obrazovanie, 7 (2015), 3
85. A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 3(19) (2015), 22–26  elib
86. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 2015, no. 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. E. I. Bulin-Sokolova, A. S. Obukhov, A. L. Semenov, “Buduschee pedagogicheskoe obrazovanie. Napravlenie dvizheniya i pervye prakticheskie shagi”, Psikhologicheskaya nauka i obrazovanie, 19:3 (2014), 207–226  elib
89. A. L. Semenov, S. L. Atanasyan, “Formirovanie matematicheskoi kompetentsii v osnovnoi shkole”, Nauka i shkola, 5 (2014), 7–12  elib
90. A. L. Semenov, S. L. Atanasyan, S. D. Karakozov, “Klyuchevye idei kontseptsii razvitiya matematicheskogo obrazovaniya v Rossiiskoi Federatsii”, Informatika v shkole: Proshloe, nastoyaschee i buduschee: materialy vserossiiskoi nauchno-metodicheskoi konferentsii po voprosam primeneniya IKT v obrazovanii (Perm 2014), Perm. gos. nats. issled. un-t, 2014, 264–266
91. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 1)”, Matematika v shkole, 5 (2014), 21–26  elib
92. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 2)”, Matematika v shkole, 6 (2014), 21–26  elib
93. 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  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib
94. 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  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib
95. I. R. Vysotskii, P. I. Zakharov, V. S. Panferov, S. E. Positselskii, A. V. Semenov, M. A. Semenova, I. N. Sergeev, V. A. Smirnov, S. A. Shestakov, D. E. Shnol, A. L. Semenov, I. V. Yaschenko, Matematika. S teoriei veroyatnostei i statistikoi. EGE 2014, Ekzamen, Moskva, 2014 , 95 pp.
96. I. R. Vysotskii, P. I. Zakharov, V. S. Panferov, S. E. Positselskii, A. V. Semenov, M. A. Semenova, I. N. Sergeev, V. A. Smirnov, S. A. Shestakov, D. E. Shnol, A. L. Semenov, I. V. Yaschenko, Matematika. Bazovyi i profilnyi urovni EGE 2014. Tipovye testovye zadaniya, Ekzamen, Moskva, 2014 , 56 pp.
97. I. R. Vysotskii, P. I. Zakharov, V. S. Panferov, S. E. Positselskii, A. V. Semenov, M. A. Semenova, I. N. Sergeev, V. A. Smirnov, S. A. Shestakov, D. E. Shnol, A. L. Semenov, I. V. Yaschenko, K demonstratsionnoi versii EGE ot 31.10.13. Bazovyi i profilnyi urovni EGE 2014, Ekzamen, Moskva, 2014 , 216 pp.
98. A. L. Semenov, A. S. Sokolov, “Prinosheniya muzykantu-pedagogu”, Vestnik kafedry YuNESKO Muzykalnoe iskusstvo i obrazovanie, 2014, no. 3(7), 17

   2013
99. A. L. Semenov, “Kontseptsiya razvitiya rossiiskogo matematicheskogo obrazovaniya (khod proekta)”, Matematika v shkole, 9 (2013), 3–5  adsnasa  elib
100. A. L. Semenov, S. D. Karakozov, “Moskovskoe obrazovanie v usloviyakh vstupleniya v silu novogo zakona ob obrazovanii”, Vestnik altaiskoi nauki, 3 (2013), 300–302  elib
101. A. L. Semenov, S. L. Atanasyan, “O kontseptsii razvitiya rossiiskogo matematicheskogo obrazovaniya”, Nauka – obrazovaniyu, 2 (2013), 6
102. A. L. Semenov, “Kak detei uchit luchshe?”, Almanakh «Vysshaya shkola XXI veka», 19 (2013), 3
103. D. A. Archangelsky, B. S. Baizhanov, O. V. Belegradek, V. Ya. Belyaev, L. A. Bokut, M. K. Valiev, S. K. Vodopyanov, M. Gitik, Yu. S. Gurevich, D. O. Daderkin, A. M. Dekhtyar, M. I. Dekhtyar, A. Ya. Dikovsky, S. M. Dudakov, E. I. Zelmanov, B. I. Zilber, S. L. Krushkal, S. S. Kutateladze, Yu. V. Matiyasevich, G. E. Mints, I. Kh. Musikaev, A. K. Rebrov, Yu. G. Reshetnyak, A. L. Semenov, A. P. Stolboushkin, I. A. Taimanov, B. A. Trakhtenbrot, “Mikhail Abramovich Taitslin (1936–2013)”, Sib. Èlektron. Mat. Izv., 10 (2013), 54–65  mathnet
104. A. L. Semenov, “Kadry reshayut vse”, Vserossiiskaya obschestvenno-politicheskaya gazeta «Vlastnaya vertikal Federatsii», 5 (2013), 3
105. A. L. Semenov, “Komu i kakaya primernaya programma nuzhna, kto ee dolzhen razrabatyvat?”, Uchitelskaya gazeta, 24 (2013), 3
106. A. L. Semenov, “Vse, chto spryatal, to propalo”, Gazeta “Poisk”, 12 (2013), 3  mathscinet
107. A. L. Semenov, “Kak segodnya povyshat kvalifikatsiyu direktoram shkol?”, Uchitelskaya gazeta, 9 (2013), 3
108. A. L. Semenov, «Dve kultury» segodnya». Matematika i literatura, Zanyatiya literaturoi v gumanitarnykh i matematicheskikh klassakh. Sochineniya, igry, puteshestviya, Moskovskii institut otkrytogo obrazovaniya, Institut novykh tekhnologii, Moskva, 2013 , 245 pp.
109. A. L. Semenov, I. N. Sergeev, V. S. Panferov, I. V. Yaschenko, Matematika. 30 variantov tipovykh testovykh zadanii i 800 zadanii chasti 2(s). EGE 2013. Tipovye testovye zadaniya, Ekzamen, Moskva, 2013 , 216 pp.

   2012
110. A. L. Semenov, Matematika tekstov. Uchebnoe posobie, MTsNMO, 2012 , 16 pp.
111. E. I. Bulin-Sokolova, T. A. Rudchenko, A. L. Semenov, E. N. Khokhlova, Formirovanie IKT-kompetentnosti mladshikh shkolnikov: posobie dlya uchitelei obscheobrazovat. uchrezhdenii, Prosveschenie, 2012 , 128 pp.

   2011
112. A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272  mathnet  crossref  mathscinet  isi  elib  elib  scopus
113. A. L. Semenov, “IKT-kompetentnosti uchaschikhsya. IKT kak instrumentarii universalnykh uchebnykh deistvii: podprogramma formirovaniya”, Trudy Bolshogo moskovskogo seminara po metodike rannego obucheniya informatike, Moskva, Moskva, 2011, 149–156
114. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
115. 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  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib

   2010
116. A. G. Asmolov, A. L. Semenov, A. Yu. Uvarov, “My zhdem peremen. Chemu i kak budet uchitsya podrastayuschee pokolenie i XXI veke”, Deti v informatsionnom obschestve, 5 (2010), 20
117. E. I. Bulin-Sokolova, A. L. Semenov, “Postroenie programmy formirovaniya IKT-kompetentnosti uchaschikhsya i informatsionnoi obrazovatelnoi sredy osnovnoi shkoly”, Informatika i obrazovanie, 8 (2010), 3–7  elib
118. A. A. Kuznetsov, A. L. Semenov, S. A. Beshenkov, A. G. Kushnirenko, “Primernaya programma po informatike i IKT (VII – IX klassy)”, Informatika i obrazovanie, 8 (2010), 3–7
119. E. I. Bulin-Sokolova, A. L. Semenov, “Chitaem FGOS NO, pishem OOP, vklyuchaya IKT v PFUUD”, Narodnoe obrazovanie, 7 (2010), 21–30  elib
120. V. M. Kruglyakov, E. L. Rachevskii, A. L. Semenov, “Za chto platit shkole? Zametki na polyakh direktivnykh dokumentov”, Narodnoe obrazovanie, 10 (2010), 58–61  elib
121. I. V. Yaschenko, I. R. Vysotskii, D. D. Guschin, P. I. Zakharov, S. E. Positselskii, A. V. Semenova, S. A. Shestakov, D. E. Shnol, V. A. Smirnov, V. S. Panferov, M. A. Semenova, A. L. Semenov, EGE 2010. Matematika. Tipovye testovye zadaniya, Ekzamen, Moskva, 2010 , 64 pp.
122. V. S. Panferov, I. N. Sergeev, A. L. Semenov, I. V. Yaschenko i dr., Samoe polnoe izdanie tipovykh realnykh zadanii EGE Russkii yazyk, matematika, obschestvoznanie. FIPI, AST, 2010 , 480 pp.
123. A. G. Asmolov, A. L. Semenov, A. Yu. Uvarov, Rossiiskaya shkola i novye informatsionnye tekhnologii: vzglyad v sleduyuschee desyatiletie, NeksPrint, 2010 , 95 pp.

   2009
124. An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  elib  scopus
125. I. G. Alekseev, M. V. Voloshin, N. A. Gippius, M. V. Danilov, D. V. Kazantsev, A. D. Mironov, A. Yu. Morozov, L. B. Okun, V. A. Rubakov, D. N. Svirida, A. L. Semenov, P. G. Tinyakov, “Pamyati Vladimira Vladimirovicha Bronfmana”, Uspekhi fiz. nauk, 179:12 (2009), 1373–1374  mathnet  crossref  elib 1
126. E. I. Bulin-Sokolova, A. L. Semenov, “Monitoring zdorovya uchaschegosya kak element individualizatsii obucheniya”, Kultura fizicheskaya i zdorove, 6 (2009), 61–64  elib
127. E. I. Bulin-Sokolova, A. L. Semenov, “Shkola informatizatsii: put k obnovleniyu obrazovaniya”, Informatika i obrazovanie, 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. A. L. Semenov, M. A. Positselskaya, “O svyazi rannego obucheniya informatike i korrektsionno-razvivayuschei raboty s doshkolnikami i mladshimi shkolnikami: tetradi «Matematika i informatika»”, Sbornik «Trudy Bolshogo Moskovskogo seminara po metodike rannego obucheniya informatike» v 10 tomakh., eds. I. V. Sokolova, Yu. A. Pervin, Moskva, 2008, 164–171

   2007
130. S. I. Adian, A. L. Semenov, V. A. Uspenskii, “Andrei Al'bertovich Muchnik (obituary)”, Russian Math. Surveys, 62:4 (2007), 775–779  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib

   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. 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  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib

   2005
133. A. M. Kondakov, A. L. Semenov, T. I. Galishnikova, T. A. Fialkova, N. S. Stanchenko, “Kollektsii na Rossiiskom obrazovatelnom portale www.school.edu.ru: internet-proekt «Kulturnoe nasledie»”, Otkrytoe obrazovanie, 3 (2005), 31–58  elib
134. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 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.; A. L. Semenov, Informatsionnye i kommunikatsionnye tekhnologii v obschem obrazovanii: teoriya i praktika. Avtorizovannyi per. s angl., pererabotannyi i dopolnennyi, YuNESKO, 2006 , 327 pp.

   2004
136. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 1”, Voprosy obrazovaniya, 1 (2004), 79
137. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 2”, Voprosy obrazovaniya, 2 (2004), 110

   2003
138. 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  mathnet  crossref  mathscinet  zmath
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
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. A. L. Semenov, M. M. Gorbunov-Possadov, T. A. Polilova, “The school on its way to the new literacy”, Keldysh Institute preprints, 2003, 55–20  mathnet
142. A. L. Semenov, T. A. Rudchenko, “Vystupayut avtory uchebnikov”, Informatika i obrazovanie, 1 (2003), 10
143. A. L. Semenov, T. A. Rudchenko, “Informatika 2–4”, Informatika i obrazovanie, 1 (2003), 17
144. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, “Shkola i tekhnologii novoi gramotnosti”, Informatsionnye tekhnologii i vychislitelnye sistemy, 4 (2003), 87–99
145. Alexei Semenov, Andrej Muchnik, “40 years of the Origin of Kolmgorov Randomness Theory”, Sb. Kolmogorov i sovremennaya matematika. Tezisy dokladov Mezhdunarodnoi konferentsii, posvyaschennoi 100-letiyu so dnya rozhdeniya A. N. Kolmogorova (Moskva, 16 – 21 iyunya 2003), Izdatelstvo mekhaniko-matematicheskogo fakulteta MGU, 2003, 677–678  mathscinet
146. A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathnet  mathscinet  zmath
147. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2003, no. 4, 87–99  mathnet  elib

   2002
148. A. L. Semenov, “Tematicheskoe planirovanie uchebnogo materiala po programme «Informatika»”, Informatika i obrazovanie, 3 (2002), 5  zmath
149. A. L. Semenov, Matematika tekstov, Izdatelstvo Moskovskogo tsentra nepreryvnogo matematicheskogo obrazovaniya, 2002 , 16 pp.

   2001
150. A. L. Semenov, “Rol informatsionnykh tekhnologii v obschem srednem obrazovanii”, Informatika i obrazovanie, 2 (2001), 2

   2000
151. A. L. Semenov, “Informatsionnye tekhnologii v nachalnom obrazovanii”, Shkolnye tekhnologii, 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. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1998), 54
155. S. K. Lando, A. L. Semenov, “Algoritmika: uchebnaya programma kursa”, Informatika i obrazovanie, 3 (1998), 94

   1996
156. A. L. Semenov, “Informatika v rossiiskoi srednei shkole: doklad na plenarnom zasedanii II Mezhdunarodnogo kongressa YuNESKO «Obrazovanie i informatika»”, Informatika i obrazovanie, 5 (1996), 29

   1995
157. N. D. Ugrinovich, A. L. Semenov, “Programma nepreryvnogo kursa informatiki dlya srednei shkoly”, Informatika i obrazovanie, 4 (1995), 12
158. A. L. Semenov, “Obrazovanie, informatika, kompyutery”, Informatika i obrazovanie, 5 (1995), 6
159. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 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. A. N. Kolmogorov, S. I. Adyan, A. G. Dragalin, A. S. Kuzichev, E. Yu. Nogina, A. L. Semenov, V. A. Uspenskii, “Matematicheskaya logika i teoriya algoritmov na mekhaniko-matematicheskom fakultete MGU”, Matematika v Moskovskom universitete, Izdatelstvo Moskovskogo universiteta, 1992, 128–155
163. 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  mathnet  crossref  mathscinet  isi

   1990
164. 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  mathnet  crossref  mathscinet  zmath  adsnasa  isi
165. A. K. Polivanova, A. L. Semenov, “Ya – ne matematik”, Yazyk logiki i logika yazyka. Sbornik statei k 60-letiyu professora V. A. Uspenskogo, Voprosy kibernetiki, 166, Nauchnyi sovet po kompleksnoi probleme «Kibernetika» AN SSSR, Moskva, 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. V. G. Vovk, A. L. Semenov, S. F. Soprunov, “Nekotoryi sposob proverki pravilnosti programm na Assemblere”, Metody i algoritmy analiza bolshikh sistem, Voprosy kibernetiki, 136, eds. V. G. Karmanov, Nauchnyi sovet po kompleksnoi probleme «Kibernetika» AN SSSR, Moskva, 1988, 56–78  mathscinet

   1987
168. V. A. Uspenskii, A. L. Semenov, “Algoritmy, ili mashiny Kolmogorova”, A. N. Kolmogorov. Teoriya informatsii i teoriya algoritmov. Izbrannye trudy, eds. A. N. Shiryaev, Nauka, Moskva, 1987, 279–289  mathscinet
169. V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.  mathscinet  zmath

   1986
170. A. L. Semenov, V. A. Uspenskii, “Matematicheskaya logika v vychislitelnykh naukakh i vychislitelnoi praktike”, Vestnik Akademii nauk SSSR, 56:7 (1986), 93–103  mathscinet  isi
171. A. L. Semenov, “Razreshayuschie protsedury dlya logicheskikh teorii”, Kibernetika i kompyuternaya tekhnologiya, 2, Nauka, Moscow, 1986, 134–146  mathscinet

   1985
172. A. L. Semenov, S. F. Soprunov, “O yazyke kombinatorno-logicheskogo protsessora”, Effektivnoe ispolzovanie vysokoproizvoditelnykh EVM. Seriya Voprosy kibernetiki., 117, Nauchnyi sovet po kompleksnoi probleme «Kibernetika» AN SSSR, Moskva, 1985, 182–191
173. V. A. Uspenskii, A. L. Semenov, “Reshimye i nereshimye algoritmicheskie problemy”, Kvant, 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
175. A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618  mathnet  crossref  mathscinet  zmath

   1982
176. A. L. Semenov, “Ob opredelimosti arifmetiki v ee fragmentakh”, Doklady Akademii nauk SSSR, 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. A. L. Semenov, “Interpretatsiya svobodnykh algebr v svobodnykh gruppakh”, Doklady Akademii nauk SSSR, 252:6 (1980), 1329–1332  mathnet  mathscinet  mathscinet  zmath  isi
179. A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418  mathnet  crossref  mathscinet  zmath  isi

   1978
180. A. L. Semenov, “Nekotorye algebraicheskie problemy dlya sistem algoritmicheskikh algebr”, Doklady Akademii nauk SSSR, 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 45

   1974
182. A. L. Semenov, “Regulyarnost yazykov, $k$-lineinykh dlya razlichnykh $k$”, Doklady Akademii nauk SSSR, 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 13

Presentations in Math-Net.Ru
1. The relevance of L. D. Kudryavtsev’s ideas for education in the 21st century
A. L. Semenov
VI International Conference "Function Spaces. Differential Operators. Problems of Mathematical Education", dedicated to the centennial anniversary of the corresponding member of Russian Academy of Sciences, academician of European Academy of Sciences L.D. Kudryavtsev
November 17, 2023 12:00   
2. Приветственное слово
A. A. Onoprienko, A. L. Semenov

June 29, 2023 11:15   
3. Examples and problems for definability lattices
A. L. Semenov
Seminars "Proof Theory" and "Logic Online Seminar"
May 16, 2023 18:30   
4. Recent results on definability lattices of numerical structures
A. L. Semenov, S. F. Soprunov
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 9, 2022 16:00   
5. Заседание посвящено 100-летию Георгия Максимовича Адельсон-Вельского
V. L. Arlazarov, V. M. Tikhomirov, Yu. S. Ilyashenko, A. L. Semenov, M. A. Kronrod
Meetings of the Moscow Mathematical Society
March 29, 2022 18:30   
6. Цифровые технологии и искусственный интеллект для математики
A. L. Semenov
General Meeting of the Branch of Mathematical Sciences, RAS, 2021
December 13, 2021   
7. Перспективы математического образования в России
A. L. Semenov
General Meeting of the Branch of Mathematical Sciences, RAS, 2020
December 7, 2020 12:40   
8. Российская школьная информатика. Эволюция содержания 1986 - 2016 (в рамках дискуссии «Преподавание информатики в XXI веке»)
A. L. Semenov
International Conference "Strategies for higher educational results"
October 7, 2015 15:00   
9. Welcome speech
A. L. Semenov
International Conference "Strategies for higher educational results"
October 7, 2015 10:00   
10. Круглый стол «Математика и информатика в школе»
A. L. Semenov
Conference "Moscow Mathematical Society and Lomonosov Moscow State University" dedicated to the 150th anniversary of Moscow Mathematical Society
December 25, 2014 10:00
11. Российское школьное математическое образование: история и современность
A. L. Semenov
General Meeting of the Branch of Mathematical Sciences, RAS, 2012
December 17, 2012 13:35   
12. Qualitative theory of algorithms
A. L. Semenov
Summer School "Contemporary Mathematics", 2012
July 21, 2012 12:45   
13. The lattice of relational algebras definable in integers with successor
Aleksei Semenov, Sergei Soprunov
International workshop "Logical Models of Reasoning and Computation"
February 3, 2012 12:45   
14. Modal logics
A. L. Semenov
Summer School "Contemporary Mathematics", 2011
July 23, 2011 12:45   
15. Proof of impossibility in mathematical logic and theory of algorithms
A. L. Semenov
Summer School "Contemporary Mathematics", 2010
July 23, 2010 12:45   
16. Выразимость и разрешимость
A. L. Semenov
Summer School "Contemporary Mathematics", 2009
July 22, 2009 09:30   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024