判断题 1976年美国数学家阿佩哈尔利用电子计算机证明了格思里的四色推测，这属于计算机在科学计算的应用。

多项选择题 过程控制又称实时控制，例如（）

多项选择题 计算机辅助系统包括以下（）等方面。