理论基础:计算机