qq_39210428的博客

原创 离散数学及其应用（一）

逻辑规则给出数学语句的准确含义，这些规则用来区分有效和无效的数学论证。逻辑规则用于计算机电路设计、计算机程序构造、程序正确性证明等等。