离散数学-命题逻辑应用举例

【文件属性】：
文件名称：离散数学-命题逻辑应用举例
文件大小：873KB
文件格式：PPTX
更新时间：2020-11-03 04:16:12
离散数学 命题逻辑 应用 展示命题逻辑应用的5个场景，需求描述，需求一致性验证，信息检索，判断条件，按位运算和机器证明使用的消解