A formal mathematical description of an integrated computer system, which is the basis of a scientific research support system, has been considered. Three main loops of information flow can be identified in this system, namely scientific research, experiment, and design.