The definition of canonical structure
$\mathbf{\alpha}$ for $\mathbf{T}$ 规范结构的定义
分类：
其他好文 时间：
2014-06-04 16:33:35
阅读次数：
278
4.2 THE COMPLETENESS THEOREM(2) If A theory
$\mathbf{T}$ has a model, then it is consistent.ProofSuppose that $\mathbf{T}$
has a mode $\mathbf{\alpha}...
分类：
其他好文 时间：
2014-06-02 06:23:48
阅读次数：
189
维基百科：https://en.wikipedia.org/wiki/Lucas%27_theorem?setlang=zh...
分类：
其他好文 时间：
2014-05-26 03:47:14
阅读次数：
249
Principal axis theoremFrom Wikipedia, the free
encyclopediaIn themathematicalfields ofgeometryandlinear algebra, aprincipal
axisis a certain line in a...
分类：
其他好文 时间：
2014-05-23 12:11:14
阅读次数：
501
最近一段时间是决定好好把算法大体学一遍了。今天发现了一个有趣的定理：cayley’s theorem：
过n个有标志顶点的树的数目等于n^(n-2)。以4个nodes的树为例，应该是16个没错，然后找了好半天也没有找到能看懂的证明过程。如果有哪位有发现比较易懂的证法，欢迎和我在留言讨论。:)
分类：
其他好文 时间：
2014-05-13 18:25:06
阅读次数：
183
