Description: Management of combat training of armies the difficult and many-sided process including in area of the interests a considerable quantity of various factors. For the purpose of creation of intellectual control systems by combat training one of possible ways of formalisation of managerial processes by combat training is offered on the basis of formal language of categories. Use of such approach will allow to use at planning of combat training not only the requirement of supervising documents, but also experience, knowledge of feature of preparation of experts of a various profile. Use of language of categories allows to create flexible, and universal enough, the tool of formalisation of managerial processes by combat training.
Keywords: formalisation, educational process, logic of categories, formal language, management, the formal theory