数学缺口
来源:互联网 发布:java开发周末兼职 编辑:程序博客网 时间:2024/04/27 22:25
kemin:这是我在研究计算理论时发现的数学缺口,都是阅读和思考的碎片,有待整理成学习经验记录。
这些天一直都研究计算理论。在搜集了一些资料并对其“扫描”般的通读一阵子后脑子虽然有点乱,但得到一个结论和一个问题。结论计算理论的三大内容--自动机、可计算性和复杂性。问题是为什么几乎所有资料一开始都涉及了看似无关的数学内容,这对于像我这样的数学基础不扎实的程序员来说可说是一只登山拦路虎。
就像鱼相忘乎江湖,人相忘乎道术一般,学习计算理论也忘乎计算与学习的联系。忘乎的原因在于悖论的出现。殊不知电脑是用电的脑?计算是对人脑的形式模拟。学习本身就是在计算。
人存在的终极目标是解决问题改造世界,而改造世界的前提是对世界的认知。前者是一个动态的过程,后者是一个相对静态的概念框架。
命题
无论是基础的计算理论还是它的分支像密码学都不可分割牵涉到语言理论。一台计算装置的输入输出的集合可以看成语言。而从一个更精微的意思上看,计算模型本身也可以被某类别语言识别。例如,图灵机可以被0型语言识别,有限自动机可以被3型语言也就是正则语言识别。
这些天一直都研究计算理论。在搜集了一些资料并对其“扫描”般的通读一阵子后脑子虽然有点乱,但得到一个结论和一个问题。结论计算理论的三大内容--自动机、可计算性和复杂性。问题是为什么几乎所有资料一开始都涉及了看似无关的数学内容,这对于像我这样的数学基础不扎实的程序员来说可说是一只登山拦路虎。
- 为什么计算理论书一开始就讲集合、函数和关系、数学证明、语言等看似无关的东西?
- 为什么研究数学证明?因为解决问题是证明?因为证明要精确所以要数学?
- 有的书还讲述了逻辑,像定义、证明、定理和命题等概念?
- 为什么要给语言一个准确的定义?为什么扯到语言?与计算模型有什么关系?
- 是不是这些内容太基础或者是与实际计算问题抽象太远以至于我们一开始摸不着头脑呢?
就像鱼相忘乎江湖,人相忘乎道术一般,学习计算理论也忘乎计算与学习的联系。忘乎的原因在于悖论的出现。殊不知电脑是用电的脑?计算是对人脑的形式模拟。学习本身就是在计算。
人存在的终极目标是解决问题改造世界,而改造世界的前提是对世界的认知。前者是一个动态的过程,后者是一个相对静态的概念框架。
命题
- 为什么用语言来研究计算模型?
- from<<语言与机器>>
- from<<计算与自动机(领域入门专著monograph)Computation and automata. >>
无论是基础的计算理论还是它的分支像密码学都不可分割牵涉到语言理论。一台计算装置的输入输出的集合可以看成语言。而从一个更精微的意思上看,计算模型本身也可以被某类别语言识别。例如,图灵机可以被0型语言识别,有限自动机可以被3型语言也就是正则语言识别。
- 逻辑规则给出数学语句的准确含义
- 集合
- 证明
- 数学缺口
- 缺口
- 跳空缺口
- 跳空缺口
- 缺口罚分联配
- 人员缺口
- 缺口分析要点
- 缺口分析要点
- 江尤理:缺口反转
- 关于跳空缺口
- 项怀诚警示养老金缺口未来缺口高达9.15万亿
- 缺口:日本之文化心态
- 留个缺口给别人
- 去掉Qwt画布左下角缺口
- 时评:所谓游戏人才六十万缺口背后
- 我国网络游戏策划人员存在巨大缺口
- 管理观点:留个缺口给别人
- 管理观点:留个缺口给别人
- JavaScript获取浏览器的显示区域大小信息
- 为什么美国Microsoft盗版少?
- 疯狂的程序员34
- TeeChart在VC中实时曲线绘制的应用
- 随笔
- 数学缺口
- 微软提供5G的网络硬盘
- Hibernate的数据的加载
- 《逻辑与演绎科学方法论导论》学习笔记
- 火箭队17连胜了吗
- 网游三国城市攻略
- iPhone Multi-Touch 技术
- 星期六的一上午课
- QTP访问DOM的方法