一名6天男婴，来自山区，因拒奶1天入院。查体：神清、呼吸促，刺激后有抽搐，压舌板试验阳性，脐部红肿，有脓性分泌物。诊断考虑为（）。

A.缺氧缺血性脑病

B.化脓性脑膜炎

C.颅内出血

D.新生儿破伤风

E.癫痫

程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。