正名，正名,zhengming，正名,zhengming，[拼音]：zhengming中国春秋战国时期关于名分、名实问题的概念和学说。孔子首先提出“正名”的主张。他的弟子子路问他替卫君治理国政从何入手时，他说:“必也正名乎？”接着他讲了正名的理由，说：“名不正则言不顺，言不顺则事不成，事不成则礼乐不兴，礼乐不兴则刑罚不中，刑罚不中则民无所...
证明责任，证明责任,zhengming zeren，证明,责任,zeren,zhengming，[拼音]：zhengming zeren[外文]：burden of proof在刑事诉讼中，司法机关或当事人对案件事实所承担的提出证据加以证明的责任。在封建时代的纠问式刑事诉讼中，除审判机关外，没有专门的公诉机关，控诉和审判职能不分。法官主动...
文徵明，文徵明,Wen Zhengming，文徵明,Wen,Zhengming，[拼音]：Wen Zhengming中国明代画家、书法家。吴门四家之一。初名璧，字徵明，后以字行，改字徵仲，号衡山居士，长洲（今江苏省苏州市）人。出身仕宦之家，早年攻诗文书画，师事吴宽、李应祯、 沈周等人，与唐寅、祝允明、都穆、蔡羽、徐祯卿、张灵等名士交游，少...
证明对象，证明对象,zhengming duixiang，对象,证明,duixiang,zhengming，[拼音]：zhengming duixiang[外文]：object of proof司法人员在诉讼中需要运用证据予以证明的事实情况。明确证明对象，是为了使司法人员从理论上认识到诉讼中应该证明的问题范围，从而有目的、有步骤地依法收集...
正名逻辑，正名逻辑,zhengming luoji，正名,逻辑,luoji,zhengming，[拼音]：zhengming luoji[外文]：logic of rectification of names中国古代关于名实关系的一种逻辑思想，要旨是论证并强调概念要有确定性、概念和认识对象要相符等问题。正名逻辑的提出，有着深刻的社会根源。...
非归结定理证明，非归结定理证明,feiguijie dingli zhengming，证明,归结,定理,zhengming,feiguijie,dingli，[拼音]：feiguijie dingli zhengming[外文]：nonresolution theorem proving不用归结原理而用自然演绎技术与探试策略等相结合的一种...
机器定理证明，机器定理证明,jiqi dingli zhengming，证明,定理,机器,zhengming,dingli,jiqi，[拼音]：jiqi dingli zhengming[外文]：mechanical theorem proving把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，...