Дата рождения: 13.10.1950
E-mail:
Ключевые слова: Разрешимость логических теорий, определимость в структурах, комбинаторика слов, символическая динамика, почти периодические последовательности определимость, редукты, теорема Свенониуса.
Коды УДК: 517.11, 519.9, 510.53, 510.6, 621.391.1, 519.2, 510.5, 519.101, 517.938, 510.635

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

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

Основные публикации:

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  
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      
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        
6. А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 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          
7. A. L. Semenov, S. F. Soprunov, Lattice of relational algebras definable in integers with successor, 2011 , arXiv: 1201.4439
8. Ан. А. Мучник, Ю. Л. Притыкин, А. Л. Семенов, “Последовательности, близкие к периодическим”, УМН, 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              
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      ; 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      
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      ; А. Л. Семенов, А. А. Мучник, “Об уточнении оценок Колмогорова, относящихся к датчикам случайных чисел и сложностному определению случайности”, Доклады Академии наук, 391:6 (2003), 738–740      
12. A. Muchnik, A. Semenov, M. Ushakov, “Almost periodic sequences”, Theoret. Comput. Sci., 304:1-3 (2003), 1–33          
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          
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.  
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          ; 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          
19. В. А. Успенский, А. Л. Семенов, “Алгоритмы, или машины Колмогорова”, А. Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды, ред. А. Н. Ширяев, Наука, Москва, 1987, 279–289  
20. В. А. Успенский, А. Л. Семенов, Теория алгоритмов: основные открытия и приложения, Библиотечка программиста, Наука, 1987 , 288 с.    
21. А. Л. Семенов, В. А. Успенский, “Математическая логика в вычислительных науках и вычислительной практике”, Вестник Академии наук СССР, 56:7 (1986), 93–103    
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      
23. А. Л. Семëнов, “Логические теории одноместных функций на натуральном ряде”, Изв. АН СССР. Сер. матем., 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      
24. А. Л. Семëнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 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        
25. А. Л. Семенов, “Регулярность языков, $k$-линейных для различных $k$”, Доклады Академии наук СССР, 215 (1974), 278–281      
26. A. L. Semenov, “Algorthmic Problems for Power Series and Context-free Grammars”, Soviet Mathematics, 14 (1973), 1319        ; А. Л. Семенов, “Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик”, Доклады Академии наук СССР, 212 (1973), 50–52      

Публикации за последние годы

Доклады и лекции в базе данных Math-Net.Ru

Персональные страницы:

• 
• 
• 
• 
• 
• ИСТИНА
• 
• 
• 
• 
• 

Организации:

• Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
• Московский физико-технический институт (национальный исследовательский университет), Московская облаcть, г. Долгопрудный
• Федеральный исследовательский центр «Информатика и управление» Российской академии наук, г. Москва
• Московский педагогический государственный университет
• Московский институт открытого образования
• Вычислительный центр им. А. А. Дородницына РАН, г. Москва
• Институт новых технологий
• Научный совет по комплексной проблеме "Кибернетика" РАН
• Московское математическое общество