科林伍德提出“()”的命题。

A.苏珊·朗格

B.科林伍德

C.佛洛伊德

D.李斯托威尔

A．泰勒

B．维隆

C．弗雷泽

D．柏拉图

E．科林伍德

邓小平首次提出“建设有中国特色的社会主义’’命题是在党的（）

A.十一届三中全会

B.十二大

C.十二届四中全会

D.十三大

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