命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 547 浏览量: 5,426 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
六元语言真值模态命题逻辑及其归结自动推理研究6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
王诗慧, 王艳芳, 崔晓松 下载量: 373 浏览量: 555
计算机科学与应用 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125141 被引量
人工智能背景下《离散数学》教学融入课程思政元素的路径探索Exploration on the Path of Integrating Ideological and Political Elements in the Teaching of Discrete Mathematics under the Background of Artificial Intelligence
房明磊, 耿显亚 下载量: 726 浏览量: 1,258 科研立项经费支持
教育进展 Vol.12 No.9, September 16 2022, PDF, HTML, XML DOI:10.12677/AE.2022.129526 被引量