程序正确性证明是用______来证明程序正确性的方法。
参考答案:数学的方法
解析:
[分析]: 在系统开发中,验证程序的正确性采用的是数学的方法。
关于配位键的形成,下列说法正确的是[ ]
A.提供电子对的原子一般要有孤对电子
B.接受电子对的原子一般要有空轨道
C.任意两个原子间都可以形成配位键
D.配位键一般是单键,和普通单键性质不同
如果要查询的条件之间具有多个字段的“与”和“或”关系,则用户只需记住下面的准则输入法则:______ 之间是“与”的关系,______ 之间是“或”的关系。