Ivakin, Y. 2003. Introduction into the problem of the computer inter-pretation of the applied formalized theory. Information and Control Systems. 1 (Feb. 2003), 26-31.