实体
propositional calculus
propositional calculus
PulseAugur coverage of propositional calculus — every cluster mentioning propositional calculus across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
LogiKEy方法学使用证明助手教授逻辑
一种名为LogiKEy的新方法学被提出，用于向计算机科学、数学和哲学专业的学生教授逻辑。该方法利用单一证明助手Isabelle/HOL，通过语义嵌入来编码各种对象逻辑。该方法学通过一系列示例进行，从简单的谜题开始，逐步深入到动态认知逻辑和义务逻辑等复杂主题，最终展示其在研究级论证中的应用。
-
LLM 帮助识别数学建模中常见的学生错误
研究人员开发了一种利用大型语言模型 (LLM) 识别和分类学生在数学形式化建模中常见的错误的新工作流程。这种工具支持的方法会生成修复错误的转换，将不正确的形式化转换为正确的形式化，从而能够分析大型教育数据集。该方法已通过重现命题逻辑中已知的错误得到验证，并证明可以推广到各种形式化，为计算机科学教育研究人员和教师提供可扩展的解决方案。