RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive

1973, Volume 133

| General information | Contents |


Mathematical logic, theory of algorithms and theory of sets


Work collection dedicated to Petr Sergeevič Novikov on the occasion of his seventieth birthday

Petr Sergeevich Novikov (photo)
Preface
4
The scientific and pedagogical activities of Petr Sergeevič Novikov
N. D. Gilenko, E. A. Shchegol'kov
5
The works of P. S. Novikov in the area of descriptive set theory
A. A. Lyapunov
11
The works of P. S. Novikov and his students on algorithmic questions of algebra
S. I. Adian
23
A certain method for approximate solutions of convolution type integral equations of the first kind
V. Ya. Arsenin
33
The frequency solution of the problem of occurrence in a recursively enumerable set
J. Barzdiņš
52
Generalized computations
N. V. Beljakin
59
The operators of logical approximation
D. A. Bochvar, V. I. Fukson
65
Graphs with prescribed environments of the vertices
V. K. Bulitko
78
Mathematical methods for studying natural languages
A. V. Gladkii
95
On the conjugacy problem for groups with a single defining relation
G. A. Gurevich
109
An $R$-operation with complete depth of chains over uncountable families of sets
Z. I. Kozlova
121
The complexity of the universal parallel-sequential network of depth 3
O. B. Lupanov
127
The method of transfinite indices in the theory of operations over sets
A. A. Lyapunov
132
Regular, linear and probabilistic events
A. A. Muchnik, A. N. Maslov
149
On the conjugacy problem in semigroups
V. A. Osipova
169
The reconstruction of words
Ya. S. Smetanich
183
Certain works connected with descriptive set theory and topology
A. D. Taimanov
203
The extension of linear operators
A. D. Taimanov
214
Frequency computations
B. A. Trakhtenbrot
221
A solution of the conjugacy problem in a certain class of groups
A. A. Fridman
233
Universal functions for certain classes of recursive functions and sets
V. V. Škira
243
Uniformization of sets of certain classes
E. A. Shchegol'kov
251
The construction of irredundant multiple experiments for automata
S. V. Yablonskii
263


© Steklov Math. Inst. of RAS, 2025