程序的四大基石: 计算机模型、逻辑学、数学、语言学; 计算机模型:硬件基础; 逻辑学:准确性; 数学:计算模型和可计算性; 语言学:解释执行; 转载于:https://www.cnblogs.com/feng9exe/p/10608900.html