1) maximal initial segment reconstruction
最大前节重构
1.
With the help of a linear ordering on a hypothesis ,the so-called maximal initial segment reconstruction of is obtained and a concrete example for classes of models for rejection by reasonable facts is given.
通过给定一假说中句子的线性序关系,得到了假说的最大前节重构的概念,并由此给出了合理事实反驳模型类的一个具体例子。
2) maximum ramp weight
最大滑出前重量
3) deepest seasonal load line
季节性最大载重线
4) Maximal rake angle
最大前角
5) maximal premise
最大前提
1.
This paper proposes the concept of maximal premise,investigates problems of syntactical theory about GMT and collective GMT in tow-valued logical system L,and makes formal reasoning of FMT be true.
引入了最大前提的概念,研究了二值逻辑系统L中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化。
6) maximum advance
最大超前
补充资料:节构
1.情节与结构。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条