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

Публикаций: 107 (81)
в MathSciNet: 32 (26)
в zbMATH: 24 (19)
в Web of Science: 18 (12)
в Scopus: 6 (6)
Цитированных статей: 19
Ссылок в Math-Net.Ru: 87
Ссылок в Web of Science: 221
Ссылок в Scopus: 78
Лекций и докладов: 9

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

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

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

   
Основные публикации:
  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. А. Л. Семенов, “О реализации концепции математического образования”, Наука и школа, 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. А. Л. Семенов, “О фундаментальных понятиях кибернетики и информатики”, Вестник кибернетики, 3(19) (2015), 22–26
  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. А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 291–296  mathnet  mathscinet  isi  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  scopus
  7. A. L. Semenov, S. F. Soprunov, Lattica of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
  8. Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 64:5(389) (2009), 21–96  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; 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  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.; А. Л. Семенов, Информационные и коммуникационные технологии в общем образовании: теория и практика. Авторизованный пер. с англ., переработанный и дополненный, ЮНЕСКО, 2006 , 327 с.
  10. Ан. А. Мучник, А. Л. Семëнов, “О роли закона больших чисел в теории случайности”, Пробл. передачи информ., 39:1 (2003), 134–165  mathnet  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
  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; А. Л. Семенов, А. А. Мучник, “Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности”, Доклады Академии наук, 391:6 (2003), 738–740  mathnet  mathscinet  zmath
  12. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  mathscinet  zmath  isi  scopus
  13. Alexei Semenov, Andrej Muchnik, “40 years of the Origin of Kolmgorov Randomness Theory”, Сб. Колмогоров и современная математика. Тезисы докладов Международной конференции, посвященной 100-летию со дня рождения А. Н. Колмогорова (Москва, 16 – 21 июня 2003), Издательство механико-математического факультета МГУ, 2003, 677–678
  14. A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317  mathscinet  zmath  isi  scopus
  15. А. Л. Семенов, “Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика»”, Информатика и образование, 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
  18. В. А. Успенский, А. Л. Семëнов, А. Х. Шень, “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162  mathnet  mathscinet  zmath  adsnasa  isi; 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
  19. В. А. Успенский, А. Л. Семенов, “Алгоритмы, или машины Колмогорова”, А. Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды, ред. А. Н. Ширяев, Наука, Москва, 1987, 279–289
  20. В. А. Успенский, А. Л. Семенов, Теория алгоритмов: основные открытия и приложения, Библиотечка программиста, Наука, 1987 , 288 с.  mathscinet  zmath
  21. А. Л. Семенов, В. А. Успенский, “Математическая логика в вычислительных науках и вычислительной практике”, Вестник Академии наук СССР, 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  mathscinet
  23. А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 47:3 (1983), 623–658  mathnet  mathscinet  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
  24. А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195  mathnet  mathscinet  zmath  isi; 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
  25. А. Л. Семенов, “Регулярность $k$-линейных языков для различных $k$”, Доклады Академии наук СССР, 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; А. Л. Семенов, “Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик”, Доклады Академии наук СССР, 212 (1973), 50–52  mathscinet  zmath

http://www.mathnet.ru/rus/person19667
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/218197
http://elibrary.ru/author_items.asp?spin=2289-1720
ИСТИНА http://istina.msu.ru/workers/8592726
http://www.scopus.com/authid/detail.url?authorId=7402499019
https://www.researchgate.net/profile/Alexei_Semenov2

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



   2018
