博客提到学习形式化方法时，严格证明需形式化，但理解原理并非必要。初学者常陷入繁琐推导，忽略公式定理背后的直观意义，简单定义定理时会追寻原理理解，复杂时却易忘本质。
Parsing Technique第２４页：“严格证明离不开形式化，但理解原理却不需要它”。的确如此。刚开始学习形式化方法的时候，老陷入繁琐的推导，而忽略了理解公式定理背后的直观意义。现在想来觉得好笑：定义定理简单的时候都不忘追寻对原理对直观意义的理解；定义定理复杂了，反而忘记了本质的东西。
------------------
以上文本借助 www.InputKing.com在线中文输入系统输入
------------------
以上文本借助 www.InputKing.com在线中文输入系统输入
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
