Alexei Semenov
Alexei Semenov
Head, Department of mathematical logic and theory of algorithms, Lomonosov State University
Dirección de correo verificada de hse.ru - Página principal
Título
Citado por
Citado por
Año
Can an individual sequence of zeros and ones be random?
VA Uspenskii, AL Semenov, AK Shen
Russian Mathematical Surveys 45 (1), 121 – 189, 1990
1401990
Mathematical metaphysics of randomness
AA Muchnik, AL Semenov, VA Uspensky
Theoretical Computer Science 207 (2), 263-317, 1998
1251998
Decidability of monadic theories
AL Semenov
International Symposium on Mathematical Foundations of Computer Science, 162-175, 1984
941984
Almost periodic sequences
A Muchnik, A Semenov, M Ushakov
Theoretical Computer Science 304 (1-3), 1-33, 2003
58*2003
Theory of algorithms: main discoveries and applications
VA Uspensky, AL Semenov
Nauka, 1987
441987
What are the gains of the theory of algorithms
VA Uspensky, AL Semenov
Algorithms in modern mathematics and computer science, 100-234, 1981
441981
Some regional developments in access and implementation of digital technologies and ICT
C Julie, A Leung, NC Thanh, LS Posadas, AI Sacristán, A Semenov
Mathematics education and technology-rethinking the terrain, 361-383, 2009
142009
Technology in transforming education
AL Semenov
Communications and networking in education, 25-36, 2000
132000
ICT in Primary Education
I Kalaš, H Bannayan, L Conery, E Laval, D Laurillard, CP Lim, ...
Analytical Survey 1, 2012
92012
The lattice of definability. Origins, recent developments, and further directions
A Semenov, S Soprunov, V Uspensky
International Computer Science Symposium in Russia, 23-38, 2014
82014
Theory of algorithms: its basic discoveries and applications
VA Uspenskii, AL Semenov
Algorithms in Contemporary Mathematics and Its Applications,[in Russian …, 1982
81982
Lattice of relational algebras definable in integers with successor
AL Semenov, SF Soprunov
arXiv preprint arXiv:1201.4439, 2012
52012
ICT in primary education: Analytical survey volume 1: Exploring the origins, settings and initiatives
I KALAŠ, HE BANNAYAN, L CONERY, E LAVAL, D LAURILLARD, ...
UNESCO Institute for Information Technologies in Education, 2012
52012
Mobile games
A Semenov
Towards the Next Wave of Mobile Communication, 68, 2005
52005
On the Role of the Law of Large Numbers in the Theory of Randomness
AA Muchnik, AL Semenov
Problems of Information Transmission 39 (1), 119-147, 2003
52003
Algorithm theory: basic discoveries and applications. M
VA Uspensky, AL Semenov
Science, 1987
51987
Jewels of Formal Languages
AA Muchnik, AL Semenov
Russian translation of a book by A. Salomaa), Mir, Moscow, 1986
51986
Seymour Papert and Us. Constructionism as the Educational Philosophy of the 21st Century
A Semenov
Educational Studies, 269-294, 2017
42017
ICT in primary education
HE Bannayan, I Kalaš, L Conery, E Laval, D Laurillard, CP Lim, ...
42011
Mathematics for the 21st century school: The Russian experience and international prospects
SA Polikarpov, AL Semenov
Proceedings of the 13th International Congress on Mathematical Education …, 2017
32017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20