1. Р. Б. Куприянов, А. Л. Семенов, “Анализ динамики образовательных результатов студентов крупного педагогического университета”, Вестник московского городского педагогического университета, Информатика и информатизация образования, 1(43), Москва, 2018, 66–67
2. Б. Н. Четверушкин, Е. Е. Тыртышников, Н. Н. Кудрявцев, В. П. Дымников, Ю. И. Журавлев, Е. Э. Сон, К. В. Рудаков, Ю. Г. Евтушенко, А. Б. Жижченко, Ю. В. Гуляев, А. С. Бугаев, А. Н. Коновалов, В. П. Маслов, В. М. Бердышев, А. Л. Семенов, Е. И. Моисеев, И. Б. Петров, Ю. А. Флеров, И. Г. Поспелов, С. И. Кабанихин, М. В. Якобовский, В. Ф. Тишкин, Ю. В. Василевский, А. А. Шананин, В. А. Гущин, И. С. Никитин, А. И. Лобанов, В. В. Демченко, Е. Л. Ступицкий, В. Л. Якушев, А. В. Бабаков, Ю. Д. Шевелев, С. А. Ишанов, В. С. Рябенький, “Памяти Александра Сергеевича Холодова”, Матем. моделирование, 30:1 (2018), 135–136  mathnet

   2017
3. 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
4. А. Л. Семенов, А. Ю. Уваров, “Обновление технологического образования и информатизация школы”, Вестник московского городского педагогического университета, Информатика и информатизация образования, 4, Москва, 2017, 17–31
5. А. Л. Семенов, “Симор Паперт и мы. Конструкционизм – образовательная философия XXI века”, Вопросы образования, 1 (2017), 269–294  elib
6. А. А. Аграчев, Р. В. Гамкрелидзе, Е. С. Голод, А. Б. Жижченко, Ю. И. Журавлев, В. В. Козлов, А. В. Михалëв, А. В. Овчинников, Н. Х. Розов, А. Л. Семëнов, В. Г. Чирский, В. А. Шамолин, “Юбилей профессора М. В. Шамолина”, Динамические системы, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 134, ВИНИТИ РАН, Москва, 2017, 3–5  mathnet

   2016
7. А. Л. Семенов, “Концептуальные проблемы информатики, алгоритмики и программирования в школе”, Вестник кибернетики, 2(22) (2016), 11–15
8. А. Л. Семенов, “О реализации концепции математического образования”, Наука и школа, 6 (2016), 3

   2015
9. 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
10. А. Л. Семенов, “Вариативная математика”, Образовательная политика, 1(67) (2015), 95–97
11. А. Л. Семенов, А. Ю. Уваров, “Тридцать лет – это всë-таки мало”, Информатика и образование, 7 (2015), 3
12. А. Л. Семенов, “О фундаментальных понятиях кибернетики и информатики”, Вестник кибернетики, 3(19) (2015), 22–26

   2014
13. 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
14. Е. И. Булин-Соколова, А. С. Обухов, А. Л. Семенов, “Будущее педагогическое образование. Направление движения и первые практические шаги”, Психологическая наука и образование, 19:3 (2014), 207–226
15. А. Л. Семенов, С. Л. Атанасян, “Формирование математической компетенции в основной школе”, Наука и школа, 5 (2014), 7–12
16. А. Л. Семенов, С. Л. Атанасян, С. Д. Каракозов, “Ключевые идеи концепции развития математического образования в Российской Федерации”, Информатика в школе: Прошлое, настоящее и будущее: материалы всероссийской научно-методической конференции по вопросам применения ИКТ в образовании (Пермь 2014), Перм. гос. нац. исслед. ун-т, 2014, 264–266
17. А. Л. Семенов, “«Две культуры» в современной школе (часть 1)”, Математика в школе, 5 (2014), 21–26
18. А. Л. Семенов, “«Две культуры» в современной школе (часть 2)”, Математика в школе, 6 (2014), 21–26
19. В. Л. Арлазаров, Е. А. Диниц, Ю. С. Ильяшенко, А. В. Карзанов, С. М. Карпенко, А. А. Кириллов, Н. Н. Константинов, М. А. Кронрод, О. П. Кузнецов, Л. Б. Окунь, П. А. Певзнер, А. Л. Семëнов, И. А. Фараджев, Б. В. Черкасский, А. Г. Хованский, “Георгий Максимович Адельсон-Вельский (некролог)”, УМН, 69:4(418) (2014), 169–176  mathnet  crossref  mathscinet  zmath  adsnasa  isi  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
20. Н. Н. Андреев, В. М. Бухштабер, А. И. Гарбер, В. В. Козлов, С. П. Коновалов, А. А. Мальцев, Ю. В. Нестеренко, С. П. Новиков, А. Н. Паршин, И. Х. Сабитов, А. Л. Семëнов, А. Г. Сергеев, О. К. Шейнман, М. И. Штогрин, Е. В. Щепин, “Николай Петрович Долбилин (к семидесятилетию со дня рождения)”, УМН, 69:1(415) (2014), 187–188  mathnet  crossref  mathscinet  zmath  adsnasa  isi  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
21. И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, Математика. С теорией вероятностей и статистикой. ЕГЭ 2014, Экзамен, Москва, 2014 , 95 с.
22. И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, Математика. Базовый и профильный уровни ЕГЭ 2014. Типовые тестовые задания, Экзамен, Москва, 2014 , 56 с.
23. И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, К демонстрационной версии ЕГЭ от 31.10.13. Базовый и профильный уровни ЕГЭ 2014, Экзамен, Москва, 2014 , 216 с.
24. А. Л. Семенов, А. С. Соколов, “Приношения музыканту-педагогу”, Вестник кафедры ЮНЕСКО Музыкальное искусство и образование, 2014, № 3(7), 17

   2013
