词语繁体：輔助證明法
词语读音：fǔ zhù zhèng míng fǎ
首字拼音：Fu
词语拼音：fu zhu zheng ming fa
词语简拼：FZZMF
词语字数：五字词语
辅助证明法(auxiliary proving method)亦称半自动证明法一种证明方法.是用机械步骤完成定理证明中部分工作的方法.通常是人制订了证明的框架，而由计算机完成某些局部的细节推演。
【辅的意思】：辅（輔） fǔ（ㄈㄨˇ） （一）、古代夹在车轮外旁的直木，每轮二木，用以增加车轮载重支力。（二）、帮 详情>
【助的意思】：助 zhù（ㄓㄨˋ） （一）、帮助协同，辅佐：辅助。帮助。助手。助人为乐。助桀为虐。拔苗助长（ zh 详情>
【证的意思】：证（證） zhèng（ㄓㄥˋ） （一）、用人物、事实来表明或断定：证明。保证。证实。作证。对证。论证 详情>
【明的意思】：明 míng（ㄇ一ㄥˊ） （一）、亮，与“暗”相对：明亮。明媚。明净。明鉴（ａ．明镜；ｂ．指可为借鉴 详情>
【法的意思】：法 fǎ（ㄈㄚˇ） （一）、体现统治阶段的意志，国家制定和颁布的公民必须遵守的行为规则：法办。法典。 详情>
友情链接：姓名测试