查询词典 propositional variable

flagged variable：带标记变元;带标记变量

旗环 flag ring | 带标记变元;带标记变量 flagged variable | 平坦的 flat

fluent：变数

"他以前为变量(variable)("变数(fluent)")和它的变化量(change)("微分(fluxion)")发明的名字现在盛行起来,随后像他的x's和y's一样也很盛行. "巴罗的微分三角形"变成"无限小的". 正象一个错误在一个透明的证据中处处显露.

two folding door：双折门

two fold tackle 绞辘 | two folding door 双折门 | two gang variable capacitor 双联可变电容器

formed：成形

Q.8:为何以成形(Formed)方式构建投影的曲线会失败?Q.1:除了在构建可变化剖面扫掠(Variable Section Sweep)特征时可使用基准图表(Datum Graph)外,还有什么情况可以使用?Q.5:以Sweep构建扫掠特征时,为何无法利用通过点(Thru Points)作为轨迹构建特征?

fredholm type integral equation：弗雷德霍姆型积分方程

fredholm radius 弗雷德霍姆半径 | fredholm type integral equation 弗雷德霍姆型积分方程 | free decision variable 自由决策变量

free ultrafilter：自由超滤子

free subscript 自由添标 | free ultrafilter 自由超滤子 | free variable 自由变量

free variable：自由变量

郑老师指出,只有自由变量(Free Variable)才可以置换(Subsititue). 上述证明中,x和y不是自由变量. 之后,郑老师独立做了一个解答,我编程序来测试(虽然郑老师认为应该用证明方式). 以下我尝试把郑老师的解答,加上我的理解去演译一个正确答案.

free variable：自由变数

所谓的闭包(Closure),是指一个函式物件(或 函式值)在建立时,绑定了当时作用范围(Scope)下有效的自由变数(Free variable). 所 以支援闭包的语言,必须有支援一级函式(First-class function),建立函式物件并不等於建立闭包,

free variable：自由变元

自由边界问题|free boundary problem | 自由变元|free variable | 自由代数|free algebra

free variable：自由变项

"free valency ","自由价" | "free variable ","自由变项" | "free vibration ","自由振动"

steam trap valve：疏水阀

球阀 ball valve | 疏水阀 steam trap valve | 蛇管式换热器 serpentine type heat exchanger

aldermanship：市政官

aldermanry 议员 | aldermanship 市政官 | Alderney 乳牛