程序的四大基石

程序的四大基石：

计算机模型、逻辑学、数学、语言学；

计算机模型：硬件基础；

逻辑学：准确性；

数学：计算模型和可计算性；

语言学：解释执行；