RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Семёнов Алексей Львович

Публикаций: 36
Научных статей: 28
в MathSciNet: 32
в zbMATH: 24
в Web of Science: 18
в Scopus: 6
Цитированных статей: 18
Ссылок в Math-Net.Ru: 86
Ссылок в MathSciNet: 120
Ссылок в Web of Science: 135
Ссылок в Scopus: 78
Лекций и докладов: 9

Статистика просмотров:
Эта страница:3662
Страницы публикаций:7897
Полные тексты:2318
Списки литературы:436
академик РАН
профессор
доктор физико-математических наук
Дата рождения: 13.10.1950
E-mail:
Ключевые слова: комбинаторика слов, символическая динамика, разрешимость логических теорий, почти периодическая последовательность, морфическая последовательность, сложность последовательности, последовательность Туэ--Морса, последовательность Штурма.

Основные темы научной работы

Математические проблемы информатики.


http://www.mathnet.ru/rus/person19667
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=218197
https://www.researchgate.net/profile/Alexei_Semenov2

Полный список публикаций:
| по годам | по типам | по числу цитирований | научные публикации | общий список |



   2017
1. А. А. Аграчев, Р. В. Гамкрелидзе, Е. С. Голод, А. Б. Жижченко, Ю. И. Журавлев, В. В. Козлов, А. В. Михалëв, А. В. Овчинников, Н. Х. Розов, А. Л. Семëнов, В. Г. Чирский, В. А. Шамолин, “Юбилей профессора М. В. Шамолина”, Динамические системы, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 134, ВИНИТИ РАН, Москва, 2017, 3–5  mathnet

   2015
2. 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

   2014
3. 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 (cited: 1)  zmath  scopus
4. В. Л. Арлазаров, Е. А. Диниц, Ю. С. Ильяшенко, А. В. Карзанов, С. М. Карпенко, А. А. Кириллов, Н. Н. Константинов, М. А. Кронрод, О. П. Кузнецов, Л. Б. Окунь, П. А. Певзнер, А. Л. Семëнов, И. А. Фараджев, Б. В. Черкасский, А. Г. Хованский, “Георгий Максимович Адельсон-Вельский (некролог)”, УМН, 69:4(418) (2014), 169–176  mathnet  crossref  mathscinet  zmath  adsnasa  elib; 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  crossref  mathscinet  zmath  isi
5. Н. Н. Андреев, В. М. Бухштабер, А. И. Гарбер, В. В. Козлов, С. П. Коновалов, А. А. Мальцев, Ю. В. Нестеренко, С. П. Новиков, А. Н. Паршин, И. Х. Сабитов, А. Л. Семëнов, А. Г. Сергеев, О. К. Шейнман, М. И. Штогрин, Е. В. Щепин, “Николай Петрович Долбилин (к семидесятилетию со дня рождения)”, УМН, 69:1(415) (2014), 187–188  mathnet  crossref  mathscinet  zmath  adsnasa  elib; 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  crossref  mathscinet  zmath  isi

   2013
6. Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013), 54–65  mathnet

   2011
7. А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 291–296  mathnet  mathscinet  elib; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272  crossref  mathscinet  isi  elib (cited: 1)  scopus (cited: 1)
8. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  elib; 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  crossref  mathscinet  zmath  isi

   2009
9. Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 64:5(389) (2009), 21–96  mathnet (цит.: 13)  crossref  mathscinet (цит.: 5)  zmath  adsnasa  elib (цит.: 10); An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871  crossref  mathscinet  zmath  isi (cited: 6)  elib (cited: 6)  scopus (cited: 7)

   2007
10. С. И. Адян, А. Л. Семëнов, В. А. Успенский, “Андрей Альбертович Мучник (некролог)”, УМН, 62:4(376) (2007), 140–144  mathnet (цит.: 1)  crossref  mathscinet  zmath  adsnasa  elib (цит.: 1); S. I. Adian, A. L. Semenov, V. A. Uspenskii, “Andrei Al'bertovich Muchnik (obituary)”, Russian Math. Surveys, 62:4 (2007), 775–779  crossref  mathscinet  zmath  isi (cited: 1)

   2006
11. 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  mathscinet  zmath  isi  elib  scopus
12. Л. Д. Беклемишев, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семëнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006), 179–191  mathnet  crossref  mathscinet  zmath  adsnasa  elib; 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  crossref  mathscinet  zmath  isi

   2003
13. Ан. А. Мучник, А. Л. Семëнов, “О роли закона больших чисел в теории случайности”, Пробл. передачи информ., 39:1 (2003), 134–165  mathnet (цит.: 2)  mathscinet  zmath; 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  crossref  mathscinet  zmath
14. А. Л. Семëнов, “Условия конечности для алгебр отношений”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, М., 2003, 103–107  mathnet (цит.: 1)  mathscinet (цит.: 1)  zmath; A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathscinet  zmath
15. A. L. Semenov, A. A. Muchnik, “On the sharpening of Kolmogorov bounds relating to random number generators and to the complexity definition of randomness”, Dokl. Akad. Nauk, 391:6 (2003), 738–740  mathnet  mathscinet  zmath
16. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  mathscinet (cited: 11)  zmath  isi (cited: 13)  scopus (cited: 21)
17. А. Л. Семëнов, М. М. Горбунов-Посадов, Т. А. Полилова, “Школа на пути к новой грамотности”, Препринты ИПМ им. М. В. Келдыша, 2003, 55–20  mathnet

   1998
