Formal systems of mathematical logic are reviewed, and inter alia, the system of finite predicates algebra, with regard to  solution of problems of electronic document flow management systems (EDMS). The substantiation of selection of themathematical apparatus for description and study of automatic processes of formalized documents processing in EDMS  is given taking into account specific features of human intellectual activities. The description of the reviewed formal  systems is presented in comparison table. Conclusion is made to the effect that it is necessary to describe processes in  EDMS in the language of mathematics logics theories enabling researches to take account not only the content but also  the structure of a formalized electronic document. The total procedure of the process of automatic classification of  documents with application of the finite predicates algebra is demonstrated. Fundamental conclusions have been made:  application logical models in description of automatic classification of documents in electronic document flow makes it  possible to cut costs for computing capacities and to reduce the machine time for processing documents. The most  adequate approach for describing automatic processes in EDMS is to apply the finite predicates algebra to be used to  obtain the most accurate and complete description of formalized electronic documents, their properties and relations  between them, and the system for users’ access rights differentiation in EDMS. It is also possible to obtain a mathematical  description and research of automatic processes for processing formal documents in EDMS.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    THE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT


    Beteiligte:
    V. A. Minaev (Autor:in) / I. D. Korolev (Autor:in) / A. V. Mazin (Autor:in) / A. S. Mezentsev (Autor:in) / M. I. Poddubny (Autor:in)


    Erscheinungsdatum :

    2018




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    THEORETICAL SUBSTANTIATION OF FINANCIAL MANAGEMENT

    N. V. Myroshnyk | DOAJ | 2009

    Freier Zugriff



    A36 Wing Temporary Repair Substantiation

    Gruszkeiwicz, D. / Stepura, S. / Berkowitz, O. et al. | British Library Conference Proceedings | 2010