数理逻辑-集合与逻辑-逻辑代数 几乎是同时地,概率统计、数字电路基础、离散数学三门核心课同时涉及到了非常类似的内容。所以这篇blog作为总序,希望可以阐明这其中的区别与联系,为三门课程的后续打下个好基础。另外就是在这里集中整理一下De Morgan律的证明与应用(因为到处在用)。后来我才知道,这些全都是布尔代数,因此具有非常多相似的性质。(2025-1) 2024-09-10 Theory > 数学基础