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
А. Л. Семенов, “О реализации концепции математического образования”, Наука и школа, 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
А. Л. Семенов, “О фундаментальных понятиях кибернетики и информатики”, Вестник кибернетики, 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
А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 291–296; 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
Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 64:5(389) (2009), 21–96; 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.; А. Л. Семенов, Информационные и коммуникационные технологии в общем образовании: теория и практика. Авторизованный пер. с англ., переработанный и дополненный, ЮНЕСКО, 2006 , 327 с.
Ан. А. Мучник, А. Л. Семëнов, “О роли закона больших чисел в теории случайности”, Пробл. передачи информ., 39:1 (2003), 134–165; 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; А. Л. Семенов, А. А. Мучник, “Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности”, Доклады Академии наук, 391:6 (2003), 738–740
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”, Сб. Колмогоров и современная математика. Тезисы докладов Международной конференции, посвященной 100-летию со дня рождения А. Н. Колмогорова (Москва, 16 – 21 июня 2003), Издательство механико-математического факультета МГУ, 2003, 677–678
A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317
А. Л. Семенов, “Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика»”, Информатика и образование, 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
В. А. Успенский, А. Л. Семëнов, А. Х. Шень, “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162; 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
В. А. Успенский, А. Л. Семенов, “Алгоритмы, или машины Колмогорова”, А. Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды, ред. А. Н. Ширяев, Наука, Москва, 1987, 279–289
В. А. Успенский, А. Л. Семенов, Теория алгоритмов: основные открытия и приложения, Библиотечка программиста, Наука, 1987 , 288 с.
А. Л. Семенов, В. А. Успенский, “Математическая логика в вычислительных науках и вычислительной практике”, Вестник Академии наук СССР, 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
А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 47:3 (1983), 623–658; A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618
А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195; A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418
А. Л. Семенов, “Регулярность языков, $k$-линейных для различных $k$”, Доклады Академии наук СССР, 215 (1974), 278–281
A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319; А. Л. Семенов, “Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик”, Доклады Академии наук СССР, 212 (1973), 50–52
А. Л. Семёнов, С. Ф. Сопрунов, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Изв. РАН. Сер. матем., 85 (2021) (в печати)
2.
В. С. Атабекян, Л. Д. Беклемишев, В. С. Губа, И. Г. Лысёнок, А. А. Разборов, А. Л. Семенов, “Вопросы алгебры и математической логики. Научное наследие С. И. Адяна”, УМН, 76:1(457) (2021), 3–30
3.
В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021), 191–194
2020
4.
Ан. А. Мучник, А. Л. Семёнов, “Решетка определимости в порядке рациональных чисел”, Матем. заметки, 108:1 (2020), 102–118; An. A. Muchnik, A. L. Semenov, “Lattice of Definability in the Order of Rational Numbers”, Math. Notes, 108:1 (2020), 94–107
5.
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;
6.
В. Б. Бетелин, А. Г. Кушниренко, А. Л. Семенов, С. Ф. Сопрунов, “О цифровой грамотности и средах ее формирования”, Информ. и её примен., 14:4 (2020), 100–107
2019
7.
А. Л. Семенов, “В. А. Успенский как историк математики, науки и цивилизации. К статье Александра Шеня «Gauss multiplication trick?»”, Математическое просвещение, 3:24 (2019), 16–18 https://www.mccme.ru/free-books/matpros-24.html
8.
С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180; 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
2018
9.
Р. Б. Куприянов, А. Л. Семенов, “Анализ динамики образовательных результатов студентов крупного педагогического университета”, Вестник московского городского педагогического университета, Информатика и информатизация образования, 1(43), Москва, 2018, 66–67
10.
Б. Н. Четверушкин, Е. Е. Тыртышников, Н. Н. Кудрявцев, В. П. Дымников, Ю. И. Журавлев, Е. Э. Сон, К. В. Рудаков, Ю. Г. Евтушенко, А. Б. Жижченко, Ю. В. Гуляев, А. С. Бугаев, А. Н. Коновалов, В. П. Маслов, В. М. Бердышев, А. Л. Семенов, Е. И. Моисеев, И. Б. Петров, Ю. А. Флеров, И. Г. Поспелов, С. И. Кабанихин, М. В. Якобовский, В. Ф. Тишкин, Ю. В. Василевский, А. А. Шананин, В. А. Гущин, И. С. Никитин, А. И. Лобанов, В. В. Демченко, Е. Л. Ступицкий, В. Л. Якушев, А. В. Бабаков, Ю. Д. Шевелев, С. А. Ишанов, В. С. Рябенький, “Памяти Александра Сергеевича Холодова”, Матем. моделирование, 30:1 (2018), 135–136
2017
11.
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
12.
А. Л. Семенов, А. Ю. Уваров, “Обновление технологического образования и информатизация школы”, Вестник московского городского педагогического университета, Информатика и информатизация образования, 4, Москва, 2017, 17–31
13.
А. Л. Семенов, “Симор Паперт и мы. Конструкционизм – образовательная философия XXI века”, Вопросы образования, 1 (2017), 269–294
14.
А. А. Аграчев, Р. В. Гамкрелидзе, Е. С. Голод, А. Б. Жижченко, Ю. И. Журавлев, В. В. Козлов, А. В. Михалëв, А. В. Овчинников, Н. Х. Розов, А. Л. Семëнов, В. Г. Чирский, В. А. Шамолин, “Юбилей профессора М. В. Шамолина”, Динамические системы, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 134, ВИНИТИ РАН, Москва, 2017, 3–5
2016
15.
А. Л. Семенов, “Концептуальные проблемы информатики, алгоритмики и программирования в школе”, Вестник кибернетики, 2(22) (2016), 11–15
16.
А. Л. Семенов, “О реализации концепции математического образования”, Наука и школа, 6 (2016), 3
2015
17.
A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015), 966–975
18.
А. Л. Семенов, “Вариативная математика”, Образовательная политика, 1(67) (2015), 95–97
19.
А. Л. Семенов, А. Ю. Уваров, “Тридцать лет – это всë-таки мало”, Информатика и образование, 7 (2015), 3
20.
А. Л. Семенов, “О фундаментальных понятиях кибернетики и информатики”, Вестник кибернетики, 3(19) (2015), 22–26
2014
21.
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
22.
Е. И. Булин-Соколова, А. С. Обухов, А. Л. Семенов, “Будущее педагогическое образование. Направление движения и первые практические шаги”, Психологическая наука и образование, 19:3 (2014), 207–226
23.
А. Л. Семенов, С. Л. Атанасян, “Формирование математической компетенции в основной школе”, Наука и школа, 5 (2014), 7–12
24.
А. Л. Семенов, С. Л. Атанасян, С. Д. Каракозов, “Ключевые идеи концепции развития математического образования в Российской Федерации”, Информатика в школе: Прошлое, настоящее и будущее: материалы всероссийской научно-методической конференции по вопросам применения ИКТ в образовании (Пермь 2014), Перм. гос. нац. исслед. ун-т, 2014, 264–266
25.
А. Л. Семенов, “«Две культуры» в современной школе (часть 1)”, Математика в школе, 5 (2014), 21–26
26.
А. Л. Семенов, “«Две культуры» в современной школе (часть 2)”, Математика в школе, 6 (2014), 21–26
27.
В. Л. Арлазаров, Е. А. Диниц, Ю. С. Ильяшенко, А. В. Карзанов, С. М. Карпенко, А. А. Кириллов, Н. Н. Константинов, М. А. Кронрод, О. П. Кузнецов, Л. Б. Окунь, П. А. Певзнер, А. Л. Семëнов, И. А. Фараджев, Б. В. Черкасский, А. Г. Хованский, “Георгий Максимович Адельсон-Вельский (некролог)”, УМН, 69:4(418) (2014), 169–176; 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
28.
Н. Н. Андреев, В. М. Бухштабер, А. И. Гарбер, В. В. Козлов, С. П. Коновалов, А. А. Мальцев, Ю. В. Нестеренко, С. П. Новиков, А. Н. Паршин, И. Х. Сабитов, А. Л. Семëнов, А. Г. Сергеев, О. К. Шейнман, М. И. Штогрин, Е. В. Щепин, “Николай Петрович Долбилин (к семидесятилетию со дня рождения)”, УМН, 69:1(415) (2014), 187–188; 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
29.
И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, Математика. С теорией вероятностей и статистикой. ЕГЭ 2014, Экзамен, Москва, 2014 , 95 с.
30.
И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, Математика. Базовый и профильный уровни ЕГЭ 2014. Типовые тестовые задания, Экзамен, Москва, 2014 , 56 с.
31.
И. Р. Высоцкий, П. И. Захаров, В. С. Панферов, С. Е. Посицельский, А. В. Семенов, М. А. Семенова, И. Н. Сергеев, В. А. Смирнов, С. А. Шестаков, Д. Э. Шноль, А. Л. Семенов, И. В. Ященко, К демонстрационной версии ЕГЭ от 31.10.13. Базовый и профильный уровни ЕГЭ 2014, Экзамен, Москва, 2014 , 216 с.
32.
А. Л. Семенов, А. С. Соколов, “Приношения музыканту-педагогу”, Вестник кафедры ЮНЕСКО Музыкальное искусство и образование, 2014, № 3(7), 17
2013
33.
А. Л. Семенов, “Концепция развития российского математического образования (ход проекта)”, Математика в школе, 9 (2013), 3–5
34.
А. Л. Семенов, С. Д. Каракозов, “Московское образование в условиях вступления в силу нового закона об образовании”, Вестник алтайской науки, 3 (2013), 300–302
35.
А. Л. Семенов, С. Л. Атанасян, “О концепции развития российского математического образования”, Наука – образованию, 2 (2013), 6
36.
А. Л. Семенов, “Как детей учить лучше?”, Альманах «Высшая школа XXI века», 19 (2013), 3
37.
Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013), 54–65
38.
А. Л. Семенов, “Кадры решают все”, Всероссийская общественно-политическая газета «Властная вертикаль Федерации», 5 (2013), 3
39.
А. Л. Семенов, “Кому и какая примерная программа нужна, кто ее должен разрабатывать?”, Учительская газета, 24 (2013), 3
40.
А. Л. Семенов, “Все, что спрятал, то пропало”, Газета “Поиск”, 12 (2013), 3
41.
А. Л. Семенов, “Как сегодня повышать квалификацию директорам школ?”, Учительская газета, 9 (2013), 3
42.
А. Л. Семенов, «Две культуры» сегодня». Математика и литература, Занятия литературой в гуманитарных и математических классах. Сочинения, игры, путешествия, Московский институт открытого образования, Институт новых технологий, Москва, 2013 , 245 с.
43.
А. Л. Семенов, И. Н. Сергеев, В. С. Панферов, И. В. Ященко, Математика. 30 вариантов типовых тестовых заданий и 800 заданий части 2(с). ЕГЭ 2013. Типовые тестовые задания, Экзамен, Москва, 2013 , 216 с.
2012
44.
А. Л. Семенов, Математика текстов. Учебное пособие, МЦНМО, 2012 , 16 с.
45.
Е. И. Булин-Соколова, Т. А. Рудченко, А. Л. Семенов, Е. Н. Хохлова, Формирование ИКТ-компетентности младших школьников: пособие для учителей общеобразоват. учреждений, Просвещение, 2012 , 128 с.
2011
46.
А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 291–296; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272 (cited: 1) (cited: 1)
47.
А. Л. Семенов, “ИКТ-компетентности учащихся. ИКТ как инструментарий универсальных учебных действий: подпрограмма формирования”, Труды Большого московского семинара по методике раннего обучения информатике, Москва, Москва, 2011, 149–156
48.
A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
49.
Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200; 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
2010
50.
А. Г. Асмолов, А. Л. Семенов, А. Ю. Уваров, “Мы ждем перемен. Чему и как будет учиться подрастающее поколение и XXI веке”, Дети в информационном обществе, 5 (2010), 20
51.
Е. И. Булин-Соколова, А. Л. Семенов, “Построение программы формирования ИКТ-компетентности учащихся и информационной образовательной среды основной школы”, Информатика и образование, 8 (2010), 3–7
52.
А. А. Кузнецов, А. Л. Семенов, С. А. Бешенков, А. Г. Кушниренко, “Примерная программа по информатике и ИКТ (VII – IX классы)”, Информатика и образование, 8 (2010), 3–7
53.
Е. И. Булин-Соколова, А. Л. Семенов, “Читаем ФГОС НО, пишем ООП, включая ИКТ в ПФУУД”, Народное образование, 7 (2010), 21–30
54.
В. М. Кругляков, Е. Л. Рачевский, А. Л. Семенов, “За что платить школе? Заметки на полях директивных документов”, Народное образование, 10 (2010), 58–61
55.
И. В. Ященко, И. Р. Высоцкий, Д. Д. Гущин, П. И. Захаров, С. Е. Посицельский, А. В. Семенова, С. А. Шестаков, Д. Э. Шноль, В. А. Смирнов, В. С. Панферов, М. А. Семенова, А. Л. Семенов, ЕГЭ 2010. Математика. Типовые тестовые задания, Экзамен, Москва, 2010 , 64 с.
56.
В. С. Панферов, И. Н. Сергеев, А. Л. Семенов, И. В. Ященко и др., Самое полное издание типовых реальных заданий ЕГЭ Русский язык, математика, обществознание. ФИПИ, АСТ, 2010 , 480 с.
57.
А. Г. Асмолов, А. Л. Семенов, А. Ю. Уваров, Российская школа и новые информационные технологии: взгляд в следующее десятилетие, НексПринт, 2010 , 95 с.
2009
58.
Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 64:5(389) (2009), 21–96 (цит.: 13) (цит.: 8) (цит.: 10); An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, “Sequences close to periodic”, Russian Math. Surveys, 64:5 (2009), 805–871 (cited: 8) (cited: 6) (cited: 8)
59.
И. Г. Алексеев, М. В. Волошин, Н. А. Гиппиус, М. В. Данилов, Д. В. Казанцев, А. Д. Миронов, А. Ю. Морозов, Л. Б. Окунь, В. А. Рубаков, Д. Н. Свирида, А. Л. Семенов, П. Г. Тиняков, “Памяти Владимира Владимировича Бронфмана”, Успехи физ. наук, 179:12 (2009), 1373–1374 (цит.: 1)
60.
Е. И. Булин-Соколова, А. Л. Семенов, “Мониторинг здоровья учащегося как элемент индивидуализации обучения”, Культура физическая и здоровье, 6 (2009), 61–64
61.
Е. И. Булин-Соколова, А. Л. Семенов, “Школа информатизации: путь к обновлению образования”, Информатика и образование, 11 (2009), 3–12
62.
An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov, Sequences Close to Periodic, 2009 , arXiv: abs/0903.5316
2008
63.
А. Л. Семенов, М. А. Посицельская, “О связи раннего обучения информатике и коррекционно-развивающей работы с дошкольниками и младшими школьниками: тетради «Математика и информатика»”, Сборник «Труды Большого Московского семинара по методике раннего обучения информатике» в 10 томах., ред. И. В. Соколова, Ю. А. Первин, Москва, 2008, 164–171
2007
64.
С. И. Адян, А. Л. Семëнов, В. А. Успенский, “Андрей Альбертович Мучник (некролог)”, УМН, 62:4(376) (2007), 140–144 (цит.: 1) (цит.: 1); S. I. Adian, A. L. Semenov, V. A. Uspenskii, “Andrei Al'bertovich Muchnik (obituary)”, Russian Math. Surveys, 62:4 (2007), 775–779 (cited: 1)
2006
65.
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
66.
Л. Д. Беклемишев, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семëнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006), 179–191 (цит.: 1) ; 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
2005
67.
А. М. Кондаков, А. Л. Семенов, Т. И. Галишникова, Т. А. Фиалкова, Н. С. Станченко, “Коллекции на Российском образовательном портале www.school.edu.ru: интернет-проект «Культурное наследие»”, Открытое образование, 3 (2005), 31–58
68.
А. Л. Семенов, “Качество информатизации школьного образования”, Вопросы образования, 3 (2005), 248–270
69.
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
70.
А. Л. Семенов, “Современный курс математики и информатики в школе. Часть 1”, Вопросы образования, 1 (2004), 79
71.
А. Л. Семенов, “Современный курс математики и информатики в школе. Часть 2”, Вопросы образования, 2 (2004), 110
2003
72.
Ан. А. Мучник, А. Л. Семëнов, “О роли закона больших чисел в теории случайности”, Пробл. передачи информ., 39:1 (2003), 134–165 (цит.: 2) ; 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
73.
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; А. Л. Семенов, А. А. Мучник, “Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности”, Доклады Академии наук, 391:6 (2003), 738–740
74.
A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33 (cited: 19) (cited: 25)
75.
А. Л. Семëнов, М. М. Горбунов-Посадов, Т. А. Полилова, “Школа на пути к новой грамотности”, Препринты ИПМ им. М. В. Келдыша, 2003, 55–20
76.
А. Л. Семенов, Т. А. Рудченко, “Выступают авторы учебников”, Информатика и образование, 1 (2003), 10
77.
А. Л. Семенов, Т. А. Рудченко, “Информатика 2–4”, Информатика и образование, 1 (2003), 17
78.
М. М. Горбунов-Посадов, Т. А. Полилова, А. Л. Семенов, “Школа и технологии новой грамотности”, Информационные технологии и вычислительные системы, 4 (2003), 87–99
79.
Alexei Semenov, Andrej Muchnik, “40 years of the Origin of Kolmgorov Randomness Theory”, Сб. Колмогоров и современная математика. Тезисы докладов Международной конференции, посвященной 100-летию со дня рождения А. Н. Колмогорова (Москва, 16 – 21 июня 2003), Издательство механико-математического факультета МГУ, 2003, 677–678
80.
А. Л. Семëнов, “Условия конечности для алгебр отношений”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 103–107 (цит.: 2) ; A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96
2002
81.
А. Л. Семенов, “Тематическое планирование учебного материала по программе «Информатика»”, Информатика и образование, 3 (2002), 5
82.
А. Л. Семенов, Математика текстов, Издательство Московского центра непрерывного математического образования, 2002 , 16 с.
2001
83.
А. Л. Семенов, “Роль информационных технологий в общем среднем образовании”, Информатика и образование, 2 (2001), 2
2000
84.
А. Л. Семенов, “Информационные технологии в начальном образовании”, Школьные технологии, 6 (2000), 168
1999
85.
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
86.
A. A. Muchnik, A. L. Semenov, V. A. Uspensky, “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317 (cited: 47) (cited: 52)
87.
А. Л. Семенов, “Математическая информатика в школе”, Информатика и образование, 5 (1998), 54
88.
С. К. Ландо, А. Л. Семенов, “Алгоритмика: учебная программа курса”, Информатика и образование, 3 (1998), 94
1996
89.
А. Л. Семенов, “Информатика в российской средней школе: доклад на пленарном заседании II Международного конгресса ЮНЕСКО «Образование и информатика»”, Информатика и образование, 5 (1996), 29
1995
90.
Н. Д. Угринович, А. Л. Семенов, “Программа непрерывного курса информатики для средней школы”, Информатика и образование, 4 (1995), 12
91.
А. Л. Семенов, “Образование, информатика, компьютеры”, Информатика и образование, 5 (1995), 6
92.
А. Л. Семенов, “Математическая информатика в школе”, Информатика и образование, 5 (1995), 6
1993
93.
V. Uspensky, A. Semenov, Algorithms: main ideas and applications, Mathematics and its Applications, 251, Kluwer Academic Publishers Group, Dordrecht, 1993 , xii+269 pp.
94.
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
95.
А. Н. Колмогоров, С. И. Адян, А. Г. Драгалин, А. С. Кузичев, Е. Ю. Ногина, А. Л. Семенов, В. А. Успенский, “Математическая логика и теория алгоритмов на механико-математическом факультете МГУ”, Математика в Московском университете, Издательство Московского университета, 1992, 128–155
96.
А. В. Архангельский, Б. А. Пасынков, В. И. Пономарев, В. В. Федорчук, С. П. Гулько, В. И. Малыхин, А. Л. Семëнов, Е. В. Щепин, Г. П. Амирджанов, А. П. Комбаров, Д. В. Ранчин, В. В. Успенский, Л. Б. Шапиро, А. П. Шостак, “Борис Эмильевич Шапировский (некролог)”, УМН, 47:6(288) (1992), 199–200; 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
1990
97.
В. А. Успенский, А. Л. Семëнов, А. Х. Шень, “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162 (цит.: 39) (цит.: 56); 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 (cited: 56)
98.
А. К. Поливанова, А. Л. Семенов, “Я – не математик”, Язык логики и логика языка. Сборник статей к 60-летию профессора В. А. Успенского, Вопросы кибернетики, 166, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1990, 195–199
1988
99.
A. L. Semenov, “A simple detailed proof for Goedel's incompleteness theorem”, Kybernetika (Prague), 24:6 (1988), 447–451
100.
В. Г. Вовк, А. Л. Семенов, С. Ф. Сопрунов, “Некоторый способ проверки правильности программ на Ассемблере”, Методы и алгоритмы анализа больших систем, Вопросы кибернетики, 136, ред. В. Г. Карманов, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1988, 56–78
1987
101.
В. А. Успенский, А. Л. Семенов, “Алгоритмы, или машины Колмогорова”, А. Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды, ред. А. Н. Ширяев, Наука, Москва, 1987, 279–289
102.
В. А. Успенский, А. Л. Семенов, Теория алгоритмов: основные открытия и приложения, Библиотечка программиста, Наука, 1987 , 288 с.
1986
103.
А. Л. Семенов, В. А. Успенский, “Математическая логика в вычислительных науках и вычислительной практике”, Вестник Академии наук СССР, 56:7 (1986), 93–103 (цит.: 2)
104.
А. Л. Семенов, “Разрешающие процедуры для логических теорий”, Кибернетика и компьютерная технология, 2, Наука, Moscow, 1986, 134–146
1985
105.
А. Л. Семенов, С. Ф. Сопрунов, “О языке комбинаторно-логического процессора”, Эффективное использование высокопроизводительных ЭВМ. Серия Вопросы кибернетики., 117, Научный совет по комплексной проблеме «Кибернетика» АН СССР, Москва, 1985, 182–191
106.
В. А. Успенский, А. Л. Семенов, “Решимые и нерешимые алгоритмические проблемы”, Квант, 7 (1985), 9–15
1984
107.
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
1983
108.
А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 47:3 (1983), 623–658 (цит.: 20) ; A. L. Semenov, “Logical theories of one-place functions on the set of natural numbers”, Math. USSR-Izv., 22:3 (1984), 587–618
1982
109.
А. Л. Семенов, “Об определимости арифметики в ее фрагментах”, Доклады Академии наук СССР, 263:1 (1982), 44–47 (цит.: 2) (цит.: 3)
1981
110.
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
1980
111.
А. Л. Семенов, “Интерпретация свободных алгебр в свободных группах”, Доклады Академии наук СССР, 252:6 (1980), 1329–1332 (цит.: 1)
1979
112.
А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195 (цит.: 11) (цит.: 16); A. L. Semenov, “On certain extensions of the arithmetic of addition of natural numbers”, Math. USSR-Izv., 15:2 (1980), 401–418 (cited: 16)
1978
113.
А. Л. Семенов, “Некоторые алгебраические проблемы для систем алгоритмических алгебр”, Доклады Академии наук СССР, 239:5 (1978), 1063–1066
1977
114.
A. L. Semenov, “Presburgerness of Predicated Regular in Two Number Systems”, Siberian Mathematical Journal, 18:2 (1977), 289 (cited: 1) (cited: 38); А. Л. Семенов, “Пресбургеровость предикатов, регулярных в двух системах счисления”, Сибирский математический журнал, 18:2 (1977), 403-418 (цит.: 38)
1974
115.
А. Л. Семенов, “Регулярность языков, $k$-линейных для различных $k$”, Доклады Академии наук СССР, 215 (1974), 278–281
1973
116.
A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319 (cited: 8) ; А. Л. Семенов, “Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик”, Доклады Академии наук СССР, 212 (1973), 50–52
Вступительное слово А. Л. Семёнов Международная конференция «Стратегии достижения высоких образовательных результатов» 7 октября 2015 г. 10:00
4.
Круглый стол «Математика и информатика в школе» А. Л. Семёнов Конференция «Московское Математическое Общество и Московский
государственный университет имени М. В. Ломоносова», посвященная 150-летию образования
Московского Математического Общества 25 декабря 2014 г. 10:00