基于逻辑运算理论的通用数字计算机，又称为____计算机。