25. А. Л. Семенов, “Концепция развития российского математического образования (ход проекта)”, Математика в школе, 9 (2013), 3–5
26. А. Л. Семенов, С. Д. Каракозов, “Московское образование в условиях вступления в силу нового закона об образовании”, Вестник алтайской науки, 3 (2013), 300–302
27. А. Л. Семенов, С. Л. Атанасян, “О концепции развития российского математического образования”, Наука – образованию, 2 (2013), 6
28. А. Л. Семенов, “Как детей учить лучше?”, Альманах «Высшая школа XXI века», 19 (2013), 3
29. Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013), 54–65  mathnet
30. А. Л. Семенов, “Кадры решают все”, Всероссийская общественно-политическая газета «Властная вертикаль Федерации», 5 (2013), 3
31. А. Л. Семенов, “Кому и какая примерная программа нужна, кто ее должен разрабатывать?”, Учительская газета, 24 (2013), 3
32. А. Л. Семенов, “Все, что спрятал, то пропало”, Газета “Поиск”, 12 (2013), 3
33. А. Л. Семенов, “Как сегодня повышать квалификацию директорам школ?”, Учительская газета, 9 (2013), 3
34. А. Л. Семенов, «Две культуры» сегодня». Математика и литература, Занятия литературой в гуманитарных и математических классах. Сочинения, игры, путешествия, Московский институт открытого образования, Институт новых технологий, Москва, 2013 , 245 с.
35. А. Л. Семенов, И. Н. Сергеев, В. С. Панферов, И. В. Ященко, Математика. 30 вариантов типовых тестовых заданий и 800 заданий части 2(с). ЕГЭ 2013. Типовые тестовые задания, Экзамен, Москва, 2013 , 216 с.

   2012
36. А. Л. Семенов, Математика текстов. Учебное пособие, МЦНМО, 2012 , 16 с.
37. Е. И. Булин-Соколова, Т. А. Рудченко, А. Л. Семенов, Е. Н. Хохлова, Формирование ИКТ-компетентности младших школьников: пособие для учителей общеобразоват. учреждений, Просвещение, 2012 , 128 с.

   2011
38. А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 291–296  mathnet  mathscinet  isi  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)
39. А. Л. Семенов, “ИКТ-компетентности учащихся. ИКТ как инструментарий универсальных учебных действий: подпрограмма формирования”, Труды Большого московского семинара по методике раннего обучения информатике, Москва, Москва, 2011, 149–156
40. A. L. Semenov, S. F. Soprunov, Lattica of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
41. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  isi  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

   2010
