程序正确性证明是用______来证明程序正确性的方法。
参考答案:数学的方法
当前我国某些地区城乡经济出现盲目发展、重复建设、生态环境遭受破坏等现象,其主要根源是( )。
A.当地的资源与环境容量有限
B.城市化快速发展阶段出现的矛盾
C.缺乏区域城乡协调发展机制
D.城市规划的编制滞后于区域经济发展
男性,30岁,乏力,心慌,四肢反复出现紫癜。查体:贫血貌,肝脾淋巴结未触及肿大,双上肢内侧可见片状出血。化验WBC0.5×109 /L,PLT50×109/L,Hb80g/L,骨髓检查为脂肪髓,仅见网状细胞、浆细胞、组织嗜碱性细胞,诊断的可能性是()
A.白血病
B.血小板减少性紫癜
C.脾功能亢进
D.再生障碍性贫血
E.过敏性紫癜