1) justificationism
证明主义
2) Proof Obligations
证明义务
1.
This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail.
本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。
3) proof obligation
证明义务
1.
This paper analyses the structure of B-method specification systematically,demonstrates the procedure of writing specification with B-method by an example,gives the proof obligation of specification simply,and at the same time refines the specification.
本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化。
4) subject of proof
证明主体
1.
The criminal subject of proof is public prosecutor and litigants who based on the procedures required by laws, offer evidence and use it to prove contentious facts and further propositions.
刑事证明主体是指在刑事诉讼的法庭审理中,依照法律规定的程序向审判机关提出证据,运用证据阐明系争事实、论证诉讼主张的活动的国家公诉机关和诉讼当事人。
5) empiricism
[英][ɪm'pɪrɪsɪzəm] [美][ɛm'pɪrə'sɪzəm]
实证主义
1.
The representative philosophy of science has three schools:empiricism-positivism,rationalism and constructivism.
有代表性的科学哲学观可分为三种流派:经验主义—实证主义、理性主义和建构主义。
6) positivism
[英]['pɔzətɪvɪzəm] [美]['pɑzətɪ'vɪzəm]
实证主义
1.
The Development of the Economic Methodology in Pre-positivism Times from the Angle of the Philosophy of Science;
前实证主义时期科学哲学视角下经济学方法论的发展
2.
Slightly Comment on Positivism and Education Research;
简评实证主义及其数学教育研究
3.
The Challenge of Feminism to Positivism——An Overview of Controversies about Feminist Methodology;
女性主义对实证主义的挑战——综述女性主义方法论之辩
补充资料：不等式证明
不等式的证明，基本方法有
比较法：比较两个式子的大小，求差或求商。是最基本最常用的方法
综合法：用到了均值不等式的知识，一定要注意的是何时等号才成立。
分析法：当无法从条件入手时，就用分析法去思考，但还是要用综合法去证明。两个方法是密不可分的。
换元法：把不等式想象成三角函数，方便思考
反证法：假设不成立，但是不成立时又无法解出本题，于是成立
放缩法：
用柯西不等式证。等等……
高考不是重点，但是难点。
大学数学也会讲到柯西不等式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条