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

Total publications: 111 (84)
in MathSciNet: 41 (32)
in zbMATH: 25 (20)
in Web of Science: 19 (12)
in Scopus: 6 (6)
Cited articles: 19
Citations in Math-Net.Ru: 90
Citations in Web of Science: 150
Citations in Scopus: 83
Presentations: 9

Number of views:
This page:5222
Abstract pages:12637
Full texts:4169
References:623
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
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, Lattica 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 Kolmogorovs 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, “Kolmogorovs 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
  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  mathscinet  zmath

http://www.mathnet.ru/eng/person19667
List of publications on Google Scholar
http://zbmath.org/authors/?q=ai:semenov.alexei-l
https://mathscinet.ams.org/mathscinet/MRAuthorID/218197
http://elibrary.ru/author_items.asp?spin=2289-1720
ISTINA http://istina.msu.ru/workers/8592726
http://orcid.org/0000-0002-1785-2387
https://publons.com/researcher/1853196
http://www.researcherid.com/rid/S-5268-2018
http://www.scopus.com/authid/detail.url?authorId=7402499019
https://www.researchgate.net/profile/Alexei_Semenov2
https://arxiv.org/a/Asemenov

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



   2020
1. A. A. Muchnik, A. L. Semenov, Mat. Zametki, 108:1 (2020), 102–118 (to appear)  mathnet

   2019
2. 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
3. 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  adsnasa  isi  elib

   2018
4. 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
5. B. N. Chetverushkin, E. E. Tyrtyshnikov, N. N. Kudryavtsev, V. P. Dymnikov, Yu. I. Zhuravlev, E. E. Son, K. V. Rudakov, Yu. G. Evtushenko, A. B. Zhizhchenko, Yu. V. Gulyaev, A. S. Bugaev, A. N. Konovalov, V. P. Maslov, V. M. Berdyshev, A. L. Semenov, E. I. Moiseev, I. B. Petrov, Yu. A. Flerov, I. G. Pospelov, S. I. Kabanikhin, M. V. Iakobovski, V. F. Tishkin, Yu. V. Vassilevski, A. A. Shananin, V. A. Gushchin, I. S. Nikitin, A. I. Lobanov, V. V. Demchenko, E. L. Stupitsky, V. L. Yakushev, A. V. Babakov, Yu. D. Shevelev, S. A. Ishanov, V. S. Ryaben'kii, “In memory of Aleksandr Sergeevich Kholodov”, Matem. Mod., 30:1 (2018), 135–136  mathnet

   2017
6. 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
7. 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
8. Alexei Semenov, “Seymour Papert and Us. Constructionism as the Educational Phylosophy of the 21th Century”, Voprosy Obrazovania / Educational Studies, 1 (2017), 269–294  elib
9. A. A. Agrachev, R. V. Gamkrelidze, E. S. Golod, A. B. Zhizhchenko, Yu. I. Zhuravlev, V. V. Kozlov, A. V. Mikhalev, A. V. Ovchinnikov, N. Kh. Rozov, A. L. Semenov, V. G. Chirskii, V. A. Shamolin, “Anniversary of Professor M. V. Shamolin”, Dynamical systems, Itogi Nauki i Tekhniki. Ser. Sovrem. Mat. Pril. Temat. Obz., 134, VINITI, Moscow, 2017, 3–5  mathnet  mathscinet

   2016
10. A. L. Semenov, “Kontseptualnye problemy informatiki, algoritmiki i programmirovaniya v shkole”, Vestnik kibernetiki, 2(22) (2016), 11–15
11. A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 6 (2016), 3

   2015
12. 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
13. A. L. Semenov, “Variativnaya matematika”, Obrazovatelnaya politika, 1(67) (2015), 95–97  elib
14. A. L. Semenov, A. Yu. Uvarov, “Tridtsat let eto vsë-taki malo”, Informatika i obrazovanie, 7 (2015), 3
15. A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 3(19) (2015), 22–26  elib

   2014
16. 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
17. 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
18. A. L. Semenov, S. L. Atanasyan, “Formirovanie matematicheskoi kompetentsii v osnovnoi shkole”, Nauka i shkola, 5 (2014), 7–12  elib
19. 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
20. A. L. Semenov, “Dve kultury v sovremennoi shkole (chast 1)”, Matematika v shkole, 5 (2014), 21–26  elib
21. A. L. Semenov, “Dve kultury v sovremennoi shkole (chast 2)”, Matematika v shkole, 6 (2014), 21–26  elib
22. 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
23. 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
24. 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.
25. 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.
26. 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.
27. A. L. Semenov, A. S. Sokolov, “Prinosheniya muzykantu-pedagogu”, Vestnik kafedry YuNESKO Muzykalnoe iskusstvo i obrazovanie, 2014, no. 3(7), 17

   2013
