Maximal finitely defined subalgebras of partial functions of infinite-valued logic B. A. Romov Cybernetics Pages: 1 - 11
Dm-automata and classes of context-free languages A. B. StavrovskiiO. Yu. Pavliv Cybernetics Pages: 12 - 19
Asymptotic behavior of a renewal process thinned by an alternating process A. O. Kushnir Cybernetics Pages: 20 - 25
Multicriterial analysis of industry conversion rates using integral models V. S. MikhalevichV. L. VolkovichYu. P. Yatsenko Systems Analysis Pages: 26 - 34
Finite algorithm to find the saddle point of a quadratic function subject to linear constraints V. M. Panin Systems Analysis Pages: 35 - 46
Optimal experimental designs in minimax estimation problems. II V. G. Pokotilo Systems Analysis Pages: 47 - 52
Probability-theoretical generalization of the second lyapunov method A. N. Nakonechnyi Systems Analysis Pages: 53 - 62
Finding the common point of a system of convex sets and solving mathematical-programming optimization problems by the orthogonal descent method M. B. Shchepakin Systems Analysis Pages: 72 - 77
Stochastic models of transport flow interaction at transshipment points E. N. VoevudskiiM. Ya. Postan Systems Analysis Pages: 78 - 87
Formalized program specifications and transformation synthesis G. E. TseitlinE. L. Yushchenko Software-Hardware Systems Pages: 101 - 120
Maximum-frequency monitoring of program flow V. N. Tupkalo Software-Hardware Systems Pages: 121 - 129
M-calculus — a sequent method for automatic theorem proving A. V. Mantsivoda Software-Hardware Systems Pages: 130 - 136
Some issues in the theory of intelligent processes. II I. I. Bannikov Brief Communications Pages: 137 - 140
Development of inductive inference algorithms using decision trees A. M. Tsvetkov Brief Communications Pages: 141 - 145
Nonpreemptive service principle for a transportation system A. A. Fedosov Brief Communications Pages: 146 - 150
Representation and synthesis of optimal logical structure of instruction materials in computer-aided training systems S. A. Tolmachev Brief Communications Pages: 151 - 154