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

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

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 ...

Full description

Bibliographic Details
Main Authors: V. A. Minaev, I. D. Korolev, A. V. Mazin, A. S. Mezentsev, M. I. Poddubny
Format: Article
Language:English
Published: CRI «Electronics» 2018-06-01
Series:Радиопромышленность
Subjects:
electronic  document  management  system
  mathematical  logic
  finite  predicates
  modelling
  document  classification
 document clustering
 document identification
Online Access:https://www.radioprom.org/jour/article/view/314

Internet

https://www.radioprom.org/jour/article/view/314

Similar Items