28. A. L. Semenov, “Kontseptsiya razvitiya rossiiskogo matematicheskogo obrazovaniya (khod proekta)”, Matematika v shkole, 9 (2013), 3–5  elib
29. 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
30. A. L. Semenov, S. L. Atanasyan, “O kontseptsii razvitiya rossiiskogo matematicheskogo obrazovaniya”, Nauka – obrazovaniyu, 2 (2013), 6
31. A. L. Semenov, “Kak detei uchit luchshe?”, Almanakh Vysshaya shkola XXI veka, 19 (2013), 3
32. 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
33. A. L. Semenov, “Kadry reshayut vse”, Vserossiiskaya obschestvenno-politicheskaya gazeta Vlastnaya vertikal Federatsii, 5 (2013), 3
34. A. L. Semenov, “Komu i kakaya primernaya programma nuzhna, kto ee dolzhen razrabatyvat?”, Uchitelskaya gazeta, 24 (2013), 3
35. A. L. Semenov, “Vse, chto spryatal, to propalo”, Gazeta “Poisk”, 12 (2013), 3  mathscinet
36. A. L. Semenov, “Kak segodnya povyshat kvalifikatsiyu direktoram shkol?”, Uchitelskaya gazeta, 9 (2013), 3
37. 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.
38. A. L. Semenov, I. N. Sergeev, V. S. Panferov, I. V. Yaschenko, Matematika. 30 variantov tipovykh testovykh zadanii i 800 zadanii chasti 2(s). EGE 2013. Tipovye testovye zadaniya, Ekzamen, Moskva, 2013 , 216 pp.

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

   2011
41. 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 (cited: 1)  elib (cited: 1)  scopus (cited: 1)
42. 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
43. A. L. Semenov, S. F. Soprunov, Lattica of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
44. L. D. Beklemishev, V. M. Buchstaber, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, A. A. Razborov, A. L. Semenov, “Sergei Ivanovich Adian (on his eightieth birthday)”, Russian Math. Surveys, 66:1 (2011), 197–198  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib

   2010
45. 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
46. 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
47. 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
48. E. I. Bulin-Sokolova, A. L. Semenov, “Chitaem FGOS NO, pishem OOP, vklyuchaya IKT v PFUUD”, Narodnoe obrazovanie, 7 (2010), 21–30  elib
49. V. M. Kruglyakov, E. L. Rachevskii, A. L. Semenov, “Za chto platit shkole? Zametki na polyakh direktivnykh dokumentov”, Narodnoe obrazovanie, 10 (2010), 5861  elib
50. 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.
51. 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.
52. A. G. Asmolov, A. L. Semenov, A. Yu. Uvarov, Rossiiskaya shkola i novye informatsionnye tekhnologii: vzglyad v sleduyuschee desyatiletie, NeksPrint, 2010 , 95 pp.

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

   2008
58. A. L. Semenov, M. A. Positselskaya, “O svyazi rannego obucheniya informatike i korrektsionno-razvivayuschei raboty s doshkolnikami i mladshimi shkolnikami: tetradi Matematika i informatika”, Sbornik Trudy Bolshogo Moskovskogo seminara po metodike rannego obucheniya informatike v 10 tomakh., eds. I. V. Sokolova, Yu. A. Pervin, Moskva, 2008, 164–171

   2007
59. 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 (cited: 1)  elib

   2006
60. 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
61. L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib

   2005
62. 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
63. A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 3 (2005), 248–270
64. Alexei Semenov, Information and Communication Technologies in Schools. A Handbook for Teachers or How ICT Can Create New, Open Learning Environments, UNESCO, Paris, 2005 , 327 pp.; A. L. Semenov, Informatsionnye i kommunikatsionnye tekhnologii v obschem obrazovanii: teoriya i praktika. Avtorizovannyi per. s angl., pererabotannyi i dopolnennyi, YuNESKO, 2006 , 327 pp.

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

   2003
67. 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
68. A. L. Semenov, A. A. Muchnik, “An Improvement of Kolmogorovs 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
69. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  crossref  mathscinet  zmath  isi (cited: 18)  scopus (cited: 23)
70. 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
71. A. L. Semenov, T. A. Rudchenko, “Vystupayut avtory uchebnikov”, Informatika i obrazovanie, 1 (2003), 10
72. A. L. Semenov, T. A. Rudchenko, “Informatika 24”, Informatika i obrazovanie, 1 (2003), 17
73. M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, “Shkola i tekhnologii novoi gramotnosti”, Informatsionnye tekhnologii i vychislitelnye sistemy, 4 (2003), 87–99
74. 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
75. A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathnet  mathscinet  zmath

   2002
