ТЖАБТ нинг математик таъминотини ифодаловчи қуйидаги ўзаро боғланган техник ҳужжатларнинг комплектини олиш лозим: 1) бошқарув объектининг математик модели; 2) бошқарув алгоритмининг блок-схемаси; 3) масаланинг ечимига қаратилган математик ва мантиқий амаллар кетма-кетлигини ифодаловчи алгоритмнинг умумий кўриниши; 4) конкрет БҲМ нинг хусусиятларини эътиборга олувчи маши-нанинг алгоритми; 5) алгоритм тилида, автокода ёки шартли адресдаги дастурлар; 6) реал адресли машина кодида ишчи дастурлар ва дастурларнинг баёни.