18. A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317  mathscinet (cited: 25)  zmath  isi (cited: 42)  scopus (cited: 49)

   1993
19. V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.  mathscinet (cited: 7)

   1992
20. А. В. Архангельский, Б. А. Пасынков, В. И. Пономарев, В. В. Федорчук, С. П. Гулько, В. И. Малыхин, А. Л. Семëнов, Е. В. Щепин, Г. П. Амирджанов, А. П. Комбаров, Д. В. Ранчин, В. В. Успенский, Л. Б. Шапиро, А. П. Шостак, “Борис Эмильевич Шапировский (некролог)”, УМН, 47:6(288) (1992), 199–200  mathnet  mathscinet; 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  crossref  mathscinet  isi

   1990
21. В. А. Успенский, А. Л. Семëнов, А. Х. Шень, “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162  mathnet (цит.: 39)  mathscinet (цит.: 16)  zmath  adsnasa; 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  crossref  mathscinet  zmath  isi (cited: 52)

   1988
22. A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451  mathscinet  zmath  isi
23. V. G. Vovk, A. L. Semenov, S. F. Soprunov, “A method for testing the correctness of programs on an assembler”, Voprosy Kibernet. (Moscow), 136, 1988, 56–78  mathscinet

   1987
24. V. A. Uspenskiĭ, A. L. Semenov, Teoriya algoritmov: osnovnye otkrytiya i prilozheniya, Bibliotechka Programmista. [Library for the Programmer], Nauka, Moscow, 1987 , 288 pp.  mathscinet  zmath

   1986
25. A. L. Semenov, V. A. Uspenskiĭ, “Mathematical logic in computer science and computer programming”, Vestnik Akad. Nauk SSSR, 1986, no. 7, 93–103  mathscinet (cited: 1)  isi (cited: 2)
26. A. L. Semenov, “Decision procedures for logical theories”, Cybernetics and computer technology, No. 2, Nauka, Moscow, 1986, 134–146  mathscinet

   1984
27. 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  mathscinet (cited: 15)

   1983
28. А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 47:3 (1983), 623–658  mathnet (цит.: 19)  mathscinet (цит.: 9)  zmath; A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618  crossref  mathscinet  zmath

   1982
29. A. L. Semenov, “On the definability of arithmetic in its fragments”, Dokl. Akad. Nauk SSSR, 263:1 (1982), 44–47  mathscinet (cited: 2)  zmath  isi (cited: 3)

   1981
30. 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  mathscinet (cited: 2)

   1980
31. A. L. Semenov, “An interpretation of free algebras in free groups”, Dokl. Akad. Nauk SSSR, 252:6 (1980), 1329–1332  mathscinet (cited: 1)  zmath  isi (cited: 1)

   1979
32. А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195  mathnet (цит.: 11)  mathscinet (цит.: 4)  zmath; A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418  crossref  mathscinet  zmath  isi (cited: 15)

   1978
33. A. L. Semenov, “Some algorithmic problems for systems of algorithmic algebras”, Dokl. Akad. Nauk SSSR, 239:5 (1978), 1063–1066  mathscinet  zmath

   1977
34. A. L. Semenov, “The Presburger nature of predicates that are regular in two number systems”, Sibirsk. Mat. Ž., 18:2 (1977), 403–418, 479  mathscinet (cited: 18)  zmath

   1974
35. A. L. Semenov, “Regularity of languages that are $k$-linear for different $k$'s”, Dokl. Akad. Nauk SSSR, 215 (1974), 278–281  mathscinet  zmath

   1973
36. A. L. Semenov, “Algorithmic problems for power series and for context-free grammars”, Dokl. Akad. Nauk SSSR, 212 (1973), 50–52  mathscinet (cited: 2)  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Российская школьная информатика. Эволюция содержания 1986 - 2016 (в рамках дискуссии «Преподавание информатики в XXI веке»)
А. Л. Семёнов
Международная конференция «Стратегии достижения высоких образовательных результатов»
7 октября 2015 г. 15:00   
2. Вступительное слово
А. Л. Семёнов
Международная конференция «Стратегии достижения высоких образовательных результатов»
7 октября 2015 г. 10:00   
3. Круглый стол «Математика и информатика в школе»
А. Л. Семёнов
Конференция «Московское Математическое Общество и Московский государственный университет имени М. В. Ломоносова», посвященная 150-летию образования Московского Математического Общества
25 декабря 2014 г. 10:00
4. Российское школьное математическое образование: история и современность
А. Л. Семёнов
Общее собрание Отделения математических наук РАН, 2012
17 декабря 2012 г. 13:35   
5. Качественная теория алгоритмов
А. Л. Семёнов
Летняя школа «Современная математика», 2012
21 июля 2012 г. 12:45   
6. The lattice of relational algebras definable in integers with successor
Aleksei Semenov, Sergei Soprunov
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 12:45   
7. Модальные логики
А. Л. Семёнов
Летняя школа «Современная математика», 2011
23 июля 2011 г. 12:45   
8. Доказательства невозможности в математической логике и теории алгоритмов
А. Л. Семёнов
Летняя школа «Современная математика», 2010
23 июля 2010 г. 12:45   
9. Выразимость и разрешимость
А. Л. Семёнов
Летняя школа «Современная математика», 2009
22 июля 2009 г. 09:30   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017