数理逻辑 / 是 / 计算机科学 / 的 / 基础 / 理论 / 之一数理逻辑是计算机科学的基础理论之一。Mathematical logic is one of the fundamental theories of computer science.