Algorithm provision of the program package VEKTOR-1 intended for solving one class of electronic computer design problems V. M. GlushkovYu. V. KapitonovaI. V. Sergienko OriginalPaper Pages: 485 - 489
Problem of identity transformations of schemes of structured programs with closed logical conditions. II G. E. Tseitlin OriginalPaper Pages: 493 - 502
Recognition of formal languages in one-dimensional iterative automata G. S. Plesnevich OriginalPaper Pages: 513 - 520
Finite-automata mappings in a partially commutative semigroup V. V. Zubenko OriginalPaper Pages: 521 - 526
A mechanical propositional calculus using Smullyan's analytic tables G. L. MogilevskiiD. A. Ostroukhov OriginalPaper Pages: 526 - 529
Testing of combinational circuits designed from multivalued logic elements V. V. Brovarnik OriginalPaper Pages: 530 - 539
Processing of list structures in the KODIAL/US system I. A. PerekhodS. F. Tolkachev OriginalPaper Pages: 539 - 546
Determination of parameters of functional modules of integrating computational structures V. F. Guzik OriginalPaper Pages: 547 - 550
Investigation of one elementary problem of pursuit on a grid N. Z. ShorI. M. Asel'derova OriginalPaper Pages: 550 - 555
Exponential growth of coefficients of aggregating equations S. I. VeselovV. N. Shevchenko OriginalPaper Pages: 563 - 565
Certain classes of traveling-salesman problems V. S. AizenshtatE. P. Maksimovich OriginalPaper Pages: 565 - 569
Transportation problem based on time criterion with additional constraints Nguyen Van Vy OriginalPaper Pages: 569 - 575
Conditions of equivalence of multistep and one-step optimization for controlled plants with memory N. V. AndreevE. I. Shor OriginalPaper Pages: 579 - 585
A scheme of the method of sequential analysis and sifting of variants V. L. VolkovichA. F. Voloshin OriginalPaper Pages: 585 - 593
Estimation of certain functionals characterizing reliability L. S. Stoikova OriginalPaper Pages: 602 - 609
Minimax plans of regression experiments taking into account systematic errors E. V. SedunovN. A. Pecherskaya OriginalPaper Pages: 615 - 620
Sufficient conditions of completeness of linear closures of recognition algorithms Bak Ryng Khang OriginalPaper Pages: 620 - 628
A stochastic single-product problem of planning stocks with limited and unlimited periods of use F. Mirzoakhmedov Brief Communications Pages: 629 - 632
Properties of functions satisfying a local Lipschitz condition A. M. Gupal Brief Communications Pages: 632 - 634
Methods of proving the correctness of programs in ANALITIK V. S. Kostyrko Brief Communications Pages: 635 - 637
An approach to determining the minimum cut-set of a graph A. I. Krapiva Brief Communications Pages: 645 - 647