2) indirect proof
间接证明
1.
Intuitionism questions the validity of law of excluded middle and the vaildity of indirect proof, and it indicates that classical logic is only a relative truth.
数学哲学中的直觉主义学派高度重视直觉和个人的创造性思维在科学实践中的作用,这具有积极的意义;它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;它所倡导的构造性和能行性的研究方法,促进了人工智能和计算机科学的发展。
4) graft gelatin
接枝明胶
1.
In this paper,the effect of the graft gelatin on properties of dichromated gelatin holography was studied.
本文就接枝明胶对重铬酸盐明胶(DCG)全息性能的影响进行了研究。
5) open butt joint
明对接
补充资料：郡斋有紫薇双本，自朱明接于徂暑，其花芳馥
【诗文】：
晏朝受明命，继夏走天衢。逮兹三伏候，息驾万里途。
省躬既跼蹐，结思多烦纡。簿领幸无事，宴休谁与娱。
内斋有嘉树，双植分庭隅。绿叶下成幄，紫花纷若铺。
摛霞晚舒艳，凝露朝垂珠。炎沴昼方铄，幽姿闲且都。
夭桃固难匹，芍药宁为徒。懿此时节久，讵同光景驱。
陶甄试一致，品汇乃散殊。濯质非受彩，无心那夺朱。
粤予负羁絷，留赏益踟蹰。通夕靡云倦，西南山月孤。
【注释】：
【出处】：
全唐诗：卷330-7
晏朝受明命，继夏走天衢。逮兹三伏候，息驾万里途。
省躬既跼蹐，结思多烦纡。簿领幸无事，宴休谁与娱。
内斋有嘉树，双植分庭隅。绿叶下成幄，紫花纷若铺。
摛霞晚舒艳，凝露朝垂珠。炎沴昼方铄，幽姿闲且都。
夭桃固难匹，芍药宁为徒。懿此时节久，讵同光景驱。
陶甄试一致，品汇乃散殊。濯质非受彩，无心那夺朱。
粤予负羁絷，留赏益踟蹰。通夕靡云倦，西南山月孤。
【注释】：
【出处】：
全唐诗：卷330-7
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条