Methods of minimization of functions on a sphere and their applications V. S. MikhalevichN. N. RedkovskiiA. E. Perekatov OriginalPaper Pages: 721 - 730
Graphs and degree sequences. I R. I. TyshkevichA. A. ChernyakZh. A. Chernyak OriginalPaper Pages: 734 - 745
Formalization of the concept of multitape automaton P. V. GorshkovK. V. Arkhangel'skii OriginalPaper Pages: 745 - 751
Approximate completeness in algebras of partial recursive functions and predicates Yu. V. Golunkov OriginalPaper Pages: 752 - 757
Problem-oriented program verification system “SPEKTR” V. A. NepomnyashchiiS. G. Vorob'evA. A. Sulimov OriginalPaper Pages: 757 - 765
Exact penalty method with integrated consideration of the constraints Yu. M. DanilinV. N. Kovnir OriginalPaper Pages: 770 - 778
Adaptive growth processes modeled by URN schemes V. B. ArturYu. M. Ermol'evYu. M. Kaniovskii OriginalPaper Pages: 779 - 789
MIR series computers and ways of increasing the level of machine intelligence A. A. StogniiT. A. Grinchenko OriginalPaper Pages: 807 - 818
Inductive synthesis of programs: State of the art, problems, prospects Ya. M. Barzdin'A. N. BrazmaE. B. Kinber OriginalPaper Pages: 818 - 826
Linear time procedure to compute the reliability characteristics of networks of ordinary structure A. S. Lakaev OriginalPaper Pages: 826 - 830