Анотація:
This article is about the problems of synthesis of formal logic models that are
used to describe the processes occurring in the system functioning book and magazine
editions. Based on this it was done the assertion of the consistency of the model
synthesized from formal logic models and information models, that is one of the basic
informational component.