程序正确性证明是用______来证明程序正确性的方法。
参考答案：数学的方法
解析：
[分析]： 在系统开发中，验证程序的正确性采用的是数学的方法。
规划咨询中，关于规划研究的内容一般有：发展战略目标研究、发展思路和开发方案研究、( )、产业结构和产业政策研究、投资方案和备选项目研究等几个方面。
A．发展规划应遵循的原则、法规、依据等研究 B．发展规划的条件研究C．经济基础和社会环境研究D．资源特点和优势劣势研究
住宅区内雨水篦子如发现丢失或损坏后，（）小时内补装。
A.8
B.16
C.24
D.20
