摘要：第六章 设计过程与ALU设计 一位加法器与四位加法器： ​ 输入：A\B\CarryIn ​ 输出：CarryOut\Sum(result) ​ 功能含与、或、一位全加器（通过真值表进行构造） \[ sum(result) = AxorBxorC\\ CarryOut=A\&B|B\&CarryIn 阅读全文

摘要：力学常用公式 天体运动 只考虑平方反比力情况 \[ f = - \frac{k}{r^2} e_r,万有引力下：k = GMm\\ 引入两个变量:h=J_0/m = r^2w\ \ u=\frac{1}{r}\\ 由角动量守恒和机械能守恒可得：\\ e = [1 + \frac{2E_0mh^2}{ 阅读全文

摘要：一阶谓词演算自然推演系统$N_{\mathcal{L}}$ 中常见公式总结 \[ 以下是对“自由出现”和“自由"的个人理解：\\ 1. x在\alpha在\beta中若有自由出现，可以认为\alpha和\beta公式的真假与x有关，即原公式成立或否对x有依赖\\ 2.t对x在\alpha在\beta 阅读全文