not computer science, 是 PROCESS

    如何对计算过程进行形式化表述，如何去解决问题，并结合两者发展一套对问题处理过程精确表述的方法

    数学中对于平方根的定义：
    image.png
    但这种只是定义了他是什么，但没说如何去求。

    the constrains imposed in building large software systems, are the limitations of our own minds.

    techniques

    • black-box abstraction
      • 将东西组合并封装起来