Brownyuan

众所周知，计算机的出现将人从繁琐的计算中解脱出来。随着技术的发展，计算机做单纯计算的时代已经过去，大量的应用软件随之而来。有趣的是，数学却一直伴随着计算机科学的发展直到现在。 当我们设计编程语言及其一系列的 "翻译" 工具时，我们需要有逻辑学 及 计算理论 的知识背景。 当我们…