如果结果不匹配，请 
更多“五色定理的证明者是()”相关的问题
第4题
判定法：其基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证明的定理恰好在其中，则定理得证。()
判定法：其基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证明的定理恰好在其中，则定理得证。（)
点击查看答案
A.正确
B.错误
第5题
上世纪50年代，马柯维茨的_____________理论和莫迪里亚尼－米勒的MM定理为现代金融理论的定量化发展指明了方向。直到现在，金融工程的理论基础仍是这两大理论。
A.德尔菲法
B.CART结构分析
C.资产组合选择
D.资本资产定价
第6题
（)的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。
A.定理证明
B.模型检验
C.符号执行
D.词法分析
第9题
《素问·脉要精微论》“五色精微象见”是指（)
A.五色是五脏精气的外在表现
B.五色含蓄不露，五脏精气充盛
C.五色变化精微细妙，反映疾病变化多端
D.五色显明暴露，五脏精气枯竭
E.脏腑精气上注于目，而能视五色变化
