Geodesic
Constructivisation of the models of classification of finite objects
Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, Tome 38 (2007) no. 1, pp. 3-231

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

We consider the problems of resolvability and computability of the models of classification of finite objects. The Churchs thesis is used in our approach to the problem of classification of finite objects. The criteria of resolvability obtained determine the conditions of adequate description of finite objects as well as the effective computation of the predicates of classification. 
@article{IIMI_2007_38_1_a0,
     author = {N. I. Kalyadin},
     title = {Constructivisation of the models of classification of finite objects},
     journal = {Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta},
     pages = {3--231},
     publisher = {mathdoc},
     volume = {38},
     number = {1},
     year = {2007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIMI_2007_38_1_a0/}
}
TY  - JOUR
AU  - N. I. Kalyadin
TI  - Constructivisation of the models of classification of finite objects
JO  - Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta
PY  - 2007
SP  - 3
EP  - 231
VL  - 38
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIMI_2007_38_1_a0/
LA  - ru
ID  - IIMI_2007_38_1_a0
ER  - 
%0 Journal Article
%A N. I. Kalyadin
%T Constructivisation of the models of classification of finite objects
%J Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta
%D 2007
%P 3-231
%V 38
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIMI_2007_38_1_a0/
%G ru
%F IIMI_2007_38_1_a0
N. I. Kalyadin. Constructivisation of the models of classification of finite objects. Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, Tome 38 (2007) no. 1, pp. 3-231. http://geodesic.mathdoc.fr/item/IIMI_2007_38_1_a0/