Decidability of logical theories,
definability in structures
word combinatorics,
symbolic dynamics,
almost periodic sequences definability, reducts, Svenonius theorem
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
A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 6 (2016), 3
A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015), 966–975
A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 3(19) (2015), 22–26
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
A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272
A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871
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.
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
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
A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33
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
A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317
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
V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.
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
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
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
V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.
A. L. Semenov, V. A. Uspenskii, “Matematicheskaya logika v vychislitelnykh naukakh i vychislitelnoi praktike”, Vestnik Akademii nauk SSSR, 56:7 (1986), 93–103
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
A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618
A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418
A. L. Semenov, “Regulyarnost yazykov, $k$-lineinykh dlya razlichnykh $k$”, Doklady Akademii nauk SSSR, 215 (1974), 278–281
A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319
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
2023
2.
A. L. Semenov, S. F. Soprunov, I. A. Ivanov-Pogodaev, “Creating new mathematics by schoolchildren”, Dokl. Math., 107:Suppl 1 (2023), S132–S136
3.
G. B. Shabat, A. L. Semenov, “Computer experiment in teaching mathematics”, Dokl. Math., 107:Suppl 1 (2023), S92–S116
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
5.
M. A. Posicelskaya, T. A. Rudchenko, A. L. Semenov, “Mathematical elements of elementary education”, Dokl. Math., 107:Suppl 1 (2023), S10–S41
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
7.
Dokl. Math., 108:1 (2023), 331–341
8.
A. L. Semenov, “Artificial intelligence in society”, Dokl. Math., 108:suppl. 2 (2023), S168–S178
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–22alsemenov.ru
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–39alsemenov.ru
V. V. Goryachko, A. S. Bubnov, E. V. Rayevskii, A. L. Semenov, “Digital ark of knowledge”, Dokl. Math., 106:suppl. 1 (2022), S113–S117
12.
A. L. Semenov, “II: pochemu matematika? Predislovie glavnogo redaktora”, Doklady RAN, Matematika, Informatika, protsessy upravleniya, 508:1 (2022), 3–5alsemenov.ru
13.
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–17alsemenov.ru
14.
A. L. Semenov, “Annotatsiya tematicheskogo bloka”, Vestnik Rossiiskogo fonda fundamentalnykh issledovanii, 2022, no. 1 (113), 9–19alsemenov.ru
15.
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–329alsemenov.ru
16.
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–15alsemenov.ru
17.
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
18.
A. L. Semenov, S. F. Soprunov, “Automorphisms and Definability (of Reducts) for Upward Complete Structures”, Mathematics, 10:2 (2022), 3748alsemenov.ru
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–200alsemenov.ru
2021
20.
A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85:6 (2021), 1257–1269
21.
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
2022
22.
N. N. Konstantinov, A. L. Semenov, “Productive education in the mathematical school”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 270–287
23.
A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298
2021
24.
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–157alsemenov.ru
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–68alsemenov.ru
26.
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–452alsemenov.ru
27.
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–19alsemenov.ru
28.
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–189alsemenov.ru
29.
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–74alsemenov.ru
30.
A. L. Semenov, K. E. Ziskin, “Kontseptsiya rasshirennoi lichnosti kak orientir tsifrovogo puti obrazovaniya”, Gertsenovskie chteniya: psikhologicheskie issledovaniya v obrazovanii, 2021, no. 4, 530–535alsemenov.ru
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, 05010alsemenov.ru
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–66alsemenov.ru
An. A. Muchnik, A. L. Semenov, “Lattice of Definability in the Order of Rational Numbers”, Math. Notes, 108:1 (2020), 94–107
34.
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;
35.
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
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–200alsemenov.ru
38.
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–8alsemenov.com
39.
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–566alsemenov.ru
40.
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–139alsemenov.ru
41.
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–17alsemenov.ru
42.
A. L. Semenov, “Otobrazheniya, sokhranyayuschie otnosheniya, opredelimye cherez lineinyi poryadok”, Vestnik Mosk. universiteta, ser. 1, matematika, mekhanika, 2020, no. 5, 62–64alsemenov.ru
43.
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–354alsemenov.ru
2019
44.
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–18https://www.mccme.ru/free-books/matpros-24.html
45.
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–240alsemenov.ru
46.
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–388alsemenov.ru
47.
A. L. Semenov, “Ekspertiza uchebnikov”, Upravlenie shkoloi, 2019, no. 1 (602), 44–52alsemenov.ru
48.
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, 94alsemenov.ru
49.
S. A. Polikarpov, A. L. Semenov, “Nauka – fundament shkoly XXI veka”, Matematika v shkole, 2019, no. 5, 3–10alsemenov.ru
2018
50.
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
51.
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
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–4alsemenov.ru
2017
53.
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
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
55.
Alexei Semenov, “Seymour Papert and Us. Constructionism as the Educational Phylosophy of the 21th Century”, Voprosy Obrazovania / Educational Studies, 1 (2017), 269–294
56.
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–286alsemenov.ru
57.
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–65alsemenov.ru
58.
A. L. Semenov, “Prioritety razvitiya rossiiskogo obrazovaniya v vek tsifrovoi ekonomiki”, Bibliotechka dlya uchrezhdenii dopolnitelnogo obrazovaniya detei, 2017, no. 6, 5–6alsemenov.ru
2016
59.
A. L. Semenov, “Kontseptualnye problemy informatiki, algoritmiki i programmirovaniya v shkole”, Vestnik kibernetiki, 2(22) (2016), 11–15
60.
A. L. Semenov, “O realizatsii kontseptsii matematicheskogo obrazovaniya”, Nauka i shkola, 6 (2016), 3
61.
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
2015
62.
A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015), 966–975
A. L. Semenov, “Variativnaya matematika”, Obrazovatelnaya politika, 1(67) (2015), 95–97
64.
A. L. Semenov, A. Yu. Uvarov, “Tridtsat let – eto vsë-taki malo”, Informatika i obrazovanie, 7 (2015), 3
65.
A. L. Semenov, “O fundamentalnykh ponyatiyakh kibernetiki i informatiki”, Vestnik kibernetiki, 3(19) (2015), 22–26
66.
A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 2015, no. 3, 248
2014
67.
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
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
69.
A. L. Semenov, S. L. Atanasyan, “Formirovanie matematicheskoi kompetentsii v osnovnoi shkole”, Nauka i shkola, 5 (2014), 7–12
70.
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
71.
A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 1)”, Matematika v shkole, 5 (2014), 21–26
72.
A. L. Semenov, “«Dve kultury» v sovremennoi shkole (chast 2)”, Matematika v shkole, 6 (2014), 21–26
2013
73.
A. L. Semenov, “Kontseptsiya razvitiya rossiiskogo matematicheskogo obrazovaniya (khod proekta)”, Matematika v shkole, 9 (2013), 3–5
74.
A. L. Semenov, S. D. Karakozov, “Moskovskoe obrazovanie v usloviyakh vstupleniya v silu novogo zakona ob obrazovanii”, Vestnik altaiskoi nauki, 3 (2013), 300–302
75.
A. L. Semenov, S. L. Atanasyan, “O kontseptsii razvitiya rossiiskogo matematicheskogo obrazovaniya”, Nauka – obrazovaniyu, 2 (2013), 6
76.
A. L. Semenov, “Kak detei uchit luchshe?”, Almanakh «Vysshaya shkola XXI veka», 19 (2013), 3
2011
77.
A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272
78.
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
79.
A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
2010
80.
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
81.
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
82.
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
83.
E. I. Bulin-Sokolova, A. L. Semenov, “Chitaem FGOS NO, pishem OOP, vklyuchaya IKT v PFUUD”, Narodnoe obrazovanie, 7 (2010), 21–30
84.
V. M. Kruglyakov, E. L. Rachevskii, A. L. Semenov, “Za chto platit shkole? Zametki na polyakh direktivnykh dokumentov”, Narodnoe obrazovanie, 10 (2010), 58–61
2009
85.
An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871
86.
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
E. I. Bulin-Sokolova, A. L. Semenov, “Monitoring zdorovya uchaschegosya kak element individualizatsii obucheniya”, Kultura fizicheskaya i zdorove, 6 (2009), 61–64
88.
E. I. Bulin-Sokolova, A. L. Semenov, “Shkola informatizatsii: put k obnovleniyu obrazovaniya”, Informatika i obrazovanie, 11 (2009), 3–12
89.
An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, Sequences Close to Periodic, 2009 , arXiv: abs/0903.5316
2008
90.
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
2006
91.
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
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
93.
A. L. Semenov, “Kachestvo informatizatsii shkolnogo obrazovaniya”, Voprosy obrazovaniya, 3 (2005), 248–270
2004
94.
A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 1”, Voprosy obrazovaniya, 1 (2004), 79
95.
A. L. Semenov, “Sovremennyi kurs matematiki i informatiki v shkole. Chast 2”, Voprosy obrazovaniya, 2 (2004), 110
2003
96.
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
97.
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
98.
A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33
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
100.
A. L. Semenov, T. A. Rudchenko, “Vystupayut avtory uchebnikov”, Informatika i obrazovanie, 1 (2003), 10
101.
A. L. Semenov, T. A. Rudchenko, “Informatika 2–4”, Informatika i obrazovanie, 1 (2003), 17
102.
M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, “Shkola i tekhnologii novoi gramotnosti”, Informatsionnye tekhnologii i vychislitelnye sistemy, 4 (2003), 87–99
103.
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
104.
A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96
105.
M. M. Gorbunov-Posadov, T. A. Polilova, A. L. Semenov, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2003, no. 4, 87–99
2002
106.
A. L. Semenov, “Tematicheskoe planirovanie uchebnogo materiala po programme «Informatika»”, Informatika i obrazovanie, 3 (2002), 5
107.
A. L. Semenov, Matematika tekstov, Izdatelstvo Moskovskogo tsentra nepreryvnogo matematicheskogo obrazovaniya, 2002 , 16 pp.
2001
108.
A. L. Semenov, “Rol informatsionnykh tekhnologii v obschem srednem obrazovanii”, Informatika i obrazovanie, 2 (2001), 2
2000
109.
A. L. Semenov, “Informatsionnye tekhnologii v nachalnom obrazovanii”, Shkolnye tekhnologii, 6 (2000), 168
1999
110.
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
111.
A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317
A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1998), 54
113.
S. K. Lando, A. L. Semenov, “Algoritmika: uchebnaya programma kursa”, Informatika i obrazovanie, 3 (1998), 94
1996
114.
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
115.
N. D. Ugrinovich, A. L. Semenov, “Programma nepreryvnogo kursa informatiki dlya srednei shkoly”, Informatika i obrazovanie, 4 (1995), 12
116.
A. L. Semenov, “Obrazovanie, informatika, kompyutery”, Informatika i obrazovanie, 5 (1995), 6
117.
A. L. Semenov, “Matematicheskaya informatika v shkole”, Informatika i obrazovanie, 5 (1995), 6
1993
118.
V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.
119.
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
1992
120.
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
1990
121.
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
122.
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
123.
A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451
124.
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
1987
125.
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
126.
V. A. Uspenskii, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka programmista, Nauka, 1987 , 288 pp.
1986
127.
A. L. Semenov, V. A. Uspenskii, “Matematicheskaya logika v vychislitelnykh naukakh i vychislitelnoi praktike”, Vestnik Akademii nauk SSSR, 56:7 (1986), 93–103
128.
A. L. Semenov, “Razreshayuschie protsedury dlya logicheskikh teorii”, Kibernetika i kompyuternaya tekhnologiya, 2, Nauka, Moscow, 1986, 134–146
1985
129.
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
1984
130.
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
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
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
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
2024
Contact us: