数学随记

用来记录一些数学相关

线性代数

1. 从行（矩阵），向量（列）等多个方向研究方程的思想
2. 解微分方程的常数变易法很精彩

离散数学

1. 非、与和或、蕴含和等效的组合命题的关系是不一致的
2. 微指令op编码可以通过一个bit（单）一位或者多个bit分组
3. 逻辑表达式可以通过一棵树表示
4. 可以通过命题的各种定律优化门电路设计和语法树分析
5. 可以将一个复杂的命题化简为范式，从而判断真值
6. 蕴含于表示图像中PQ图P位于Q部分，Q全部和除了PQ之外的部分
7. 等价于表示图像中PQ图重合部分和PQ之外的部分