程序正确性证明最常用的方法是 【16】 ，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
参考答案：归纳断言法
要将两根长度分别为8dm、12dm的彩带剪成长度相同的短彩带且没有剩余，每根短彩带最长是多少分米？
代兑机构结汇是指代兑机构将（）卖给我行，我行付给代兑机构（）的行为。
A、美元；等值外汇
B、外汇；等值外汇
C、外汇；等值人民币
D、人民币；等值外汇
