Simulation in the system “PROEKT” V. M. glushkovYu. V. KapitonovaV. A. Grebnev OriginalPaper Pages: 553 - 564
Practical methods for the recognition of the equivalence of discrete processors and program schemata A. A. Letichevskii OriginalPaper Pages: 565 - 576
Programming means and the solution of logical problems in software systems (basic concepts of the L2 language) S. S. GorokhovskiiYu. V. KapitonovaA. A. Letichevskii OriginalPaper Pages: 577 - 597
An automatic system of learning the cobol language E. L. YushchenkoL. P. BabenkoR. D. Usenko OriginalPaper Pages: 598 - 608
Relationship between formal language of mathematical theories and axiomatic systems of the theory of sets K. P. Vershinin OriginalPaper Pages: 621 - 627
Question of constructing a problem-oriented procedure for the proof of theorems A. I. Degtyarev BriefCommunication Pages: 628 - 629
Use of heuristic procedures in search programs for proofs of theorems (survey) Yu. V. KapitonovaA. I. DegtyarevA. V. Lyaletskii OriginalPaper Pages: 630 - 643
Certain special cases of the problem of stopping and functional equivalence of automata A. B. Godlevskii OriginalPaper Pages: 644 - 652
Simple proof of algorithmic unsolvability of problems of completeness of automata bases V. A. Orlov OriginalPaper Pages: 666 - 670
Use of a dichotomous topology of mappings to construct a mathematical model of a two-terminal plant R. P. SpiridonovaF. M. Kharchenko OriginalPaper Pages: 671 - 676
Solution of a class of problems of organizing the computation process in data-processing systems T. T. ArkhipovaV. A. RoshchinI. V. Sergienko OriginalPaper Pages: 677 - 683
Experience in the operation of the SLÉNG programming system and the design of simulation experiments M. A. Sakhnyuk BriefCommunication Pages: 684 - 686
Minimizing functions without calculating derivatives B. N. Pshenichnyi OriginalPaper Pages: 687 - 690
Asymptotic expansion of the absorption-time distribution for a markov chain V. S. KorolyukI. P. PenevA. F. Turbin OriginalPaper Pages: 694 - 697
Algorithmic production of design presentations of three-dimensional objects A. G. Gorelik OriginalPaper Pages: 698 - 706
Method of algorithmic and structural designing of operational blocks in microprogrammed computers A. I. Khlebnikov Brief Communications Pages: 707 - 710
Note on differentiation formulas with respect to initial values and parameters for the “discontinuous solution” of a system of ordinary differential equations A. M. GupalV. I. Popadinets Brief Communications Pages: 711 - 713