Parsing Technique第24页:“严格证明离不开形式化,但理解原理却不需要它”。的确如此。刚开始学习形式化方法的时候,老陷入繁琐的推导,而忽略了理解公式定理背后的直观意义。现在想来觉得好笑:定义定理简单的时候都不忘追寻对原理对直观意义的理解;定义定理复杂了,反而忘记了本质的东西。
------------------
以上文本借助 www.InputKing.com在线中文输入系统输入
------------------
以上文本借助 www.InputKing.com在线中文输入系统输入