Correct algorithms in the algebraic closure of a family of recognition algorithms with a special kind of information teaching
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 19 (1979) no. 4, pp. 1023-1032

Voir la notice de l'article provenant de la source Math-Net.Ru

The completeness problem is solved for a set of recognition algorithms of a special kind. These algorithms use as teaching information a collection of “conditional” inequalities between classes. It is shown that the algebraic closure of these recognition algorithms contains an algorithm correctly solving every permissible problem; the order of this closure is calculated and the correct algorithm in the closure is found in explicit form.
@article{ZVMMF_1979_19_4_a20,
     author = {Z. A. Smol'yaninova},
     title = {Correct algorithms in~the~algebraic closure of~a~family of~recognition algorithms with a~special kind of~information teaching},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {1023--1032},
     publisher = {mathdoc},
     volume = {19},
     number = {4},
     year = {1979},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_1979_19_4_a20/}
}
TY  - JOUR
AU  - Z. A. Smol'yaninova
TI  - Correct algorithms in the algebraic closure of a family of recognition algorithms with a special kind of information teaching
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1979
SP  - 1023
EP  - 1032
VL  - 19
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1979_19_4_a20/
LA  - ru
ID  - ZVMMF_1979_19_4_a20
ER  - 
%0 Journal Article
%A Z. A. Smol'yaninova
%T Correct algorithms in the algebraic closure of a family of recognition algorithms with a special kind of information teaching
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1979
%P 1023-1032
%V 19
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1979_19_4_a20/
%G ru
%F ZVMMF_1979_19_4_a20
Z. A. Smol'yaninova. Correct algorithms in the algebraic closure of a family of recognition algorithms with a special kind of information teaching. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 19 (1979) no. 4, pp. 1023-1032. http://geodesic.mathdoc.fr/item/ZVMMF_1979_19_4_a20/