Volume 18; Issue 6

Cybernetics and Systems Analysis

Volume 18; Issue 6

1

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

Yu. V. Kapitonova, A. A. Letichevskii

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 706 KB

english, 1982

2

ω-Complete a-spaces

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 431 KB

english, 1982

3

Yet another machine experiment in support of Riemann's conjecture

Yu. V. Matiyasevich

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 227 KB

english, 1982

4

Program synthesis

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 687 KB

english, 1982

5

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

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 597 KB

english, 1982

6

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

R. I. Podlovchenko

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 851 KB

english, 1982

7

One language of specifications

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

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 1.11 MB

english, 1982

8

Some problems of creation of numeric software

I. N. Molchanov

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 770 KB

english, 1982

9

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

I. V. Sergienko

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 1.20 MB

english, 1982

10

Polyhedral aspects of discrete optimization

V. A. Emelichev, M. M. Kovalev

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 1.12 MB

english, 1982

11

The PRIZ system and propositional calculus

B. B. Volozh, M. B. Matskin, G. E. Mints, É. Kh. Tyugu

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 901 KB

english, 1982

12

Finite subgroups of the group GL (n,Z)

P. M. Gudivok, A. A. Kirilyuk, V. P. Rud'ko, A. I. Tsitkin

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 1.31 MB

english, 1982

13

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

A. A. Kaluzhnin, V. I. Sushchanskii, V. A. Ustimenko

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 1.65 MB

english, 1982

14

Use of computers in solving well-known algebra problems

V. V. Bludov, A. I. Kokorin

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 1.18 MB

english, 1982

15

Specification methods and partial construction of theory by computer

V. I. Mart'yanov

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 1.06 MB

english, 1982

16

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

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

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 844 KB

english, 1982