1. System optimization and multitest linear programming problems for preference assigned as intervals

   • V. M. Glushkov
   • V. S. Mikhalevich
   • G. A. Dolenko

   OriginalPaper Pages: 287 - 297

2. Strategies of the search for derivation of statements with restricted quantifiers

   • K. P. Vershinin
   • M. K. Morokhovets

   OriginalPaper Pages: 298 - 308

3. Doubly transitive groups of type p^m(p^m−1) and maximal nonbinary codes generated by them

   • B. M. Zlotnik

   OriginalPaper Pages: 309 - 316

4. Synthesis of monitoring devices for digital automata

   • A. M. Smirnov

   OriginalPaper Pages: 316 - 325

5. One method of defining the semantics of programming language constructs in terms of lambda calculus. II

   • V. N. Domrachev
   • Yu. V. Kapitonova
   • L. G. Samoilenko

   OriginalPaper Pages: 325 - 333

6. Method of solving a system of linear algebraic equations and its application

   • A. D. Tuniev

   OriginalPaper Pages: 333 - 340

7. Operator composition in a multidimensional structurally oriented model of parallel computations and systems

   • M. S. Burgin

   OriginalPaper Pages: 340 - 350

8. The totality problem for program schemas

   • V. A. Nepomnyashchii

   OriginalPaper Pages: 351 - 362

9. Program package for solving large-scale production and transportation planning problems (PLANNER)

   • V. S. Mikhalevich
   • I. V. Sergienko
   • E. S. Karpinka

   OriginalPaper Pages: 362 - 382

10. Time optimization of segmentation methods for computing the bounds of correlation functions

    • V. K. Zadiraka
    • O. S. Kondratenko

    OriginalPaper Pages: 382 - 388

11. Decomposition algorithm for determining the optimal railroad profile

    • L. V. Belyaeva
    • V. I. Biletskii
    • N. Z. Shor

    OriginalPaper Pages: 388 - 392

12. Formalization and solution of a special class of transportation problems

    • V. I. Artemenko
    • I. V. Sergienko

    OriginalPaper Pages: 393 - 401

13. Probabilistic analysis of floating-point addition

    • A. I. Mikov

    OriginalPaper Pages: 401 - 410

14. Optimization of algorithm estimation of certain probabilistic characteristics

    • V. V. Ivanov
    • V. N. Korzhova

    OriginalPaper Pages: 411 - 423

15. Security of cryptograms that use pseudorandom number sequences

    • N. G. Nazarov
    • V. A. Persikov
    • V. F. Rarasenko

    OriginalPaper Pages: 424 - 428

16. Analysis of a production control system by graph-theoretic methods

    • I. A. Danil'chenko
    • E. F. Pshennova
    • V. N. Vorob'ev

    OriginalPaper Pages: 429 - 434

17. Necessary conditions for an extremum in nonsmooth problems

    • B. N. Pshenichnyi
    • R. A. Khachatryan

    OriginalPaper Pages: 434 - 441