42. А. Г. Асмолов, А. Л. Семенов, А. Ю. Уваров, “Мы ждем перемен. Чему и как будет учиться подрастающее поколение и XXI веке”, Дети в информационном обществе, 5 (2010), 20
43. Е. И. Булин-Соколова, А. Л. Семенов, “Построение программы формирования ИКТ-компетентности учащихся и информационной образовательной среды основной школы”, Информатика и образование, 8 (2010), 3–7
44. А. А. Кузнецов, А. Л. Семенов, С. А. Бешенков, А. Г. Кушниренко, “Примерная программа по информатике и ИКТ (VII – IX классы)”, Информатика и образование, 8 (2010), 3–7
45. Е. И. Булин-Соколова, А. Л. Семенов, “Читаем ФГОСНО, пишем ООП, включая ИКТ в ПФУУД”, Народное образование, 7 (2010), 21–30
46. В. М. Кругляков, Е. Л. Рачевский, А. Л. Семенов, “Что платить школе? Заметки на полях директивных документов”, Народное образование, 10 (2010), 58–61
47. И. В. Ященко, И. Р. Высоцкий, Д. Д. Гущин, П. И. Захаров, С. Е. Посицельский, А. В. Семенова, С. А. Шестаков, Д. Э. Шноль, В. А. Смирнов, В. С. Панферов, М. А. Семенова, А. Л. Семенов, ЕГЭ 2010. Математика. Типовые тестовые задания, Экзамен, Москва, 2010 , 64 с.
48. В. С. Панферов, И. Н. Сергеев, А. Л. Семенов, И. В. Ященко и др., Самое полное издание типовых реальных заданий ЕГЭ Русский язык, математика, обществознание. ФИПИ, АСТ, 2010 , 480 с.
49. А. Г. Асмолов, А. Л. Семенов, А. Ю. Уваров, Российская школа и новые информационные технологии: взгляд в следующее десятилетие, НексПринт, 2010 , 95 с.

   2009
50. Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 64:5(389) (2009), 21–96  mathnet (цит.: 13)  crossref  mathscinet (цит.: 5)  zmath  adsnasa  isi (цит.: 8)  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: 8)  elib (cited: 6)  scopus (cited: 8)
51. И. Г. Алексеев, М. В. Волошин, Н. А. Гиппиус, М. В. Данилов, Д. В. Казанцев, А. Д. Миронов, А. Ю. Морозов, Л. Б. Окунь, В. А. Рубаков, Д. Н. Свирида, А. Л. Семенов, П. Г. Тиняков, “Памяти Владимира Владимировича Бронфмана”, Успехи физ. наук, 179:12 (2009), 1373–1374  mathnet (цит.: 1)
52. Е. И. Булин-Соколова, А. Л. Семенов, “Мониторинг здоровья учащегося как элемент индивидуализации обучения”, Культура физическая и здоровье, 6 (2009), 61–64
53. Е. И. Булин-Соколова, А. Л. Семенов, “Школа информатизации: путь к обновлению образования”, Информатика и образование, 11 (2009), 3–12
54. An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, Sequences Close to Periodic, 2009 , arXiv: abs/0903.5316

   2008
55. А. Л. Семенов, М. А. Посицельская, “О связи раннего обучения информатике и коррекционно-развивающей работы с дошкольниками и младшими школьниками: тетради «Математика и информатика»”, Сборник «Труды Большого Московского семинара по методике раннего обучения информатике» в 10 томах., ред. И. В. Соколова, Ю. А. Первин, Москва, 2008, 164–171

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

   2005
59. А. М. Кондаков, А. Л. Семенов, Т. И. Галишникова, Т. А. Фиалкова, Н. С. Станченко, “Коллекции на Российском образовательном портале www.school.edu.ru: интернет-проект «Культурное наследие»”, Открытое образование, 3 (2005), 31–58
60. А. Л. Семенов, “Качество информатизации школьного образования”, Вопросы образования, 3 (2005), 248–270
61. 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.; А. Л. Семенов, Информационные и коммуникационные технологии в общем образовании: теория и практика. Авторизованный пер. с англ., переработанный и дополненный, ЮНЕСКО, 2006 , 327 с.

   2004
