1. Concepts on formation of the mathematical tools of cybernetics in the works of V. M. Glushkov

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

   OriginalPaper Pages: 695 - 700

2. ω-Complete a-spaces

   • Yu. L. Ershov

   OriginalPaper Pages: 701 - 705

3. Yet another machine experiment in support of Riemann's conjecture

   • Yu. V. Matiyasevich

   BriefCommunication Pages: 705 - 707

4. Program synthesis

   • S. S. Lavrov

   OriginalPaper Pages: 708 - 715

5. Mathematical models and computing algorithms for the flow of a viscous fluid

   • N. N. Yanenko

   OriginalPaper Pages: 715 - 722

6. Modeling of programs by flow diagrams and construction of diagram transformation systems

   • R. I. Podlovchenko

   OriginalPaper Pages: 723 - 731

7. One language of specifications

   • Ya. N. Barzdin'
   • A. K. Zarin'sh
   • A. A. Kalnin'sh

   OriginalPaper Pages: 732 - 747

8. Some problems of creation of numeric software

   • I. N. Molchanov

   OriginalPaper Pages: 747 - 753

9. Trends in the development of methods of discrete optimization and their software base

   • I. V. Sergienko

   OriginalPaper Pages: 754 - 764

10. Polyhedral aspects of discrete optimization

    • V. A. Emelichev
    • M. M. Kovalev

    OriginalPaper Pages: 765 - 777

11. The PRIZ system and propositional calculus

    • B. B. Volozh
    • M. B. Matskin
    • É. Kh. Tyugu

    OriginalPaper Pages: 777 - 788

12. Finite subgroups of the group GL (n,Z)

    • P. M. Gudivok
    • A. A. Kirilyuk
    • A. I. Tsitkin

    OriginalPaper Pages: 788 - 803

13. Application of electronic computers in the theory of substitution groups and its applications

    • A. A. Kaluzhnin
    • V. I. Sushchanskii
    • V. A. Ustimenko

    OriginalPaper Pages: 804 - 819

14. Use of computers in solving well-known algebra problems

    • V. V. Bludov
    • A. I. Kokorin

    OriginalPaper Pages: 819 - 829

15. Specification methods and partial construction of theory by computer

    • V. I. Mart'yanov

    OriginalPaper Pages: 829 - 839

16. Numerical theorem proving by electronic computers and its application in various branches of mathematics

    • P. S. Pankov
    • B. D. Bayachorova
    • S. A. Yugai

    OriginalPaper Pages: 840 - 848