计算检查

教学工具CalcCheck:Gries和Schneider“离散数学的逻辑方法”的证明检查器。在一年级的课程中,根据Gries和Schneider的LADM教材,学生们经常会问:“我怎么知道我的解决方案是否好?“par我们现在报告了一种证明检查器的开发,旨在准确地回答这个问题,而在第一时间故意不帮助找到解决方案。CalcCheck为{sc LaTeX}格式的计算证明提供详细的反馈,从而帮助学生在“严谨的数学写作”中培养对自己技能的信心,同时在正式和习惯之间达成一个特别的折衷,更非正式的数学练习,从而教给两者的各个方面。这是一个机械化的证明检查器的几个不寻常的要求的来源之一;其他有趣的方面来自于它们的符号约定的细节。


zbMATH中的参考文献(参考 37篇文章 37篇,1标准件)

显示结果1到20,共37个。
按年份排序(引用)
  1. Klimek,Radosław:面向工作流软件模型的基于模式和组合驱动的逻辑规范自动生成(2019)
  2. Diallo,Nafi;Ghardallou,Wided;Desharnais,Jules;Mili,Ali:融合:整合终止和中止自由(2018)
  3. Kahl,Wolfram:CalcCheck:教学“离散数学逻辑方法”的验证检查器(2018)
  4. Kahl,Wolfram:教学工具中的计算关系代数证明\textscalccheck(2018)
  5. Alain,Mathieu;Desharnais,Jules:图像关系(2017)
  6. Carter,Nathan C.;Monks,Kenneth G.:基于web的语义数学字处理应用工具包(2017)
  7. Boute,Raymond:《为什么数学需要工程学》(2016)
  8. Dyba,Martin;El Zekey,Moataz;Novák,Vilém:非交换一阶EQ逻辑(2016)
  9. Jeannin,Jean-Baptiste;Kozen,Dexter;Silva,Alexandra:Well-founded coalgebras,Revieted(2015年)
  10. Rocha,Camilo:Dijkstra和Scholten的正式体系(2015)
  11. Klimek,Radosław:面向工作流的软件模型的基于演绎的形式化验证系统(2014)
  12. Solin,Kim:《抽象行动代数中的双重选择和迭代》(2012)
  13. 罗兰·巴克豪斯(Backhouse),费雷拉(Ferreira),乔·福夫(JoãF.):论欧几里得算法和初等数论(2011)
  14. Jouanaud,Jean-Pierre(编辑);Shao,Zhong(编辑):认证程序和证明。2011年第一届国际会议,台湾垦丁,2011年12月7-9日。诉讼(2011年)
  15. Kahl,Wolfram:教学工具CalcCheck:Gries和Schneider的“离散数学的逻辑方法”(2011)的验证检查器
  16. Bohórquez V,Jaime A:程序正确性的基本统一方法(2010)
  17. Boute,Raymond:无点表达式和计算:从量化到时序逻辑(2010)
  18. 汉斯.比勒;朱尔斯.德沙奈斯;理查德.圣丹尼斯:参数化离散事件系统的控制(2009)
  19. 科尔文,罗伯特;唐戈,布里杰什:证明锁自由的一般技术(2009)
  20. Hallerstede,Stefan:Event-B中的增量系统建模(2009)