×
巴斯蒂安·海仁;杰林，约翰

交叉战略。 （英语） Zbl 1335.68290号

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日，在意大利贝尔蒂诺罗举行的2011年微积分学第18次研讨会和2011年MKM第10次国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。《人工智能课堂讲稿》，196-211（2011）。
小结：重写策略用于指定如何在交互式学习环境中解决数学习题，并向学生提供解决此类习题的反馈。我们开发了一种通用策略语言，可以用它在许多（数学）领域指定重写策略。虽然我们的策略语言非常强大，但它缺少一个指定策略的基本组件，即两种策略的交错。通常，学生必须执行多个子任务，但这些任务的执行顺序无关，解决方案的步骤可能会交错进行。我们通过几个例子说明了支持交织的组合子的必要性。我们用不同的组合词对策略语言进行了交叉扩展，定义了扩展的语义，并展示了交叉组合词是如何在用于识别学生行为和提供提示的解析框架中实现的。
关于整个系列，请参见[Zbl 1218.68014号].

MSC公司：

68单位35 信息系统的计算方法（超文本导航、接口、决策支持等）
97单位50 计算机辅助教学、电子学习（数学教育方面）

关键词：

战略语言;交错;反馈

软件：

马特佩特;哈斯克尔;动态数学;快速检查
PDF格式BibTeX公司 XML格式引用
\textit{B.Heeren}和\textit{J.Jeuring}，莱克特。注释计算。科学。6824、196--211（2011；Zbl 1335.68290）
全文： DOI程序

参考文献：

[1] Aspinall，D.，Denney，E.，Lüth，C.：等级证明的策略。计算机科学中的数学3（3），309-330（2010）·Zbl 1205.68359号 ·doi:10.1007/s11786-010-0025-6
[2] Baars，A.I.，Löh，A.，Swierstra，S.D.：解析置换短语。函数编程杂志14，635–646（2004）·Zbl 1063.68028号 ·doi:10.1017/S0956796804005143
[3] Beeson，M.J.：MathPert的设计原理：支持代数和微积分教育的软件。在：Kajler，N.（编辑）《符号计算中的计算机与人类交互》，第89–115页。施普林格，海德堡（1998）
[4] Bergstra，J.A.，Klop，J.W.：用抽象传递过程的代数。理论计算机科学37，77–121（1985）·Zbl 0579.68016号 ·doi:10.1016/0304-3975（85）90088-X
[5] 邦迪：使用明确的计划来指导归纳证明。摘自：自动扣减国际会议，第111-120页（1988年）·Zbl 0656.68106号 ·doi:10.1007/BFb0012826
[6] Claessen，K.，Hughes，J.：QuickCheck：Haskell程序随机测试的轻量级工具。收录于：ICFP 2000，第268–279页（2000）·doi:10.1145/351240.351266
[7] Cohen，A.，Cuypers，H.，Reinaldo Barrero，E.，Sterk，H.：网络上的交互式数学文档。摘自：代数、几何和软件系统，第289-306页。斯普林格，海德堡（2003）·Zbl 1034.68120号 ·doi:10.1007/978-3-662-05148-1_16
[8] Doorman，M.、Drijvers，P.、Boon，P.，van Gisbergen，S.、Gravemeijer，K.：计算机支持的数学学习环境的设计与实现。In:Earli 2009 SIG20邀请了设计和实施计算机支持的探究学习环境的研讨会（2009）
[9] Fokkink，W.：过程代数导论。施普林格，海德堡（2000）·Zbl 0941.68087号 ·doi:10.1007/978-3-662-04293-9
[10] Gerdes，A.，Heeren，B.，Jeuring，J.：构建编程策略。收录：Cordeiro，J.等人（编辑）《第一届计算机支持教育国际会议论文集》，第65-72页。研训所出版社（2009年3月）
[11] Gerdes，A.，Heeren，B.，Jeuring，J.：运动策略的属性。摘自：IWS 2010年会议记录：第一届改写、证明和编程策略国际研讨会。理论计算机科学电子论文集（2011）·Zbl 1205.68184号
[12] Heeren，B.，Jeuring，J.：适应数学领域推理器。收录人：Autexier，S.、Calmet，J.、Delahaye，D.、Ion，P.D.F.、Rideau，L.、Rioboo，R.、Sexton，A.P.（编辑）AISC 2010。LNCS，第6167卷，第315-330页。施普林格，海德堡（2010）·Zbl 1286.97012号 ·doi:10.1007/978-3-642-14128-7_27
[13] Heeren，B.，Jeuring，J.，Gerdes，A.：为交互式练习指定重写策略。计算机科学中的数学3（3），349–370（2010）·Zbl 1205.68184号 ·doi:10.1007/s11786-010-0027-4
[14] 霍尔，C.A.R.：通信顺序过程。普伦蒂斯·霍尔公司，恩格尔伍德悬崖（1985年）·Zbl 0637.68007号
[15] Huet，G.：拉链。函数编程杂志7（5），549–554（1997）·Zbl 0893.68014号 ·doi:10.1017/S0956796897002864
[16] Lodder，J.，Heeren，B.：证明逻辑公式之间等价性的教学工具。收录：Soler-Toscano，F.（编辑）TICTTL 2011。LNCS，第6680卷，第154-161页。斯普林格，海德堡（2011）·doi:10.1007/978-3642-21350-2_18
[17] Melis，E.，Siekmann，J.：动态数学：数学智能辅导系统。收录人：Rutkowski，L.、Siekmann，J.H.、Tadeusiewicz，R.、Zadeh，L.A.（编辑）ICAISC 2004。LNCS（LNAI），第3070卷，第91-101页。斯普林格，海德堡（2004）·Zbl 1058.97500号 ·doi:10.1007/978-3-540-24844-6_12
[18] Nipkow，T.、Paulson，L.C.、Wenzel，M.T.（编辑）：Isabelle/HOL。LNCS，第2283卷。斯普林格，海德堡（2002）
[19] Peyton Jones，S.等人：Haskell 98，《语言与图书馆》。修订报告。剑桥大学出版社，《函数编程杂志》特刊，（2003），http://www.haskell.org/ ·Zbl 1067.68041号
[20] Swierstra，S.D.：组合器解析：简短教程。收录人：Bove，A.、Barbosa，L.S.、Pardo，A.、Pinto，J.S.（编辑）语言工程和严格软件开发。LNCS，第5520卷，第252-300页。斯普林格，海德堡（2009）·Zbl 1250.68083号 ·doi:10.1007/978-3-642-03153-36
[21] Visser，E.，Benaissa，Z.A.，Tolmach，A.：使用重写策略构建程序优化器。收录于：ICFP 1998，第13-26页（1998）·Zbl 1369.68084号 ·doi:10.1145/289423.289425
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。