Цахим шуудангийн бүртгэл: Математическая теория проектирования вычислительных систем