您的位置:首页 > 其它

形式化和理解原理

2005-09-10 06:08 190 查看
Parsing Technique第24页:“严格证明离不开形式化,但理解原理却不需要它”。的确如此。刚开始学习形式化方法的时候,老陷入繁琐的推导,而忽略了理解公式定理背后的直观意义。现在想来觉得好笑:定义定理简单的时候都不忘追寻对原理对直观意义的理解;定义定理复杂了,反而忘记了本质的东西。
------------------
以上文本借助www.InputKing.com在线中文输入系统输入
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: