27、编程与论证教学工具的探索与应用

编程与论证教学工具的探索与应用

1. 图灵机编程环境介绍

在图灵机编程中，有一个操作便捷的窗口界面。其工具栏具备多种操作功能，具体如下：
| 操作类型 | 功能描述 |
| — | — |
| 添加新测试 | 可在系统中新增测试项目 |
| 删除测试 | 移除不需要的测试 |
| 编辑测试 | 对已有的测试进行修改 |
| 关闭窗口 | 关闭当前操作窗口 |
| 切换到主窗口 | 从当前窗口返回主窗口 |
| 使测试激活 | 启动特定测试 |
| 将激活测试添加到集合 | 把当前激活的测试加入到指定集合中 |

当添加或编辑测试后，程序会自动运行该测试，并将结果显示在表格里。其中，“使测试激活”这一操作十分实用，它能让用户在主窗口直接启动那些产生错误结果的测试，方便进行问题排查。

2. 图灵机编程第二版本的使用

2.1 试用情况

引入第二版本后，进行了一些试用，尝试运用数字二进制编码函数和单词函数的练习。原本期望通过这些练习让学生了解二进制算术，但实践发现单磁带图灵机并非合适的工具，因为磁头移动需要过多注意力。而且单词函数的运用也偏离了主要方向，因为证明定理使用的是哥德尔编号，学生需要理解相应的机器。所以，目前仅使用了已实现的五种函数类型中的一种。

2.2 优势体现

• 编程能力提升 ：学生更好的编程通用技能以及更便捷的测试流程，使得能够研究更多的基本函数，并实现更复杂的函数组合。
• 测试执行高效