由于冯。诺依曼式计算机的理论基础是数理逻辑，现今的计算机处理数理问题无比成功。
Due to the rationale of Von Neumann computer are based on mathematical logic, it did a wonderful job when dealing with mathematics problem.
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
应用推荐