62. А. Л. Семенов, “Современный курс математики и информатики в школе. Часть 1”, Вопросы образования, 1 (2004), 79
63. А. Л. Семенов, “Современный курс математики и информатики в школе. Часть 2”, Вопросы образования, 2 (2004), 110

   2003
64. Ан. А. Мучник, А. Л. Семëнов, “О роли закона больших чисел в теории случайности”, Пробл. передачи информ., 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
65. 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; А. Л. Семенов, А. А. Мучник, “Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности”, Доклады Академии наук, 391:6 (2003), 738–740  mathnet  mathscinet  zmath
66. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33  mathscinet (cited: 11)  zmath  isi (cited: 17)  scopus (cited: 21)
67. А. Л. Семëнов, М. М. Горбунов-Посадов, Т. А. Полилова, “Школа на пути к новой грамотности”, Препринты ИПМ им. М. В. Келдыша, 2003, 55–20  mathnet
68. А. Л. Семенов, Т. А. Рудченко, “Выступают авторы учебников”, Информатика и образование, 1 (2003), 10
69. А. Л. Семенов, Т. А. Рудченко, “Информатика 2–4”, Информатика и образование, 1 (2003), 17
70. М. М. Горбунов-Посадов, Т. А. Полилова, А. Л. Семенов, “Школа и технологии новой грамотности”, Информационные технологии и вычислительные системы, 4 (2003), 87–99
71. Alexei Semenov, Andrej Muchnik, “40 years of the Origin of Kolmgorov Randomness Theory”, Сб. Колмогоров и современная математика. Тезисы докладов Международной конференции, посвященной 100-летию со дня рождения А. Н. Колмогорова (Москва, 16 – 21 июня 2003), Издательство механико-математического факультета МГУ, 2003, 677–678
72. А. Л. Семëнов, “Условия конечности для алгебр отношений”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 103–107  mathnet (цит.: 1)  mathscinet  zmath; A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathscinet  zmath

   2002
73. А. Л. Семенов, “Тематическое планирование учебного материала по программе «Информатика»”, Информатика и образование, 3 (2002), 5

   2001
74. А. Л. Семенов, “Роль информационных технологий в общем среднем образовании”, Информатика и образование, 2 (2001), 2

   2000
75. А. Л. Семенов, “Информационные технологии в начальном образовании”, Школьные технологии, 6 (2000), 168

   1999
76. 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
77. 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: 43)  scopus (cited: 48)
78. А. Л. Семенов, “Математическая информатика в школе”, Информатика и образование, 5 (1998), 54
79. С. К. Ландо, А. Л. Семенов, “Алгоритмика: учебная программа курса”, Информатика и образование, 3 (1998), 94

   1996
80. А. Л. Семенов, “Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика»”, Информатика и образование, 5 (1996), 29

   1995
81. Н. Д. Угринович, А. Л. Семенов, “Программа непрерывного курса информатики для средней школы”, Информатика и образование, 4 (1995), 12
82. А. Л. Семенов, “Образование, информатика, компьютеры”, Информатика и образование, 5 (1995), 6
83. А. Л. Семенов, “Математическая информатика в школе”, Информатика и образование, 5 (1995), 6

   1993
