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:9785
Abstract pages:26038
Full texts:10706
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)

Articles

1. 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
2. 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
3. G. B. Shabat, A. L. Semenov, “Computer experiment in teaching mathematics”, Dokl. Math., 107:Suppl 1 (2023), S92–S116  mathnet  crossref  crossref  elib
4. 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
5. 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
6. 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
7. Dokl. Math., 108:1 (2023), 331–341  mathnet  crossref
8. A. L. Semenov, “Artificial intelligence in society”, Dokl. Math., 108:suppl. 2 (2023), S168–S178  mathnet  crossref  crossref  elib
9. 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
10. 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
11. 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
12. 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
13. A. L. Semenov, “Annotatsiya tematicheskogo bloka”, Vestnik Rossiiskogo fonda fundamentalnykh issledovanii, 2022, no. 1 (113), 9–19 alsemenov.ru
14. 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
15. 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
16. 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
17. A. L. Semenov, S. F. Soprunov, “Automorphisms and Definability (of Reducts) for Upward Complete Structures”, Mathematics, 10:2 (2022), 3748 alsemenov.ru  crossref 1
18. 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
19. 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
20. 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
21. N. N. Konstantinov, A. L. Semenov, “Productive education in the mathematical school”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 270–287  mathnet  crossref  crossref
22. 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
23. 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
24. 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
25. 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
26. 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
27. 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
28. 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
29. 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
30. 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
31. 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
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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
40. 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
41. 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
42. 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
43. 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
44. 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
45. 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
46. A. L. Semenov, “Ekspertiza uchebnikov”, Upravlenie shkoloi, 2019, no. 1 (602), 44–52 alsemenov.ru
47. 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
48. S. A. Polikarpov, A. L. Semenov, “Nauka – fundament shkoly XXI veka”, Matematika v shkole, 2019, no. 5, 3–10 alsemenov.ru  elib
49. 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
50. 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
51. 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
52. 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
53. Alexei Semenov, “Seymour Papert and Us. Constructionism as the Educational Phylosophy of the 21th Century”, Voprosy Obrazovania / Educational Studies, 1 (2017), 269–294  elib
54. 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
55. 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
56. 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
57. A. L. Semenov, “Kontseptualnye problemy informatiki, algoritmiki i programmirovaniya v shkole”, Vestnik kibernetiki, 2(22) (2016), 11–15
58. A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 6 (2016), 3
59. 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
60. 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
61. A. L. Semenov, “Variativnaya matematika”, Obrazovatelnaya politika, 1(67) (2015), 95–97  elib
62. A. L. Semenov, A. Yu. Uvarov, “Tridtsat let – eto vsë-taki malo”, Informatika i obrazovanie, 7 (2015), 3
63. A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 3(19) (2015), 22–26  elib
64. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 2015, no. 3, 248
65. 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
66. 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
67. A. L. Semenov, S. L. Atanasyan, “Formirovanie matematicheskoi kompetentsii v osnovnoi shkole”, Nauka i shkola, 5 (2014), 7–12  elib
68. 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
69. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 1)”, Matematika v shkole, 5 (2014), 21–26  elib
70. A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 2)”, Matematika v shkole, 6 (2014), 21–26  elib
71. A. L. Semenov, “Kontseptsiya razvitiya rossiiskogo matematicheskogo obrazovaniya (khod proekta)”, Matematika v shkole, 9 (2013), 3–5  adsnasa  elib
72. 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
73. A. L. Semenov, S. L. Atanasyan, “O kontseptsii razvitiya rossiiskogo matematicheskogo obrazovaniya”, Nauka – obrazovaniyu, 2 (2013), 6
74. A. L. Semenov, “Kak detei uchit luchshe?”, Almanakh «Vysshaya shkola XXI veka», 19 (2013), 3
75. 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
76. 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
77. 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
78. 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
79. 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
80. E. I. Bulin-Sokolova, A. L. Semenov, “Chitaem FGOS NO, pishem OOP, vklyuchaya IKT v PFUUD”, Narodnoe obrazovanie, 7 (2010), 21–30  elib
81. 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
82. 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
83. 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
84. E. I. Bulin-Sokolova, A. L. Semenov, “Monitoring zdorovya uchaschegosya kak element individualizatsii obucheniya”, Kultura fizicheskaya i zdorove, 6 (2009), 61–64  elib
85. E. I. Bulin-Sokolova, A. L. Semenov, “Shkola informatizatsii: put k obnovleniyu obrazovaniya”, Informatika i obrazovanie, 11 (2009), 3–12  elib
86. 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
87. 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
88. 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
89. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 3 (2005), 248–270
90. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 1”, Voprosy obrazovaniya, 1 (2004), 79
91. A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 2”, Voprosy obrazovaniya, 2 (2004), 110
92. 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
93. 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
94. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  crossref  mathscinet  zmath  isi  scopus 28
95. A. L. Semenov, T. A. Rudchenko, “Vystupayut avtory uchebnikov”, Informatika i obrazovanie, 1 (2003), 10
96. A. L. Semenov, T. A. Rudchenko, “Informatika 2–4”, Informatika i obrazovanie, 1 (2003), 17
97. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, “Shkola i tekhnologii novoi gramotnosti”, Informatsionnye tekhnologii i vychislitelnye sistemy, 4 (2003), 87–99
98. 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
99. A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathnet  mathscinet  zmath
100. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2003, no. 4, 87–99  mathnet  elib
101. A. L. Semenov, “Tematicheskoe planirovanie uchebnogo materiala po programme «Informatika»”, Informatika i obrazovanie, 3 (2002), 5  zmath
102. A. L. Semenov, “Rol informatsionnykh tekhnologii v obschem srednem obrazovanii”, Informatika i obrazovanie, 2 (2001), 2
103. A. L. Semenov, “Informatsionnye tekhnologii v nachalnom obrazovanii”, Shkolnye tekhnologii, 6 (2000), 168
104. 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
105. 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
106. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1998), 54
107. S. K. Lando, A. L. Semenov, “Algoritmika: uchebnaya programma kursa”, Informatika i obrazovanie, 3 (1998), 94
108. 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
109. N. D. Ugrinovich, A. L. Semenov, “Programma nepreryvnogo kursa informatiki dlya srednei shkoly”, Informatika i obrazovanie, 4 (1995), 12
110. A. L. Semenov, “Obrazovanie, informatika, kompyutery”, Informatika i obrazovanie, 5 (1995), 6
111. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1995), 6
112. V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.  mathscinet
113. 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
114. 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
115. 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
116. 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
117. A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451  mathscinet  zmath  isi
118. 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
119. 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
120. 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
121. A. L. Semenov, “Razreshayuschie protsedury dlya logicheskikh teorii”, Kibernetika i kompyuternaya tekhnologiya, 2, Nauka, Moscow, 1986, 134–146  mathscinet
122. 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
123. 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
124. 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
125. A. L. Semenov, “Ob opredelimosti arifmetiki v ee fragmentakh”, Doklady Akademii nauk SSSR, 263:1 (1982), 44–47  mathnet  mathscinet  mathscinet  zmath  isi 2
126. 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
127. A. L. Semenov, “Interpretatsiya svobodnykh algebr v svobodnykh gruppakh”, Doklady Akademii nauk SSSR, 252:6 (1980), 1329–1332  mathnet  mathscinet  mathscinet  zmath  isi
128. 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
129. A. L. Semenov, “Nekotorye algebraicheskie problemy dlya sistem algoritmicheskikh algebr”, Doklady Akademii nauk SSSR, 239:5 (1978), 1063–1066  mathnet  mathscinet  mathscinet  zmath
130. 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
131. A. L. Semenov, “Regulyarnost yazykov, $k$-lineinykh dlya razlichnykh $k$”, Doklady Akademii nauk SSSR, 215 (1974), 278–281  mathnet  mathscinet  zmath
132. A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319  mathnet  mathscinet  mathscinet  zmath 13

