1. Equivalence of free program schemata

   • V. É. Itkin

   OriginalPaper Pages: 1 - 9

2. Functional equivalence of standard schemes with nodal vertices

   • A. O. Buda

   OriginalPaper Pages: 9 - 23

3. Solvability of the uniform halting problem in the class of two-state post machines

   • V. Sh. Tlyusten

   OriginalPaper Pages: 24 - 31

4. Contextual properties of index grammars

   • A. G. Samoilenko

   OriginalPaper Pages: 31 - 36

5. Program for a syntax analyzer for arbitrary CF-grammars

   • G. A. Zaitman
   • O. A. Kholodenko

   OriginalPaper Pages: 36 - 40

6. Algorithms for enumerating elements of mathieu groups M₁₁ and M₁₂, and error-correction in codes equivalent to these groups

   • B. M. Zlotnik

   OriginalPaper Pages: 40 - 45

7. Optimality features of languages, metalanguages, and models of information sources

   • V. N. Shilo

   OriginalPaper Pages: 45 - 50

8. A method for proving the correctness of programs

   • V. S. Kostyrko

   OriginalPaper Pages: 50 - 58

9. An approach to an efficient organization of the operation of a computing system with duplication

   • I. A. Pogosyan
   • A. A. Kasyan
   • V. I. Mashkin

   OriginalPaper Pages: 59 - 63

10. An analog of the method of linearization in problems of minimizing nondifferentiable functions

    • Yu. M. Ermol'ev
    • A. M. Gupal

    OriginalPaper Pages: 64 - 68

11. Application of mathematical methods for optimal design of a single gas supply system considering the dynamics of its development

    • N. Z. Shor
    • L. A. Galustova
    • A. I. Momot

    OriginalPaper Pages: 68 - 73

12. Preparation of cyclic scheduling

    • N. S. Grigor'eva
    • I. V. Romanovskii

    OriginalPaper Pages: 74 - 78

13. Automating the search for operation principles of technical systems on the basis of a bank of physical phenomena

    • A. M. Dvoryankin
    • A. I. Polovinkin
    • A. N. Sobolev

    OriginalPaper Pages: 79 - 86

14. Hierarchical optimization and coordination systems

    • V. A. Gorelik

    OriginalPaper Pages: 87 - 94

15. Approximate algorithms with bounded absolute error for discrete extremal problems

    • R. G. Nigmatullin

    OriginalPaper Pages: 95 - 102

16. A game formulation of the problem of allocation of resources in a transport system

    • A. V. Dabagyan
    • A. I. Lysenko
    • E. G. Pinaev

    OriginalPaper Pages: 102 - 107

17. Control problem for equations of elliptic type

    • M. Gebel'

    OriginalPaper Pages: 107 - 111

18. Dynamic programming in the network problem for obtaining the shortest schedule

    • A. I. Kuksa
    • Yu. P. Laptin

    OriginalPaper Pages: 111 - 114

19. An algorithm for the solution of a sequence of systems of linear equations

    • E. I. Skaletskaya
    • V. V. Skaletskii

    OriginalPaper Pages: 115 - 118

20. Solution of some nonlinear problems of optimal control

    • M. G. Okhrimenko

    OriginalPaper Pages: 118 - 120

21. Controllable dissipative flows

    • V. V. Anisimov
    • V. A. Gasanenko

    OriginalPaper Pages: 120 - 124

22. Choice of an effective sequence of operations for statistical prediction and functional transformations of random processes

    • A. N. Efimov
    • E. V. Krivorukov

    OriginalPaper Pages: 124 - 127

23. An approach to decreasing the search time for information

    • F. I. Andon
    • N. A. Bashinskii

    OriginalPaper Pages: 128 - 134

24. Evasion problem for one class of dynamic systems described by the wave equation

    • E. A. Markin

    Brief Communications Pages: 135 - 136

25. A step-regulation method in stochastic programming methods

    • A. M. Gupal
    • F. Mirzoakhmedov

    Brief Communications Pages: 137 - 141

26. A method of construction of nonlinear generators of pseudorandom sequences

    • A. M. Romankevich

    Brief Communications Pages: 141 - 142

27. A minimax theorem

    • I. B. Medvedovskii

    Brief Communications Pages: 142 - 144

28. A distribution problem with discontinuous target function

    • V. N. Bykov

    Brief Communications Pages: 144 - 146

29. Definition of all automorphisms of nondirected graphs

    • A. G. Senyukova

    Abstracts Pages: 147 - 147

30. All-Union Conference on “Outlook and Problems in Development of Computer Techniques”

    Scientific Information Pages: 148 - 149

31. School-seminar on “parallel programming and high-productivity systems”

    • E. L. Yushchenko
    • G. E. Tseitlin

    Scientific Information Pages: 149 - 154

32. Conference of Junior Scientists on Systems Programming

    • V. V. Bublik

    Scientific Information Pages: 154 - 154