1. Theorem proving in a mathematical information environment

   • Yu. V. Kapitonova
   • A. A. Letichevskii

   OriginalPaper Pages: 481 - 488

2. High-accuracy discretization algorithms for problems with discontinuous solutions

   • I. V. Sergienko
   • V. S. Deineka
   • V. V. Skopetskii

   OriginalPaper Pages: 489 - 505

3. Recursive information transducers: computation models

   • A. V. Anisimov

   OriginalPaper Pages: 506 - 517

4. Composition structure of programmology

   • V. N. Red’ko

   OriginalPaper Pages: 518 - 531

5. Issues of algorithmics and glushkov’s systems of algorithmic algebras

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

   OriginalPaper Pages: 532 - 539

6. Parallelization of automata

   • Yu. G. Shukuryan

   OriginalPaper Pages: 540 - 544

7. Predicting the reliability of algorithmic processes with fuzzy input data

   • A. P. Rotshtein
   • S. D. Shtovba

   OriginalPaper Pages: 545 - 552

8. Nonstationary law of large numbers for dependent random variables and its application in stochastic optimization

   • Yu. M. Ermol’ev
   • V. I. Norkin

   OriginalPaper Pages: 553 - 563

9. Role of redundant constraints for improving dual bounds in polynomial optimization problems

   • N. Z. Shor

   OriginalPaper Pages: 564 - 576

10. Mixed method for solving the general convex programming problem

    • B. N. Pshenichnyi
    • É. I. Nenakhov
    • V. N. Kuz’menko

    OriginalPaper Pages: 577 - 587

11. Reducing the phase space of a stochastic process in system reliability analysis

    • I. N. Kovalenko
    • A. Birolini
    • M. Schoenbucher

    OriginalPaper Pages: 588 - 595

12. Stability conditions for the vector path problem in lexicographic discrete optimization

    • V. A. Emelichev
    • R. A. Berdysheva

    OriginalPaper Pages: 596 - 602

13. Informational uncertainty and optimal choice

    • V. V. Moiseenko
    • V. V. Yatskevich

    OriginalPaper Pages: 603 - 608

14. Formal methods in computer technologies

    • I. V. Sergienko
    • I. N. Parasyuk
    • A. I. Provotar

    OriginalPaper Pages: 609 - 615

15. Synthesis of optimal fuzzy estimation algorithms

    • G. M. Bakan

    OriginalPaper Pages: 616 - 631

16. Regularity of abstract-register transformations

    • A. K. Belyaev

    Brief Communications Pages: 632 - 634