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

Total publications: 180 (139)
in MathSciNet: 50 (37)
in zbMATH: 29 (22)
in Web of Science: 29 (18)
in Scopus: 17 (16)
Cited articles: 36
Citations: 422
Presentations: 16

Number of views:
This page:9553
Abstract pages:24822
Full texts:10335
References:1358
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/?q=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

Full 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. 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  isi  scopus
2. 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
3. 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
4. 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
5. 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
6. G. B. Shabat, A. L. Semenov, “Computer experiment in teaching mathematics”, Dokl. Math., 107:Suppl 1 (2023), S92–S116  mathnet  crossref  crossref  elib
7. 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
8. 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
9. 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
10. Dokl. Math., 108:1 (2023), 331–341  mathnet  crossref
11. A. L. Semenov, “Artificial intelligence in society”, Dokl. Math., 108:suppl. 2 (2023), S168–S178  mathnet  crossref  crossref  elib
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. A. L. Semenov, “Annotatsiya tematicheskogo bloka”, Vestnik Rossiiskogo fonda fundamentalnykh issledovanii, 2022, no. 1 (113), 9–19 alsemenov.ru
20. 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
21. 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
22. 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
23. A. L. Semenov, S. F. Soprunov, “Automorphisms and Definability (of Reducts) for Upward Complete Structures”, Mathematics, 10:2 (2022), 3748 alsemenov.ru  crossref 1
24. 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
25. 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
26. 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
27. 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
28. 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
29. 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  adsnasa  isi  scopus
30. 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
31. N. N. Konstantinov, A. L. Semenov, “Productive education in the mathematical school”, Chebyshevskii Sb., 22:1 (2021), 413–446  mathnet  crossref
32. A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Chebyshevskii Sb., 22:1 (2021), 304–327  mathnet  crossref
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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 2
40. 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
41. 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
42. 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
43. 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
44. 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
45. 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
46. 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;
47. 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
48. 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
49. 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
50. 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
51. 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
52. 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
53. 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
54. 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
55. 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
56. 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
57. 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
58. 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
59. 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
60. A. L. Semenov, “Ekspertiza uchebnikov”, Upravlenie shkoloi, 2019, no. 1 (602), 44–52 alsemenov.ru
61. 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
62. S. A. Polikarpov, A. L. Semenov, “Nauka – fundament shkoly XXI veka”, Matematika v shkole, 2019, no. 5, 3–10 alsemenov.ru  elib
63. 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
64. 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
65. 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
66. 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
67. 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
68. 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 12
69. 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
70. Alexei Semenov, “Seymour Papert and Us. Constructionism as the Educational Phylosophy of the 21th Century”, Voprosy Obrazovania / Educational Studies, 1 (2017), 269–294  elib
71. 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
72. 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
73. 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
74. 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
75. A. L. Semenov, “Kontseptualnye problemy informatiki, algoritmiki i programmirovaniya v shkole”, Vestnik kibernetiki, 2(22) (2016), 11–15
76. A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 6 (2016), 3
77. 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
78. 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
79. 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
80. A. L. Semenov, “Variativnaya matematika”, Obrazovatelnaya politika, 1(67) (2015), 95–97  elib
81. A. L. Semenov, A. Yu. Uvarov, “Tridtsat let – eto vsë-taki malo”, Informatika i obrazovanie, 7 (2015), 3
82. A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 3(19) (2015), 22–26  elib
83. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 2015, no. 3, 248

   2014
84. 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
85. 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
86. A. L. Semenov, S. L. Atanasyan, “Formirovanie matematicheskoi kompetentsii v osnovnoi shkole”, Nauka i shkola, 5 (2014), 7–12  elib
87. 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
88. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 1)”, Matematika v shkole, 5 (2014), 21–26  elib
89. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 2)”, Matematika v shkole, 6 (2014), 21–26  elib
90. 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
91. 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
92. 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.
93. 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.
94. 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.
95. A. L. Semenov, A. S. Sokolov, “Prinosheniya muzykantu-pedagogu”, Vestnik kafedry YuNESKO Muzykalnoe iskusstvo i obrazovanie, 2014, no. 3(7), 17

   2013
