APPLICATION OF FORMAL CONCEPT ANALYSIS TO GENERATE THE RULES THE SUBMISSION OF THE SUBJECT AREA FOR CREATING TRAINING SOFTWARE COMPLEXES
To improve the efficiency of the preparation of the teaching software, it is useful to develop a methodology for the analysis of the formal sentences and algorithms for generating rules for the representation of the subject area. Realization of algorithms in the language of logical programming (for example, on Prolog) allows solving the scientific and methodical task of creating mathematical and software (software complex), in which automated generation of program templates for the solution.