Degrees of categoricity of computable structuresDefining the degree of categoricity of a
computable structure M to be the least degree d for which
Graphs are not universal for online computability for “online” (punctual)
computable structures. In contrast, we give a description of punctually categorical
Computing Load Distribution by Using Peer-to-Peer Network different areas of science, such as queueing
theory and
theory of
computation, we create our own distributed
Distribution of Computing Load by using a P2P Network theory and
theory of
computation, we create our own distributed
computing system. The main idea behind
Elementary theories and hereditary undecidability for semilattices of numberings. We prove that the
theory of the semilattice of all
computable numberings is
computably isomorphic
Degrees of categoricity of computable structuresDefining the degree of categoricity of a
computable structure M to be the least degree d for which
ФТД.1 Вычислительная теория групп (Computational group theory) 2018 очнаяФТД.1 Вычислительная теория групп (
Computational group
theory) 2018 очная
ФТД.1 Вычислительная теория групп (Computational group theory) 2018 очнаяФТД.1 Вычислительная теория групп (
Computational group
theory) 2018 очная
ФТД.1 Вычислительная теория групп (Computational group theory) 2016 очнаяФТД.1 Вычислительная теория групп (
Computational group
theory) 2016 очная