《应用离散数学》方景龙版-2.4谓词公式的推理演算

剩余3页未预览,继续预览

谓词公式

谓词公式化为子句集

谓词演算

三角函数公式及推导

谓词演算基础

所有三角函数公式

随机推荐

其他