摘要：研究聚焦于数理逻辑教学方法的改进与效果验证。采用游戏化教学策略,创新性地设计与个人姓氏相关的游戏,并将其巧妙融入数学归纳法的教学中。将第一数学归纳法的基础步骤从单一情形扩展至双重,进一步丰富了教学内容。收集对照组与实验组学生的数理逻辑考试成绩数据,并运用SPSS软件进行统计分析。结果显示,在排除原有高中数学基础影响后,教学模式的改进显著提升了学生的数理逻辑成绩。这表明,游戏化教学在数理逻辑教学中具有积极作用。

摘要：认知科学中的计算思维是人类重要的高阶认知,计算思维可以通过Python语言来实现。Py⁃thon语言程序设计即将进入高考知识的范畴,因此我们给出逻辑推理题的数理逻辑解答和Python语言程序的解答。相较于人脑,程序最明显的优势在于反复执行若干次操作而不会出现人脑的疲惫现象。

摘要：保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。

摘要：从人工智能的角度考虑,在具体的知识领域中,所有个体和属性构成了不同的形式背景。对于属性集合有穷,但是所有个体集合基数很大甚至无穷的研究领域的形式背景。我们设计扩充的属性探索算法求特定知识领域的Duquenne-Guigues基,并通过实例计算展示算法的功能。