...类型当作规定一个约束条件，如果我们规定的约束条件越好，相对应的被定义元素的集合就越精密，所以逻辑公式（logical formulas）就成为描叙类型特征的最合适工具。
基于34个网页-相关网页
The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.
这种逻辑公式的结构是有序二元对，第一元是断言；第二元是对应于这个断言的可定义集或不可定义域集的近似集。
Physics exercises teaching in the university may help students know the concept of physics, laws and formulas, and develop their logical thinking ability.
大学物理习题教学可帮助学生掌握物理概念、定律及公式，培养学生的逻辑思维能力。
An approach to determining net quantity-demand in the MRP logical operation is analyzed. The formulas of determining net quantity-demand in the literature are discussed.
本文分析了MRP逻辑运算中确定净需求量的方法，讨论了诸多文献中关于净需求量的计算公式。
应用推荐