会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
woaiiu
博客园
首页
新随笔
联系
订阅
管理
2020年2月9日
《构建之法》--读后感3
摘要: 形式符号系统具有一定的数学性质,所以它们非二义性的基础在于其内在的数学结构。越是复杂的数学概念,越是建立在更原始的概念之上,如:集合、命题逻辑。这就是说,形式符号系统可以具有合适的解释,并在理论上足以确保规范的一致性解释。 形式规范是由一些精确的定义组成的,因为其符号系统的含义是明确定义的。相对地,
阅读全文
posted @ 2020-02-09 22:27 晨起
阅读(133)
评论(0)
推荐(0)
编辑
公告