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: 38
Citations: 430
Presentations: 16

Number of views:
This page:9784
Abstract pages:26034
Full texts:10704
References:1549
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

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


Citations (Crossref Cited-By Service + Math-Net.Ru)
1. 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
2. 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
3. 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
4. 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
5. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  crossref  mathscinet  zmath  isi  scopus 28
6. 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
7. 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
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. 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
10. 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
11. A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319  mathnet  mathscinet  mathscinet  zmath 13
12. 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
13. N. N. Konstantinov, A. L. Semenov, “Productive education in the mathematical school”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 270–287  mathnet  crossref  crossref
14. 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
15. A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathnet  mathscinet  zmath
16. 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
17. 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
18. Dokl. Math., 108:1 (2023), 331–341  mathnet  crossref
19. 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
20. 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
21. 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
22. 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
23. G. B. Shabat, A. L. Semenov, “Computer experiment in teaching mathematics”, Dokl. Math., 107:Suppl 1 (2023), S92–S116  mathnet  crossref  crossref  elib
24. 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
25. 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
26. 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
27. 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
28. A. L. Semenov, “Ob opredelimosti arifmetiki v ee fragmentakh”, Doklady Akademii nauk SSSR, 263:1 (1982), 44–47  mathnet  mathscinet  mathscinet  zmath  isi 2
29. 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
30. 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
31. A. L. Semenov, S. F. Soprunov, “Automorphisms and Definability (of Reducts) for Upward Complete Structures”, Mathematics, 10:2 (2022), 3748 alsemenov.ru  crossref 1
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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
40. A. L. Semenov, “Annotatsiya tematicheskogo bloka”, Vestnik Rossiiskogo fonda fundamentalnykh issledovanii, 2022, no. 1 (113), 9–19 alsemenov.ru
41. 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
42. 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
43. 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
44. 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
45. 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
46. 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
47. 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
48. 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
49. 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
50. 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
51. 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;
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, “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
60. 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
61. 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
62. A. L. Semenov, “Ekspertiza uchebnikov”, Upravlenie shkoloi, 2019, no. 1 (602), 44–52 alsemenov.ru
63. 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
64. S. A. Polikarpov, A. L. Semenov, “Nauka – fundament shkoly XXI veka”, Matematika v shkole, 2019, no. 5, 3–10 alsemenov.ru  elib
65. 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
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. 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
68. Alexei Semenov, “Seymour Papert and Us. Constructionism as the Educational Phylosophy of the 21th Century”, Voprosy Obrazovania / Educational Studies, 1 (2017), 269–294  elib
69. 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
70. 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
71. 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
72. A. L. Semenov, “Kontseptualnye problemy informatiki, algoritmiki i programmirovaniya v shkole”, Vestnik kibernetiki, 2(22) (2016), 11–15
73. A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 6 (2016), 3
74. 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
75. A. L. Semenov, “Variativnaya matematika”, Obrazovatelnaya politika, 1(67) (2015), 95–97  elib
76. A. L. Semenov, A. Yu. Uvarov, “Tridtsat let – eto vsë-taki malo”, Informatika i obrazovanie, 7 (2015), 3
77. A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 3(19) (2015), 22–26  elib
78. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 2015, no. 3, 248
79. 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
80. A. L. Semenov, S. L. Atanasyan, “Formirovanie matematicheskoi kompetentsii v osnovnoi shkole”, Nauka i shkola, 5 (2014), 7–12  elib
81. 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
82. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 1)”, Matematika v shkole, 5 (2014), 21–26  elib
83. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 2)”, Matematika v shkole, 6 (2014), 21–26  elib
84. A. L. Semenov, “Kontseptsiya razvitiya rossiiskogo matematicheskogo obrazovaniya (khod proekta)”, Matematika v shkole, 9 (2013), 3–5  adsnasa  elib
85. 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
86. A. L. Semenov, S. L. Atanasyan, “O kontseptsii razvitiya rossiiskogo matematicheskogo obrazovaniya”, Nauka – obrazovaniyu, 2 (2013), 6
87. A. L. Semenov, “Kak detei uchit luchshe?”, Almanakh «Vysshaya shkola XXI veka», 19 (2013), 3
88. 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
89. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
90. 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
91. 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
92. 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
93. E. I. Bulin-Sokolova, A. L. Semenov, “Chitaem FGOS NO, pishem OOP, vklyuchaya IKT v PFUUD”, Narodnoe obrazovanie, 7 (2010), 21–30  elib
94. 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
95. E. I. Bulin-Sokolova, A. L. Semenov, “Monitoring zdorovya uchaschegosya kak element individualizatsii obucheniya”, Kultura fizicheskaya i zdorove, 6 (2009), 61–64  elib
96. E. I. Bulin-Sokolova, A. L. Semenov, “Shkola informatizatsii: put k obnovleniyu obrazovaniya”, Informatika i obrazovanie, 11 (2009), 3–12  elib
97. An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, Sequences Close to Periodic, 2009 , arXiv: abs/0903.5316
98. 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
99. 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
100. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 3 (2005), 248–270
101. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 1”, Voprosy obrazovaniya, 1 (2004), 79
102. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 2”, Voprosy obrazovaniya, 2 (2004), 110
103. 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
104. 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
105. A. L. Semenov, T. A. Rudchenko, “Vystupayut avtory uchebnikov”, Informatika i obrazovanie, 1 (2003), 10
106. A. L. Semenov, T. A. Rudchenko, “Informatika 2–4”, Informatika i obrazovanie, 1 (2003), 17
107. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, “Shkola i tekhnologii novoi gramotnosti”, Informatsionnye tekhnologii i vychislitelnye sistemy, 4 (2003), 87–99
108. 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
109. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2003, no. 4, 87–99  mathnet  elib
110. A. L. Semenov, “Tematicheskoe planirovanie uchebnogo materiala po programme «Informatika»”, Informatika i obrazovanie, 3 (2002), 5  zmath
111. A. L. Semenov, Matematika tekstov, Izdatelstvo Moskovskogo tsentra nepreryvnogo matematicheskogo obrazovaniya, 2002 , 16 pp.
112. A. L. Semenov, “Rol informatsionnykh tekhnologii v obschem srednem obrazovanii”, Informatika i obrazovanie, 2 (2001), 2
113. A. L. Semenov, “Informatsionnye tekhnologii v nachalnom obrazovanii”, Shkolnye tekhnologii, 6 (2000), 168
114. 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
115. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1998), 54
116. S. K. Lando, A. L. Semenov, “Algoritmika: uchebnaya programma kursa”, Informatika i obrazovanie, 3 (1998), 94
117. 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
118. N. D. Ugrinovich, A. L. Semenov, “Programma nepreryvnogo kursa informatiki dlya srednei shkoly”, Informatika i obrazovanie, 4 (1995), 12
119. A. L. Semenov, “Obrazovanie, informatika, kompyutery”, Informatika i obrazovanie, 5 (1995), 6
120. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1995), 6
121. V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.  mathscinet
122. 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
123. 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
124. 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
125. A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451  mathscinet  zmath  isi
126. 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
127. 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
128. V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.  mathscinet  zmath
129. 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
130. A. L. Semenov, “Razreshayuschie protsedury dlya logicheskikh teorii”, Kibernetika i kompyuternaya tekhnologiya, 2, Nauka, Moscow, 1986, 134–146  mathscinet
131. 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
132. A. L. Semenov, “Interpretatsiya svobodnykh algebr v svobodnykh gruppakh”, Doklady Akademii nauk SSSR, 252:6 (1980), 1329–1332  mathnet  mathscinet  mathscinet  zmath  isi
133. A. L. Semenov, “Nekotorye algebraicheskie problemy dlya sistem algoritmicheskikh algebr”, Doklady Akademii nauk SSSR, 239:5 (1978), 1063–1066  mathnet  mathscinet  mathscinet  zmath
134. A. L. Semenov, “Regulyarnost yazykov, $k$-lineinykh dlya razlichnykh $k$”, Doklady Akademii nauk SSSR, 215 (1974), 278–281  mathnet  mathscinet  zmath
135. 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
136. 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
137. 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
138. A. L. Semenov, “Artificial intelligence in society”, Dokl. Math., 108:suppl. 2 (2023), S168–S178  mathnet  crossref  crossref  elib
139. 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
140. 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
141. 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
142. 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
143. 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
144. 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
145. 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
146. 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
147. 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
148. 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
149. 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
150. 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
151. 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
152. 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
153. 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
154. 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.
155. 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.
156. 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.
157. A. L. Semenov, A. S. Sokolov, “Prinosheniya muzykantu-pedagogu”, Vestnik kafedry YuNESKO Muzykalnoe iskusstvo i obrazovanie, 2014, no. 3(7), 17
158. 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
159. A. L. Semenov, “Kadry reshayut vse”, Vserossiiskaya obschestvenno-politicheskaya gazeta «Vlastnaya vertikal Federatsii», 5 (2013), 3
160. A. L. Semenov, “Komu i kakaya primernaya programma nuzhna, kto ee dolzhen razrabatyvat?”, Uchitelskaya gazeta, 24 (2013), 3
161. A. L. Semenov, “Vse, chto spryatal, to propalo”, Gazeta “Poisk”, 12 (2013), 3  mathscinet
162. A. L. Semenov, “Kak segodnya povyshat kvalifikatsiyu direktoram shkol?”, Uchitelskaya gazeta, 9 (2013), 3
163. 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.
164. 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.
165. A. L. Semenov, Matematika tekstov. Uchebnoe posobie, MTsNMO, 2012 , 16 pp.
166. 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.
167. 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
168. 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.
169. 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.
170. A. G. Asmolov, A. L. Semenov, A. Yu. Uvarov, Rossiiskaya shkola i novye informatsionnye tekhnologii: vzglyad v sleduyuschee desyatiletie, NeksPrint, 2010 , 95 pp.
171. 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.
172. 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
173. V. A. Uspenskii, A. L. Semenov, “Reshimye i nereshimye algoritmicheskie problemy”, Kvant, 7 (1985), 9–15
174. 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
175. 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
176. 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
177. 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
178. 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
179. 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
180. 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

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