形式化和理解原理
2005-09-10 06:08
190 查看
Parsing Technique第24页:“严格证明离不开形式化,但理解原理却不需要它”。的确如此。刚开始学习形式化方法的时候,老陷入繁琐的推导,而忽略了理解公式定理背后的直观意义。现在想来觉得好笑:定义定理简单的时候都不忘追寻对原理对直观意义的理解;定义定理复杂了,反而忘记了本质的东西。
------------------
以上文本借助www.InputKing.com在线中文输入系统输入
------------------
以上文本借助www.InputKing.com在线中文输入系统输入
相关文章推荐
- 对编译原理的一些理解
- 我的理解OpenAPI原理
- 进一步理解触发器原理!!!!
- 深入理解ASP.NET MVC路由表生成URL原理
- 简单透彻理解JSONP原理及使用
- java通信一:Socket通信原理简单理解
- Opencv学习笔记-----霍夫变换直线检测及原理理解
- T-SQL查询进阶--理解SQL Server中索引的概念,原理以及其他
- T-SQL查询进阶--理解SQL Server中索引的概念,原理以及其他
- T-SQL查询进阶--理解SQL Server中索引的概念,原理以及其他(转)
- JAVA基础之理解JNI原理
- 深入理解SD卡基础原理以及内部结构的总结 (转)
- 深入理解java异常处理机制的原理和开发应用
- 深入理解PHP运行机制与原理
- 【底层原理】深入理解Cache (上)
- 理解Javascript_07_理解instanceof实现原理
- 理解DHCP协议和dhcp中继原理和数据交互过程
- Linux 输入子系统原理理解(原创)
- 深入理解Java中的HashMap的实现原理