96. A. L. Semenov, “Kontseptsiya razvitiya rossiiskogo matematicheskogo obrazovaniya (khod proekta)”, Matematika v shkole, 9 (2013), 3–5  adsnasa  elib
97. 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
98. A. L. Semenov, S. L. Atanasyan, “O kontseptsii razvitiya rossiiskogo matematicheskogo obrazovaniya”, Nauka – obrazovaniyu, 2 (2013), 6
99. A. L. Semenov, “Kak detei uchit luchshe?”, Almanakh «Vysshaya shkola XXI veka», 19 (2013), 3
100. 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
101. A. L. Semenov, “Kadry reshayut vse”, Vserossiiskaya obschestvenno-politicheskaya gazeta «Vlastnaya vertikal Federatsii», 5 (2013), 3
102. A. L. Semenov, “Komu i kakaya primernaya programma nuzhna, kto ee dolzhen razrabatyvat?”, Uchitelskaya gazeta, 24 (2013), 3
103. A. L. Semenov, “Vse, chto spryatal, to propalo”, Gazeta “Poisk”, 12 (2013), 3  mathscinet
104. A. L. Semenov, “Kak segodnya povyshat kvalifikatsiyu direktoram shkol?”, Uchitelskaya gazeta, 9 (2013), 3
105. 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.
106. 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
107. A. L. Semenov, Matematika tekstov. Uchebnoe posobie, MTsNMO, 2012 , 16 pp.
108. 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
109. 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
110. 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
111. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
112. 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
113. 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
114. 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
115. 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
116. E. I. Bulin-Sokolova, A. L. Semenov, “Chitaem FGOS NO, pishem OOP, vklyuchaya IKT v PFUUD”, Narodnoe obrazovanie, 7 (2010), 21–30  elib
117. 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
118. 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.
119. 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.
120. A. G. Asmolov, A. L. Semenov, A. Yu. Uvarov, Rossiiskaya shkola i novye informatsionnye tekhnologii: vzglyad v sleduyuschee desyatiletie, NeksPrint, 2010 , 95 pp.

   2009
121. 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
122. 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
123. E. I. Bulin-Sokolova, A. L. Semenov, “Monitoring zdorovya uchaschegosya kak element individualizatsii obucheniya”, Kultura fizicheskaya i zdorove, 6 (2009), 61–64  elib
124. E. I. Bulin-Sokolova, A. L. Semenov, “Shkola informatizatsii: put k obnovleniyu obrazovaniya”, Informatika i obrazovanie, 11 (2009), 3–12  elib
125. An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, Sequences Close to Periodic, 2009 , arXiv: abs/0903.5316

   2008
126. 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
127. 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
128. 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
129. 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
130. 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
131. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 3 (2005), 248–270
132. 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
133. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 1”, Voprosy obrazovaniya, 1 (2004), 79
134. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 2”, Voprosy obrazovaniya, 2 (2004), 110

   2003
135. 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
136. 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
137. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  crossref  mathscinet  zmath  isi  scopus 27
138. 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
139. A. L. Semenov, T. A. Rudchenko, “Vystupayut avtory uchebnikov”, Informatika i obrazovanie, 1 (2003), 10
140. A. L. Semenov, T. A. Rudchenko, “Informatika 2–4”, Informatika i obrazovanie, 1 (2003), 17
141. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, “Shkola i tekhnologii novoi gramotnosti”, Informatsionnye tekhnologii i vychislitelnye sistemy, 4 (2003), 87–99
142. 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
143. A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathnet  mathscinet  zmath
144. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2003, no. 4, 87–99  mathnet  elib

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

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

   2000
148. A. L. Semenov, “Informatsionnye tekhnologii v nachalnom obrazovanii”, Shkolnye tekhnologii, 6 (2000), 168

   1999
149. 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
150. 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 59
151. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1998), 54
152. S. K. Lando, A. L. Semenov, “Algoritmika: uchebnaya programma kursa”, Informatika i obrazovanie, 3 (1998), 94

   1996
153. 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
154. N. D. Ugrinovich, A. L. Semenov, “Programma nepreryvnogo kursa informatiki dlya srednei shkoly”, Informatika i obrazovanie, 4 (1995), 12
155. A. L. Semenov, “Obrazovanie, informatika, kompyutery”, Informatika i obrazovanie, 5 (1995), 6
156. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1995), 6

   1993
157. V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.  mathscinet
158. 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
159. 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
160. 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
161. 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
162. 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
163. A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451  mathscinet  zmath  isi
164. 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
165. 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
166. V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.  mathscinet  zmath

   1986
167. 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
168. A. L. Semenov, “Razreshayuschie protsedury dlya logicheskikh teorii”, Kibernetika i kompyuternaya tekhnologiya, 2, Nauka, Moscow, 1986, 134–146  mathscinet

   1985
169. 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
170. V. A. Uspenskii, A. L. Semenov, “Reshimye i nereshimye algoritmicheskie problemy”, Kvant, 7 (1985), 9–15

   1984
171. 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
172. 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
173. 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
174. 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
175. A. L. Semenov, “Interpretatsiya svobodnykh algebr v svobodnykh gruppakh”, Doklady Akademii nauk SSSR, 252:6 (1980), 1329–1332  mathnet  mathscinet  mathscinet  zmath  isi
176. 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
177. A. L. Semenov, “Nekotorye algebraicheskie problemy dlya sistem algoritmicheskikh algebr”, Doklady Akademii nauk SSSR, 239:5 (1978), 1063–1066  mathnet  mathscinet  mathscinet  zmath

   1977
178. 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 46

   1974
179. A. L. Semenov, “Regulyarnost yazykov, $k$-lineinykh dlya razlichnykh $k$”, Doklady Akademii nauk SSSR, 215 (1974), 278–281  mathnet  mathscinet  zmath

   1973
180. 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