Books

133. 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
134. A. L. Semenov, Matematika tekstov, Izdatelstvo Moskovskogo tsentra nepreryvnogo matematicheskogo obrazovaniya, 2002 , 16 pp.
135. V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.  mathscinet  zmath

Preprints

136. 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

ArXiv

137. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
138. An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, Sequences Close to Periodic, 2009 , arXiv: abs/0903.5316

Popular science or education materials

139. 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.
140. 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.
141. 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.
142. A. L. Semenov, A. S. Sokolov, “Prinosheniya muzykantu-pedagogu”, Vestnik kafedry YuNESKO Muzykalnoe iskusstvo i obrazovanie, 2014, no. 3(7), 17
143. A. L. Semenov, “Kadry reshayut vse”, Vserossiiskaya obschestvenno-politicheskaya gazeta «Vlastnaya vertikal Federatsii», 5 (2013), 3
144. A. L. Semenov, “Komu i kakaya primernaya programma nuzhna, kto ee dolzhen razrabatyvat?”, Uchitelskaya gazeta, 24 (2013), 3
145. A. L. Semenov, “Vse, chto spryatal, to propalo”, Gazeta “Poisk”, 12 (2013), 3  mathscinet
146. A. L. Semenov, “Kak segodnya povyshat kvalifikatsiyu direktoram shkol?”, Uchitelskaya gazeta, 9 (2013), 3
147. 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.
148. 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.
149. A. L. Semenov, Matematika tekstov. Uchebnoe posobie, MTsNMO, 2012 , 16 pp.
150. 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.
151. 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.
152. 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.
153. A. G. Asmolov, A. L. Semenov, A. Yu. Uvarov, Rossiiskaya shkola i novye informatsionnye tekhnologii: vzglyad v sleduyuschee desyatiletie, NeksPrint, 2010 , 95 pp.
154. 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.
155. V. A. Uspenskii, A. L. Semenov, “Reshimye i nereshimye algoritmicheskie problemy”, Kvant, 7 (1985), 9–15

Information matherials

156. 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
157. 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
158. 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

Personalia

159. 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
160. 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
161. 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
162. 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
163. 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
164. 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
165. 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
166. 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
167. 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
168. 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
169. 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
170. 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
171. 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
172. 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
173. 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
174. 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
175. 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
176. 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
177. 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
178. 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

Miscellaneous

179. 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
180. 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;

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