[主观题]程序正确性证明是用______来证明程序正确性的方法。
贪心算法的正确性证明包括证明A. 可行性B. 贪心选择性质C. 最优子结构性质D. 存在最优解E. 可分为独立子问题
[单选题]下列哪个对输入数据的正确性校验是利用会计恒等式进行的（）.A . 人工校对B . 二次键入校对C . 根据输入数据之间的逻辑关系校对D . 用程序设计实现校对
[主观题]余额试算平衡是根据会计恒等式的平衡关系检验账户记录的正确性。 （ ）
[单选题]测试的目的是（），而不是对正确性进行形式化证明。A .要暴露程序中的bugB .要纠正程序中的错误C .要暴露程序中的错误D .要纠正程序中的bug
[判断题] 爱因斯坦通过物理实验证明了广义相对论的正确性。A . 正确B . 错误
[多选题] 哪些因素影响SpO2的正确性（）A . 存在于搏动性血液中的可吸收660nm和940nm光的任何物质B . 碳氧血红蛋白C . 正铁血红蛋白D . 美蓝E . 荧光素
[多选题] 哪些因素影响SpO2的正确性（）。A . 存在于搏动性血液中的可吸收660nm和940nm光的任何物质B . 碳氧血红蛋白C . 正铁血红蛋白D . 美蓝E . 荧光素
[主观题]写出不等式的解集:(1)x£«2>6 ; (2)2x 0.1 ;写出不等式的解集：（1）x+2＞6 ；（2）2x＜10 ;（3）x-2 > 0.1 ;（4）-3x＜10 。
[单选题]（）是指为保证会计账务处理的正确性，依据会计等式或复式记账原理，对本期各账户的全部记录进行汇总和测算，以检查账户记录的正确性和完整性的一种方法。A . 资产平衡B . 试算平衡C . 负债平衡D . 权益平衡