84. 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)
85. 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
86. А. Н. Колмогоров, С. И. Адян, А. Г. Драгалин, А. С. Кузичев, Е. Ю. Ногина, А. Л. Семенов, В. А. Успенский, “Математическая логика и теория алгоритмов на механико-математическом факультете МГУ”, Математика в Московском университете, Издательство Московского университета, 1992, 128–155
87. А. В. Архангельский, Б. А. Пасынков, В. И. Пономарев, В. В. Федорчук, С. П. Гулько, В. И. Малыхин, А. Л. Семëнов, Е. В. Щепин, Г. П. Амирджанов, А. П. Комбаров, Д. В. Ранчин, В. В. Успенский, Л. Б. Шапиро, А. П. Шостак, “Борис Эмильевич Шапировский (некролог)”, УМН, 47:6(288) (1992), 199–200  mathnet  mathscinet  isi; 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
88. В. А. Успенский, А. Л. Семëнов, А. Х. Шень, “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162  mathnet (цит.: 39)  mathscinet (цит.: 16)  zmath  adsnasa  isi (цит.: 53); 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: 53)
89. А. К. Поливанова, А. Л. Семенов, “Я – не математик”, Язык логики и логика языка. Сборник статей к 60-летию профессора В. А. Успенского, Вопросы кибернетики, 166, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1990, 195–199

   1988
90. A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451  mathscinet  zmath  isi
91. В. Г. Вовк, А. Л. Семенов, С. Ф. Сопрунов, “Некоторый способ проверки правильности программ на Ассемблере”, Методы и алгоритмы анализа больших систем, Вопросы кибернетики, 136, ред. В. Г. Карманов, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1988, 56–78  mathscinet

   1987
92. В. А. Успенский, А. Л. Семенов, “Алгоритмы, или машины Колмогорова”, А. Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды, ред. А. Н. Ширяев, Наука, Москва, 1987, 279–289
93. В. А. Успенский, А. Л. Семенов, Теория алгоритмов: основные открытия и приложения, Библиотечка программиста, Наука, 1987 , 288 с.  mathscinet  zmath

   1986
94. А. Л. Семенов, В. А. Успенский, “Математическая логика в вычислительных науках и вычислительной практике”, Вестник Академии наук СССР, 56:7 (1986), 93–103  mathscinet (цит.: 1)  isi (цит.: 2)
95. А. Л. Семенов, “Разрешающие процедуры для логических теорий”, Кибернетика и компьютерная технология, 2, Наука, Moscow, 1986, 134–146  mathscinet

   1985
96. А. Л. Семенов, С. Ф. Сопрунов, “О языке комбинаторно-логического процессора”, Эффективное использование высокопроизводительных ЭВМ. Серия Вопросы кибернетики., 117, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1985, 182–191
97. В. А. Успенский, А. Л. Семенов, “Решимые и нерешимые алгоритмические проблемы”, Квант, 7 (1985), 9–15

   1984
98. 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
99. А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 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
100. А. Л. Семенов, “Об определимости арифметики в ее фрагментах”, Доклады Академии наук СССР, 263:1 (1982), 44–47  mathscinet (цит.: 2)  zmath  isi (цит.: 3)

   1981
101. 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
102. А. Л. Семенов, “Интерпретация свободных алгебр в свободных группах”, Доклады Академии наук СССР, 252:6 (1980), 1329–1332  mathscinet (цит.: 1)  zmath  isi (цит.: 1)

   1979
103. А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195  mathnet (цит.: 11)  mathscinet (цит.: 4)  zmath  isi (цит.: 16); 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: 16)

   1978
104. А. Л. Семенов, “Некоторые алгебраические проблемы для систем алгоритмических алгебр”, Доклады Академии наук СССР, 239:5 (1978), 1063–1066  mathscinet  zmath

   1977
105. A. L. Semenov, “Presburgerness of Predicated Regular in Two Number Systems”, Siberian Mathematical Journal, 18:2 (1977), 289  mathscinet (cited: 18)  zmath; А. Л. Семенов, “Пресбургеров характер регулярных предикатов в двух числовых системах”, Сибирский математический журнал, 18:2 (1977), 403-418  mathscinet  zmath

   1974
106. А. Л. Семенов, “Регулярность $k$-линейных языков для различных $k$”, Доклады Академии наук СССР, 215 (1974), 278–281  mathnet  mathscinet  zmath

   1973
107. A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319  mathscinet (cited: 2)  zmath; А. Л. Семенов, “Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик”, Доклады Академии наук СССР, 212 (1973), 50–52  mathscinet  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   

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