xavier0的专栏

折纸算法

PKU离散数学第一讲逻辑学：探索、阐述和确立有效推理原则 三段论⎧⎩⎨大前提小前提结论人都会死苏格拉底是人苏格拉底会死三段论 \begin{cases}大前提 & 人都会死\\小前提 & 苏格拉底是人\\结论 & 苏格拉底会死\end{cases} 命题演算，谓词演算 命题的“真假属性”是真值 命题⎧⎩⎨陈述句对象要确定要进行判断 命题 \begin{cases}

MIT algorithm 笔记（视频2）

vedio 9Suppose A m by n while m < n, then there are nonzero solutions to AX = 0. Reason: There will be free variables. (rank < n) When v1,…,vnv_1,…, v_n are columns of A, they are independent if null