In the article considered problem of formal proving existance of logically permitted of sequence study content of educational module (discipline). This content is treated as a hierarchical modular structure consisting of elementary modules. Each module of such structure considered as a display of input concepts (terms) into output, which being developed in this module. by input terms can be understand necessary concepts for develpoment of output terms in tuis module. in article introduce concept of didactic dependence between input and output terms. These dependences are formal apparatus describe restrictions in the logical content model. Presets rules of conversion didactic dependecy. The modular structure of the content and didactic dependecy considered as a formal apparatus description of semantics of subject field. It is shown that the introduction of set of terms and implicit rules of conversion didactic dependecy are allows to simplify a logical model of the content, without breaking its semantics. introduced the concept "closure of input terms module", shows an algorithm of its construction and the algorithm checks the logical connectivity of educational content.

Keywords: module educational-methodical complexes content, discipline, algorithm, term automatization