Categories
6 个页面
离散数学
感兴趣的一些离散数学内容
FC(一阶谓词演算系统)及其相关定理
ND(自然演绎推理系统)及其相关定理
PC(命题逻辑演算形式系统)及其相关定理
1
2
