Математическая теория проектирования вычислительных систем