Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Informatics and Automation
Tome 133 (1973)
Précédent
Suivant
Mathematical logic, theory of algorithms and theory of sets
Preface
The scientific and pedagogical activities of Petr Sergeevič Novikov
N. D. Gilenko
;
E. A. Shchegol'kov
p. 5-10
The works of P.\,S.~Novikov in the area of descriptive set theory
A. A. Lyapunov
p. 11-22
The works of P.\,S.~Novikov and his students on algorithmic questions of algebra
S. I. Adian
p. 23-32
A~certain method for approximate solutions of convolution type integral equations of the first kind
V. Ya. Arsenin
p. 33-51
The frequency solution of the problem of occurrence in a~recursively enumerable set
J. Barzdiņš
p. 52-58
Generalized computations
N. V. Beljakin
p. 59-64
The operators of logical approximation
D. A. Bochvar
;
V. I. Fukson
p. 65-77
Graphs with prescribed environments of the vertices
V. K. Bulitko
p. 78-94
Mathematical methods for studying natural languages
A. V. Gladkii
p. 95-108
On the conjugacy problem for groups with a~single defining relation
G. A. Gurevich
p. 109-120
An
$R$
-operation with complete depth of chains over uncountable families of sets
Z. I. Kozlova
p. 121-126
The complexity of the universal parallel-sequential network of depth~3
O. B. Lupanov
p. 127-131
The method of transfinite indices in the theory of operations over sets
A. A. Lyapunov
p. 132-148
Regular, linear and probabilistic events
A. A. Muchnik
;
A. N. Maslov
p. 149-168
On the conjugacy problem in semigroups
V. A. Osipova
p. 169-182
The reconstruction of words
Ya. S. Smetanich
p. 183-202
Certain works connected with descriptive set theory and topology
A. D. Taimanov
p. 203-213
The extension of linear operators
A. D. Taimanov
p. 214-220
Frequency computations
B. A. Trakhtenbrot
p. 221-232
A~solution of the conjugacy problem in a~certain class of groups
A. A. Fridman
p. 233-242
Universal functions for certain classes of recursive functions and sets
V. V. Škira
p. 243-250
Uniformization of sets of certain classes
E. A. Shchegol'kov
p. 251-262
The construction of irredundant multiple experiments for automata
S. V. Yablonskii
p. 263-272