- 博客(3)
- 资源 (7)
- 收藏
- 关注
RSS订阅原创 看MIT的线性代数
长假期间，开始学组合图论，于是顺便把线性代数温习下，先是在verycd上看到有Gilbert Strang的课程，然后搞来iTunes开始看，发现国外的老师讲课就是不一样——能够把我们认为一些“简单套公式”就能摆平的东西当作一个研究性课题讲上一大节课！小题大做了！但是，做过研究生的都知道，那些所谓的牛B人物，那些经典的论文，哪一个不是用类似的方式论述出来的？这样一个课堂上的问题的论述讲解，跟论文、演讲里的有什么不同？！学习和研究，本来就是一回事。如果你非要走捷径，最终还是要还的，在后续研究阶段要花上成倍的时
2010-10-08 02:44:00
4889
原创 停机问题、哥德尔定理
<br />今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》，看到“自指”的论述，突然想起以前学自动机理论时的“停机问题”。该问题上课前看书就看明白了，考试完了又忘了，后来又想起来看过一次，现在又忘了——可见，我是不懂装懂。<br /> <br />我之前其实没搞明白：怎么这么一个程序H2，当作 输入P给另一个H2后，它的存在性还受到另一个它的影响？？每个H2不是可以有自己的输入么？这个递归、这个循环是如何实现的？？<br /> <br />所谓自指，那么，关于它的陈述是全称量化的。也就是说，如果定义
2010-10-03 23:42:00
2176
原创 关于jar
<br />eclipse下，所有问题都好解决——但是，解决问题最终是为了离开eclipse独立运行！比如，打成jar包，打成exe包……但不管是eclipse的export还是ant的target jar，都不够智能……<br /> 门路1：手写MANIFEST.MF<br />如下：Manifest-Version: 1.0<br />Main-Class: com.bulletphysics.demos.basic.BasicDemo<br />Class-Path: ../lib/vecmath/v
2010-10-03 23:33:00
1277
SQLPlus用户指南和参考
2010-06-04
μCOS-Ⅱ中文资料
2010-04-06
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人