04 2015 档案

摘要:------来自科学松鼠会-------希尔伯特问题三:数学是可判定的吗?也就是说,能够找到一种方法,仅仅通过机械化的计算,就能判定某个数学陈述是对是错?数学证明能否机械化?图灵机的示例。绿点指示处为当前状态,每条规则的4项分别是:当前位置读入的字符、当前位置写入的字符、纸带的移动方向、将要转移到的... 阅读全文
posted @ 2015-04-20 20:37 陈不二 阅读(2483) 评论(0) 推荐(0)
摘要:---------------------利用MATLAB画图-------------------------一般绘制公式对应的图形是二维的,就只介绍一下二维绘图函数吧,三维绘图原理类似。常用的二维绘图函数:plot(x,y,‘s’)x,y是向量,分别表示点集的横坐标和纵坐标,s表示线型、颜色、点... 阅读全文
posted @ 2015-04-11 21:32 陈不二 阅读(754) 评论(0) 推荐(0)
摘要:之前也尝试过很多其他的方法,但是最终是这个结束了不能安装的问题,也可能之前已经做了很多铺垫。—————————是这样的———————————由于chrome 主页被篡改各种设置无法恢复,于是删除了C:Program FilesGoogle 文件夹重装chrome时提示:安装失败,无法启动google... 阅读全文
posted @ 2015-04-08 20:29 陈不二 阅读(1767) 评论(0) 推荐(0)

yes, javascript 拯救世界