摘要：
argument论证：前提，结论。命题。形式化。意义藏在符号里，多看几次就懂了。语义学semantics语句连接词connective真值表：有input，肯定能得到确定的output反证法后设定里： soundness 和 completeness苏格拉底：所有人都会死，苏格拉底是人，所以苏格拉底... 阅读全文
2015年2月1日
摘要：
通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，可以有一个程序判断其本身是否会停机并做出相反的行为。这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。停机问题本质是一阶逻辑的不自恰性和不完备性。类似的命题有理... 阅读全文
摘要：
逆向工程是根据已有的东西和结果，通过分析来推导出具体的实现方法，比如你看到别人写的某个exe程序能够做出某种漂亮的动画效果，你通过反汇编、反编译和动态跟踪等方法，分析出其动画效果的实现过程，这种行为就是逆向工程；不仅仅是反编译，而且还要推倒出设计，并且文档化，逆向软件工程的目的是使软件得以维护。逆向... 阅读全文
摘要：
https://zh.wikipedia.org/wiki/.NET%E6%A1%86%E6%9E%B6 阅读全文
摘要：
http://www.numpy.org/The core functionality of NumPy is its "ndarray", for n-dimensional array, data structure.NumPy's arrays must be views on contigu... 阅读全文
