| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive |
|
1958, Volume 52
|
| | | General information | | | Contents | | | Page by page | | |
|
Preface of the editor N. A. Shanin |
3 | |
|
|
Some generalizations of the concept of a normal algorithm N. M. Nagornyi |
7 | |
|
|
A minimal alphabet of algorithms over a given alphabet N. M. Nagornyi |
66 | |
|
|
Equivalence of normal algorithms and recursive functions V. K. Detlovs |
75 | |
|
|
Some questions in the theory of algorithms È. S. Orlovskii |
140 | |
|
|
An associative calculus with an insoluble problem of equivalence G. S. Tseitin |
172 | |
|
|
A new algorithm of derivability in a constructive calculus of statements N. N. Vorob'ev |
193 | |
|
|
A constructive interpretation of mathematical judgments N. A. Shanin |
226 | |
|
|
Constructive functions A. A. Markov |
315 | |