Title: Matematicheskai͡a teorii͡a i praktika sistem programmnogo obespechenii͡a