第一章单元测试
要打开Tarski’s World，点击文件Tarski’s World.exe。
在Tarski’s World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。
在Tarski’s World中，要保存一份世界文件，最安全的命令是Save World 。
在棋盘上放置一个模块，点击工具栏中的（ ）。
要删除一个世界文件的方法之一是（ ）。
当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（ ）。
在Tarski’s World中，模块的大小有（ ）这几种情况。
在Tarski’s World中，模块的形状有（ ）这几种情况。
在Tarski’s World中，一个模块的名字可以有（ ）。
Tarski’s World不允许给一个模块命名多个名字。
A:错 B:对
答案:对
A:对 B:错
答案:对
A:对 B:错
答案:错
A:New按钮 B:Play Game按钮 C:打印按钮 D:Verify按钮
答案:New按钮
A:点击New按钮 B:在File菜单中，点击Clear命令 C:
Verify按钮
答案:在File菜单中，点击Clear命令
A:F B:T C:+ D:
*
答案:+
A:大 B:
较小
C:小 D:中答案:大###小###中
A:锥体 B:
圆
C:十二面球体 D:立方体答案:锥体###十二面球体###立方体
A:两个 B:一个 C:
四个
D:三个答案:两个###一个###
四个
###三个A:对 B:错
答案:错
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
