Volume 8; Issue 5

Cybernetics and Systems Analysis

Volume 8; Issue 5

1

Automatic search for proofs of mathematical theorems and intelligent computers

V. M. Glushkov, Yu. V. Kapitonova

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 503 KB

english, 1972

2

A brief review and bibliography of investigations into automation of search of theorem proofs in formal theories

Yu. V. Kapitonova, V. F. Kostyrko, A. V. Lyaletskii, A. I. Degtyarev, A. I. Malashonok, F. V. Anufriev, Z. M. Asel'derov

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 1.68 MB

english, 1972

3

Construction of a practical formal language for mathematical theories

V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii, K. P. Vershinin, N. P. Malevanyi

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 1.13 MB

english, 1972

4

The obviousness algorithm

F. V. Anufriev, Z. M. Asel'derov

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 2.25 MB

english, 1972

5

Organization of data for the obviousness algorithm seeking proofs of theorems in formalized theories

Z. M. Asel'derov, F. V. Anufriev, Yu. V. Kapitonova

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 782 KB

english, 1972

6

Algorithm and computer experiment for seeking proofs of theorems in the predicate calculus

F. V. Anufriev, V. M. Kostyakov, A. I. Malashonok

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 524 KB

english, 1972

7

Search for derivation as model of a heuristic process

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 661 KB

english, 1972

8

Remarks on formal languages for writing proofs

K. P. Vershinin

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 322 KB

english, 1972

9

Modeling of intelligence

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 1.68 MB

english, 1972

10

Human and aesthetic factors in programming

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 668 KB

english, 1972

11

On a learning model with growing memory

M. B. Trakhtenbrot

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 865 KB

english, 1972

12

Computer descriptions of classes of objects. I

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 957 KB

english, 1972

13

Information obtained by component-by-component observation of a vector random process

A. N. Efimov, V. G. Rubanov

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 470 KB

english, 1972

14

On dynamic systems with aftereffect

N. P. Buslenko, N. I. Osetinskii

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 945 KB

english, 1972

15

On an algorithm of choosing a compromise solution for linear criteria

V. A. Volkovich, L. F. Dagreiko

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 421 KB

english, 1972

16

N. Wiener's theory of the activity of excitable media

A. A. Letichevskii, L. V. Reshod'ko

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 1.06 MB

english, 1972

17

Optimal period of discrete measurements of random processes

V. A. Savel'ev, E. N. Vavilov

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 133 KB

english, 1972

18

Self-regulation of the cerebrum (cybernetic aspects of the theory of narcosis)

V. V. Chavchanidze, I. Sh. Chumburidze, M. A. Nutsubidze

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 272 KB

english, 1972

19

First All-Union Panel Discussion: Effecting analytical transformations by computer

Journal:

Cybernetics and Systems Analysis

Year:

1972

Language:

english

File:

PDF, 389 KB

english, 1972

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски