数理逻辑与计算机科学 计算机科学的核心算法 ■程序设计语言 ■程序设计方法学 ■计算复杂性理论 均涉及到数理逻辑的知识和理论 66 数理逻辑与计算机科学 n 计算机科学的核心算法 n 程序设计语言 n 程序设计方法学 n 计算复杂性理论 均涉及到数理逻辑的知识和理论