The fourth conference "computer algebra" in Moscow of Federal Research Center "
Computer Science and Control" of Russian Academy of
Science and the Peoples
Computable Presentability of Countable Linear Orders and R. Soare constructed a low linear order without
computable presentations. Earlier, in 1989, R
Computability on linear orderings enriched with predicates computable presentation for L or for the structure (L, adj), where adj(x, y) is a predicate distinguishing
Why Developing Simulation Capabilities Promotes Sustainable Adaptation to Climate ChangeSimulations of social processes are a special category of interactions between humans and
computers Развитие целей обучения информатике в условиях обновления технической культуры обществаThe article discusses the evolution of the development of the goals of teaching
computer science An Edge Detection using 2D Gaussian Function in Computed TomographyAn Edge Detection using 2D Gaussian Function in
Computed Tomography
Almost computably enumerable families of sets-c.e. if and only if the set X is not A-
computable. © 2008 Russian Academy of
Sciences, (DoM) and London
Use of computer technologies in education and scientific research for training economists© 2015, Asian Social
Science. All rights reserved. The paper considers the main directions