程序正确性证明是用______来证明程序正确性的方法。
参考答案：数学的方法
请叙述台车凿岩程序。
通经化瘀、行气破滞、药性大寒大热、辛热走窜或滑利，应根据孕妇具体病情酌情使用的中药是（）
A.妊娠禁用药
B.妊娠忌用药
C.妊娠慎用药
D.妇科禁用药
E.产科忌用药