76. A. L. Semenov, “Tematicheskoe planirovanie uchebnogo materiala po programme Informatika”, Informatika i obrazovanie, 3 (2002), 5  zmath
77. A. L. Semenov, Matematika tekstov, Izdatelstvo Moskovskogo tsentra nepreryvnogomatematicheskogoobrazovaniya, 2002 , 16 pp.

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

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

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

   1998
81. 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 (cited: 46)  scopus (cited: 51)
82. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1998), 54
83. S. K. Lando, A. L. Semenov, “Algoritmika: uchebnaya programma kursa”, Informatika i obrazovanie, 3 (1998), 94

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

   1995
85. N. D. Ugrinovich, A. L. Semenov, “Programma nepreryvnogo kursa informatiki dlya srednei shkoly”, Informatika i obrazovanie, 4 (1995), 12
86. A. L. Semenov, “Obrazovanie, informatika, kompyutery”, Informatika i obrazovanie, 5 (1995), 6
87. A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1995), 6

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

   1992
90. 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
91. A. V. Arkhangel'skii, B. A. Pasynkov, V. I. Ponomarev, V. V. Fedorchuk, S. P. Gul'ko, V. I. Malykhin, A. L. Semenov, E. V. Shchepin, G. P. Amirdzhanov, A. P. Kombarov, D. V. Ranchin, V. V. Uspenskii, L. B. Shapiro, A. P. Shostak, “Boris Émil'evich Shapirovskii (obituary)”, Russian Math. Surveys, 47:6 (1992), 199–201  mathnet  crossref  mathscinet  isi

   1990
92. 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 (cited: 55)
93. A. K. Polivanova, A. L. Semenov, “Ya ne matematik”, Yazyk logiki i logika yazyka. Sbornik statei k 60-letiyu professora V. A. Uspenskogo, Voprosy kibernetiki, 166, Nauchnyi sovet po kompleksnoi probleme Kibernetika AN SSSR, Moskva, 1990, 195–199

   1988
94. A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451  mathscinet  zmath  isi
95. V. G. Vovk, A. L. Semenov, S. F. Soprunov, “Nekotoryi sposob proverki pravilnosti programm na Assemblere”, Metody i algoritmy analiza bolshikh sistem, Voprosy kibernetiki, 136, eds. V. G. Karmanov, Nauchnyi sovet po kompleksnoi probleme Kibernetika AN SSSR, Moskva, 1988, 56–78  mathscinet

   1987
96. 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
97. V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.  mathscinet  zmath

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

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

   1984
102. 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
103. A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618  mathnet  crossref  mathscinet  zmath

   1982
104. A. L. Semenov, “Ob opredelimosti arifmetiki v ee fragmentakh”, Doklady Akademii nauk SSSR, 263:1 (1982), 44–47  mathnet (cited: 2)  mathscinet  mathscinet  zmath  isi (cited: 3)

   1981
105. 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

   1980
106. A. L. Semenov, “Interpretatsiya svobodnykh algebr v svobodnykh gruppakh”, Doklady Akademii nauk SSSR, 252:6 (1980), 1329–1332  mathnet  mathscinet  mathscinet  zmath  isi (cited: 1)
107. 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 (cited: 16)

   1978
108. A. L. Semenov, “Nekotorye algebraicheskie problemy dlya sistem algoritmicheskikh algebr”, Doklady Akademii nauk SSSR, 239:5 (1978), 1063–1066  mathnet  mathscinet  mathscinet  zmath

   1977
109. A. L. Semenov, “Presburgerness of Predicated Regular in Two Number Systems”, Siberian Mathematical Journal, 18:2 (1977), 289  crossref  mathscinet  zmath

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

   1973
111. A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319  mathscinet  zmath

Presentations in Math-Net.Ru
1. . 1986 - 2016 ( « XXI »)
A. L. Semenov
International Conference "Strategies for higher educational results"
October 7, 2015 15:00   
2. Welcome speech
A. L. Semenov
International Conference "Strategies for higher educational results"
October 7, 2015 10:00   
3. « »
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
4. :
A. L. Semenov
General Meeting of the Branch of Mathematical Sciences, RAS, 2012
December 17, 2012 13:35   
5. Qualitative theory of algorithms
A. L. Semenov
Summer School "Contemporary Mathematics", 2012
July 21, 2012 12:45   
6. 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   
7. Modal logics
A. L. Semenov
Summer School "Contemporary Mathematics", 2011
July 23, 2011 12:45   
8. Proof of impossibility in mathematical logic and theory of algorithms
A. L. Semenov
Summer School "Contemporary Mathematics", 2010
July 23, 2010 12:45   
9.
A. L. Semenov
Summer School "Contemporary Mathematics", 2009
July 22, 2009 09:30   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020